“仅可移动类型”的问题在 VC++ 2010年

Question

我最近安装了 Visual Studio 2010 Professional RC 来尝试一下并测试 VC++ 2010 中实现的一些 C++0x 功能。

我实例化了 std::unique_ptr 的 std::vector，没有任何问题。但是，当我尝试通过将临时变量传递给 push_back 来填充它时，编译器会抱怨 unique_ptr 的复制构造函数是私有的。我尝试通过移动来插入左值，效果很好。

#include <utility>
#include <vector>

int main()
{
    typedef std::unique_ptr<int> int_ptr;

    int_ptr pi(new int(1));

    std::vector<int_ptr> vec;

    vec.push_back(std::move(pi));      // OK
    vec.push_back(int_ptr(new int(2))); // compiler error
}

事实证明，问题既不是 unique_ptr 也不是 vector::push_back ，而是 VC++ 在处理右值时解决重载的方式，如以下代码所示：

struct MoveOnly
{
    MoveOnly() {}
    MoveOnly(MoveOnly && other) {}

private:

    MoveOnly(const MoveOnly & other);
};

void acceptRValue(MoveOnly && mo) {}

int main()
{
    acceptRValue(MoveOnly()); // Compiler error
}

编译器抱怨复制构造函数不可访问。如果我将其公开，程序就会编译（即使未定义复制构造函数）。

我是否误解了有关右值引用的某些内容，或者它是此功能的 VC++ 2010 实现中的一个（可能已知的）错误？

Answer 1

不幸的是，/Za 有问题。它在不应该执行的时候执行省略的复制构造函数可访问性检查（绑定右值引用不会调用复制构造函数，即使在理论上也是如此）。因此，不应使用 /Za。

Stephan T. Lavavej，Visual C++ 库开发人员（[电子邮件受保护]）

Answer 2

首先，您需要一个关闭 )：

vec.push_back(int_ptr(new int(2))); // 编译器错误

现在，无论是第一种情况还是第二种情况，我都没有编译器错误。

我使用 Visual Studio 2010 Beta。

Answer 3

我注意到我禁用了语言扩展 (\Za)。启用扩展后，代码将被正确编译。我仍然认为这是一个错误，因为这里提供的代码是完全标准的（据我所知）并且不依赖于任何 Microsoft 扩展。