C++ 对象创建和构造函数答案

【问题标题】：C++ object creation and constructorC++ 对象创建和构造函数
【发布时间】：2012-02-05 07:52:12
【问题描述】：

我现在正在学习ctors，有几个问题。在这些行：

Foo obj(args);

Foo obj2;
obj2 = Foo(args);

Foo obj3 = Foo(args);

第一部分：只有一个名为 (Foo) 和 obj 的构造函数被初始化。因此，创建了 1 个对象。

第二部分：创建临时对象obj2，为其调用默认ctor。下一行我们创建Foo 的另一个副本并将其副本传递给operator=()。那正确吗？所以，3 个本地临时对象，2 个构造函数调用。

第三部分：创建1个对象Foo并将其副本传递给operator=()。因此，有 2 个临时对象和 1 个 ctor 调用。

我理解对了吗？如果是真的，编译器（例如最后一个 gcc）会在常见情况下优化这些吗？

【问题讨论】：

【解决方案1】：

我先评论第三个：

Foo obj3=Foo(args);

它不使用称为复制分配的operator=。相反，它调用复制构造函数（理论上）。这里没有任务。所以理论上，有两个对象创建，一个是临时的，另一个是obj3。编译器可能会优化代码，完全省略临时对象的创建。

现在，第二个：

Foo obj2;         //one object creation
obj = Foo(args);  //a temporary object creation on the RHS

这里第一行创建一个对象，调用默认构造函数。然后它调用operator= 传递由表达式Foo(args) 创建的临时对象。所以有两个对象，只有operator= 采用const 引用的参数（这是它应该做的）。

关于第一个，你是对的。

【讨论】：

【解决方案2】：

是的，Foo obj(args) 创建一个 Foo 对象并调用一次 ctor。
obj2 不被视为临时对象。但就像 1 Foo obj2 创建一个对象并调用 Foo ctor。假设你的意思是obj2 = Foo(args) 用于下一行，这一行会创建一个临时 Foo 对象，然后调用obj2.operator=()。因此，对于第二个示例，只有一个临时对象，一个非临时对象，Foo ctor 被调用两次（一次用于非临时对象，一次用于临时对象）并且 operator=() 被调用一次。
不，此行不调用operator=()。当您使用= 语法初始化obj3 时，几乎就像您使用了括号一样：Foo obj3(Foo(args)); 所以这一行创建了一个临时对象，然后调用 Foo 复制 ctor 使用该临时对象初始化 obj3。

【讨论】：

【解决方案3】：

您的术语有点混乱。

对象obj、obj2obj3 不称为“临时对象”。只有在分配给 obj 之前在第 3 行中创建的实例是临时对象。

此外，您不会创建“Foo 的副本”，而是创建“Foo 的实例”或“Foo 类型的对象”。

【讨论】：