C++ 对象初始化(堆栈)

Question

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

CPrice price = CPrice();

初始化通常应该是这样的

CPrice price;

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

我使用带有 Microsoft C++ 编译器的 Visual Studio Express 2012。它可能是特定于 Microsoft 编译器并因此被允许的东西吗？

Answer 1

这两行都非常好，并且从客户端代码的角度来看具有相同的可观察行为:price 是 CPrice 类型的默认构造变量，在堆栈上分配的类(class)。

---

如果您想深入了解技术细节，它们并不相同:

CPrice 价格； 是 CPrice 类型变量 price 的默认初始化。这是一个用户类型(即一个类)，所以它总是意味着调用默认构造函数。

CPrice price = CPrice(); 是一个做两件事的复合表达式:

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

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

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

---

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

CPrice price();

然而，它实际上完全不同:这个声明 price 是一个不带参数(空括号)的函数，并返回一个 CPrice。它通俗地称为最令人烦恼的解析。