C++类是否存在多个隐式默认构造函数？初始化行为解析

问题现象 #

类M无显式默认构造函数，继承自拥有显式默认构造函数的Base类，且包含拥有显式默认构造函数的成员C，同时存在一个内置类型成员r：

• 当以M()或M{}构造M时，成员r会被置零；
• 当以无括号方式构造（如new M）时，r未初始化，但Base和C的构造函数均被调用；
• 即使显式添加M() = default;，new M()与new M的行为仍有差异。

Clang 16与GCC 13.2编译输出一致，并非编译器bug。

代码输出 #

第一段代码输出（Clang 16）：

15 13 0
15 13 0
15 13 -842150451

第二段代码输出：

Clang 16：
15 13 -842150451 0
15 13 0 0
15 13 -842150451 -842150451
GCC 13.2：
15 13 0 0
15 13 0 0
15 13 -842150451 -842150451

原理解释 #

这是C++标准中**值初始化（value-initialization）和默认初始化（default-initialization）**的规则差异导致的，并非存在两个隐式默认构造函数：

• 默认初始化（如new M、M obj;）：
  对于类类型，会调用其默认构造函数，但类中的内置类型成员如果没有被构造函数显式初始化，会保持未初始化状态（值为随机垃圾值）。这里M的隐式默认构造函数仅负责调用Base和C的默认构造，不会处理内置成员r，因此r未初始化。
• 值初始化（如M()、M{}、new M()）：
  当类拥有用户提供的默认构造函数（或显式=default的构造函数）时，值初始化会调用该构造函数，同时对类中未被构造函数初始化的内置类型成员执行零初始化。因此r会被置零，Base和C的构造也会正常执行。

简化理解方式 #

• 带括号/花括号的构造方式（M()/M{}/new M()）属于值初始化：强制所有成员获得确定初始值，内置类型自动被零填充；
• 不带括号的默认构造方式（new M/M obj;）属于默认初始化：仅保证类类型成员被正确构造，内置类型成员不做初始化，值为随机垃圾值。

内容的提问来源于stack exchange，提问作者RepeatTillDone