C++ 对象初始化（堆栈）

Question

今天看到一个我不熟悉的类的c++初始化。

CPrice price = CPrice();

初始化通常应该是这样的

CPrice price;

我会猜到第一个应该抛出错误或其他东西。 这里会发生什么？我猜该变量在堆栈上，因为它没有用 new 初始化。

我将 Visual Studio Express 2012 与 Microsoft C++ 编译器一起使用。这可能是微软编译器特定的东西，因此是允许的吗？

Answer 1

这两行都非常好，从客户端代码的角度来看，最终会产生相同的可观察行为：price 是CPrice 类型的默认构造变量，当然分配在堆栈上。

---

如果你想深入了解技术细节，它们是不一样的：

CPrice price; 是price 类型为CPrice 的变量的默认初始化。这是一个用户类型（即一个类），所以它总是意味着调用默认构造函数。

CPrice price = CPrice(); 是一个复合表达式，它做了两件事：

• CPrice()：通过直接初始化（它调用带有() 的构造函数）初始化和匿名CPrice 对象（在堆栈上）。由于括号为空，这将调用默认构造函数。
• 然后它复制初始化（在 C++11 之前）/移动初始化（可用于 C++11 以后）类型为 CPrice 的变量 price，复制自/移动自对象是匿名 @ 987654334@ 实例。

最长的分配强制CPrice 存在复制构造函数，否则代码将出错。但是允许编译器跳过复制构造并对其进行优化，方法是发出与最短形式相同的代码。
此外，在 C++11 中，如果存在针对 CPrice 的移动构造函数，则在这种情况下将使用它来代替复制构造函数（也就是说，如果无论如何都没有完全删除此操作）。

因此，唯一可察觉的区别是，即使CPrice 不是可复制构造的，最短的形式也会编译。这两种形式都要求CPrice 是默认可构造的。

---

一个或多或少相关的精度，来自另一个答案。你可以认为像这样的假设的中间立场声明是一样的：

CPrice price();

然而，它实际上完全不同：这个声明 price 是一个不带参数的函数（空括号），并返回一个 CPrice。它被通俗地称为最令人头疼的解析。

Answer 2

当实例已经被声明时，赋值正在调用赋值运算符（如果没有删除）。第一行声明 AND 显式调用构造函数，这对堆栈并没有真正的帮助，但更多的是在具有多态性的堆中。 第二行直接调用它的默认构造函数（如果没有删除并且也没有实现 operator()）

如果您仍然想知道运算符 = ，请在类声明中显式声明
CPrice & operator = (const CPrice &) = delete;

Answer 3

这两行的作用完全相同。它们都调用默认构造函数（一个没有参数的构造函数）。同样有效的可能是CPrice price();，因为如果有一个构造函数接受它们，那么这个和你拥有的第一个允许你推送参数，而你的第二个不会。同样是的，如果没有使用 new 关键字，那么分配是在堆栈上（对于像这样的简单事情）。