C++复制构造构造和分配问题

Question

以下是《C++ Gotchas》一书第 56 条的摘录：

简单的情况并不罕见 写入Y对象的初始化 三种不同方式中的任何一种，就好像 它们是等价的。

Y a( 1066 ); 
Y b = Y(1066);
Y c = 1066;

事实上，这三个 初始化可能会导致 在相同的目标代码中 生成的，但它们并不等同。 a 的初始化被称为 a 直接初始化，确实如此 正是人们所期望的。这 初始化是通过完成 直接调用 Y::Y(int)。

b和c的初始化是 更复杂。其实他们也太 复杂的。这些都是复制品 初始化。在这种情况下 b 的初始化，我们请求 创建匿名临时对象 类型 Y，用值初始化 1066.然后我们使用这个匿名临时文件作为副本的参数 类 Y 的构造函数进行初始化 b.最后，我们调用析构函数 匿名临时工。

为了测试这一点，我做了一个带有数据成员的简单类（程序附在最后），结果令人惊讶。对于 c 的情况，似乎该对象是由复制构造函数构造的，而不是按照书中建议的那样。

有谁知道语言标准是否已更改或者这只是编译器的优化功能？我使用的是 Visual Studio 2008。

代码示例：

#include <iostream>

class Widget
{
    std::string name;
public:
    // Constructor
    Widget(std::string n) { name=n; std::cout << "Constructing Widget " << this->name << std::endl; }
    // Copy constructor
    Widget (const Widget& rhs) { std::cout << "Copy constructing Widget from " << rhs.name << std::endl; }
    // Assignment operator
    Widget& operator=(const Widget& rhs) { std::cout << "Assigning Widget from " << rhs.name << " to " << this->name << std::endl; return *this; }
};

int main(void)
{
    // construct
    Widget a("a");
    // copy construct
    Widget b(a);
    // construct and assign
    Widget c("c"); 
    c = a;
    // copy construct!
    Widget d = a;
    // construct!
    Widget e = "e";
    // construct and assign
    Widget f = Widget("f");

    return 0;
}

输出：

Constructing Widget a

Copy constructing Widget from a

Constructing Widget c
Assigning Widget from a to c

Copy constructing Widget from a

Constructing Widget e

Constructing Widget f
Copy constructing Widget from f

我对构建 d 和 e 的结果感到最惊讶。准确地说，我期望创建一个空对象，然后创建一个对象并将其分配给该空对象。实际上，对象是由复制构造函数创建的。

Answer 1

语法

X a = b;

a 和 b 属于 X 类型的 始终意味着复制构造。无论使用什么变体，例如：

X a = X();

，都没有进行任何分配，而且从来没有进行过。构造和分配类似于：

X a;
a = X();

Answer 2

编译器可以将 b 和 c 情况优化为与 a 相同。此外，无论如何，编译器都可以完全消除复制构造和赋值运算符调用，因此您看到的任何内容都不一定与不同的编译器甚至编译器设置相同。

Answer 3

从 C++17 开始，这三个都是等效的（除非 Y::Y(int) 是显式，这将简单地禁止c），因为通常称为强制复制省略。

即使 Y c = 1066; 也仅创建一个 Y 对象，因为隐式转换为 Y 的结果是一个用于初始化的纯右值c 而不是创建一个临时的。