在 C++ 中，以下代码如何工作？ [复制]

Question

可能重复：
Do the parentheses after the type name make a difference with new?

以下代码执行了哪些操作：

Test *t1 = new Test; // there is no () after new Test;

是否有用户声明的默认构造函数？

这个呢：

Test *t2 = new Test(); // there is () after new Test;

Answer 1

它们是等价的，在这两种情况下都会调用不带参数的 ctor。

Answer 2

对于具有构造函数的structs 和classes，它是相同的，使用空括号的唯一区别是对于原始类型，如果括号在那里，则初始化为零，而它们否则未初始化。

实际上，比这更复杂；如果省略括号：

• 非 POD 的 classes 和 structs 是默认初始化的，这实际上意味着调用了它们的构造函数；
• POD（尤其是原始类型）未初始化；

如果您指定括号，则始终执行默认初始化，对于原始类型，这意味着零初始化。

完整的故事在 §5.3.4 ¶15 中有解释； §8.5 介绍了默认初始化。

---

相关标准报价：

创建一个新表达式 T 类型的对象初始化 对象如下：

• 如果省略了 new-initializer：
  • 如果 T 是（可能是 cv 限定的）非 POD 类类型（或 数组），对象是 默认初始化 (8.5) 如果 T 是 const-限定类型，底层 类类型应具有用户声明的 默认构造函数。
  • 否则，创建的对象具有不确定的值。如果T 是 const-qualified 类型，或（可能 cv 限定）POD 类类型（或数组） 其中）包含（直接或 间接）成员 const 限定类型，程序是 格式不正确；
• 如果新初始化程序的形式为()，则默认初始化 应执行 (8.5)；
• 如果 new-initializer 的形式为 (expression-list) 并且 T 是 类类型，适当的 构造函数被调用，使用 表达式列表作为参数 (8.5)；
• 如果 new-initializer 是 (expression-list) 形式并且 T 是 算术、枚举、指针或 指向成员类型的指针和 表达式列表正好包含一个 表达式，那么对象是 初始化为（可能 转换的) 表达式的值 （8.5）； — 否则新表达式 格式不正确。

（§5.3.4 ¶15）

Answer 3

它会自动调用默认构造函数。你也可能遇到这些：

Test t1;
Test t3 = Test();

它们都具有调用默认构造函数的相同效果。