将引用（右值）移动到函数

Question

我正在阅读一些文档并看到了这个：

template<class Ret, class... Args>
struct is_function<Ret(Args...) &&> : std::true_type {};

引用自：http://en.cppreference.com/w/cpp/types/is_function

你怎么能有一个函数的右值引用？

据我了解，函数没有存储生命周期。有人可以解释一下吗？我理解引用和指针，但你怎么能“移动”一个函数？

我编写了这段代码，它可以按应有的方式编译和运行：

#include <iostream>
using namespace std;

int foo(int num) {
    return num + 1;
}

int main() {

    int (*bar1)(int) = &foo;
    cout << bar1(1) << endl;

    int (&bar2)(int) = foo;
    cout << bar2(2) << endl;

    auto bar3 = std::move(bar2); // ????
    cout << bar3(3) << endl;
    cout << bar2(2) << endl;

    int (&&bar4)(int) = foo; // ????
    cout << bar4(4) << endl;

}

让我们说一下您是否可以将函数作为字节码/操作码存储在内存中，然后“移动”它。 CPU不会阻止它运行吗？

编辑：@NicolBolas 纠正了我的误解，但这是我的另一个“问题”的答案：rvalue reference to function

Answer 1

你怎么能有一个函数的右值引用？

这不是那个意思。

Ret(Args...) && 末尾的&& 指的是a member function to have an rvalue this 的能力。因此，该特化适用于以 Ret 作为返回值、Args 作为其参数并使用右值 this 的函数类型。

所以它不是“对函数的右值引用”。这是一个接受右值 this 的函数。