c++ - auto a = A(3) 和 A a(3) 有什么区别？

Question

假设我有:

struct A
{
    A(int x) : m_x(x) { }
    A(A&&) = delete;
    int m_x;
}

和:

A a(3); // Ok
auto a = A(3); // Error: function A(int&&) cannot be referenced - it's a deleted function

为什么后者会调用移动构造函数？为什么这 2 个语句在生成的代码方面不同？

Answer 1

auto a = A(3); 与 A a = A(3); 相同，因为右侧的类型是 A 。

这意味着它的样子:A(3) 创建一个临时的 A，用 3 初始化，然后是 A a = _____ 表示:创建一个名为 a 的 A 并使用 _____ 作为初始化器。

所以你创建了一个临时文件，将其作为初始化程序传递给 a，然后临时文件被销毁。这种类型的初始化(=)称为复制初始化(尽管不要将它与“复制”混淆，它只是一个词)。

选择一个构造函数来构造a，它接受一个A。这必须是拷贝或移动构造函数。 A 有一个移动构造函数和一个复制构造函数。后者是隐式生成的，也被定义为已删除，因为有一个用户声明的移动构造函数。

虽然被定义为已删除并不影响重载决议；在这种情况下，移动构造函数优于复制构造函数。

因此您的代码试图调用一个deleted 函数，该函数格式不正确，因此会出现错误。

请注意，如果未删除移动构造函数，则复制省略 将适用。它在某些情况下启动，其中变量是从临时变量初始化的，或者局部变量是按值返回的。规则是编译器可以为 a 和临时对象使用相同的内存，并省略对复制/移动构造函数的调用。

在这种情况下，大多数/所有编译器实际上都会这样做。所以你实际上可以编写 auto a = A(3); 并且实际上不会进行任何不必要的移动。如果您为移动构造函数编写了一些输出某些内容的代码，您会希望发现没有任何输出。

如果您想绝对确保没有不必要的拷贝，或者构造一个没有可用拷贝或移动构造函数的对象 - 停止编写指定不必要拷贝的代码! A a(3); 就足够了。