为什么 C++11 不能将不可复制的仿函数移动到 std::function？

Question

//------------------------------------------------------------------------------
struct A
{
    A(){}
    A(A&&){}
    A& operator=(A&&){return *this;}
    void operator()(){}

private:
    A(const A&);
    A& operator=(const A&);

    int x;
};

//------------------------------------------------------------------------------
int main()
{
    A a;
    std::function<void()> func(std::move(a));
}

'A::A' : 无法访问在类 'A' 中声明的私有成员

似乎当我通过引用或const 捕获某些东西时，我可以制作一个不可复制的 lambda。但是，当我这样做时，它实际上可以将其提供给std::function。

Answer 1

简短的回答是 C++11 规范要求您的 A 必须是 CopyConstructible 才能与 std::function 一起使用。

很长的答案是存在这个要求，因为std::function 在构造函数中删除了仿函数的类型。为此，std::function 必须通过虚函数访问函子的某些成员。其中包括调用运算符、复制构造函数和析构函数。由于这些是通过虚拟调用访问的，因此无论您是否实际使用std::function 的复制构造函数、析构函数或调用运算符，它们都被“使用”了。

Answer 2

std::function 要求仿函数是可复制的。

这是一个任意的设计决定。可能的替代方案可能是：

• 允许使用不可复制的仿函数，但尝试复制生成的 std::function 会导致崩溃/异常。
• 允许使用不可复制的函子，std::functions 本身始终不可复制。
• ...

如果生成的 std::function 被复制，则不可能只要求可复制性，因为它可以在不同的 TU（翻译单元）中复制。

所以，如果你问我，当前的行为是较小的邪恶。

Answer 3

这是 Visual Studio 中的一个错误。它尝试省略一个副本（实际上它应该尝试省略一个移动），这需要一个可访问的复制构造函数。最好的解决方案是简单地声明复制构造函数/赋值运算符并且从不定义它们。该类仍然是不可复制的，但代码会编译，因为 VS 永远不会尝试实际调用复制构造函数。