只有一个构造函数被调用[重复]

Question

我试图理解右值引用。这是我迄今为止编写的代码：

class A {
public:
    A(const char* str) {
        std::cout << str;
    }

    A(A&& other) {
        std::cout << "other";
    }
};

int main() {
    A m(A(A(A("hello"))));
}

输出只有< code >“hello”，这让我很困惑。

由于 A（“hello”） 是传递给第二个构造函数的临时对象，因此代码输出就好像只调用第一个构造函数一样。

我猜这要么是编译器优化，要么我错过了关于构造函数和右值的一些细节。

Answer 1

是的，这是一个编译器/语言(见后面)优化。

正如这里可以看到的，这将输出:

hello

将编译器选项中的标准从-std=c 2a更改为-std=c 14仍然只会给您hello，但除了标准更改之外，如果您还添加：-fno-elide-构造函数到选项中，您应该会看到您所希望的。

但是，如果您指定C 17或C 2a作为标准，此选项将不再有效，因为在某些情况下此省略已成为强制性的，因为这些标准，您的情况就是其中之一。

Answer 2

你观察到的也被称为复制省略，更准确地说：

在以下情况下，编译器需要省略类对象的复制和移动构造，即使 copy/move 构造函数和析构函数具有可观察到的副作用。对象被直接构造到存储中，否则它们将被复制/移动到存储中。复制/移动构造函数不必存在或可访问：

（...)

• 在对象初始化中，当初始值设定项表达式是与变量类型相同的类类型（忽略cv限定）的prvalue时：

T x=T（T（f（））；//只有一次调用T的默认构造函数，以初始化x

这正是你的情况。

请注意，从C 17开始，优化是强制性的。它对于C 11是可选的，但您的编译器似乎无论如何都应用了它。