C++中对象能否在值初始化过程中被默认初始化？

首先明确：两者并不矛盾，核心原因是值初始化的流程中会包含针对特定类类型的默认初始化步骤，但这属于值初始化的一部分，而非独立触发默认初始化的场景。

基础定义回顾 #

• 值初始化：当对象通过空初始化器构造时触发，比如T obj{};、new T();这类写法。
• 默认初始化：当对象无初始化器构造（如T obj;）、构造函数初始化列表未覆盖成员等场景触发。

值初始化的特殊流程拆解 #

对于满足以下条件的类类型T：

• C++11前：拥有未用户声明的默认构造函数；
• C++11及以后：拥有既未用户提供也未删除的默认构造函数；

值初始化的执行流程是：

1. 先对对象进行零初始化；
2. 检查默认初始化的语义约束；
3. 如果T的默认构造函数是非平凡的（比如类包含带默认初始化器的非静态成员、基类有非平凡默认构造函数等），则执行默认初始化步骤——注意，这是值初始化流程中的一个子环节，整个操作的本质仍然是值初始化，而非独立触发的默认初始化。

为什么和默认初始化的场景描述不冲突 #

默认初始化页面列出的是直接、独立触发默认初始化的场景，而值初始化中包含的默认初始化步骤，是值初始化完成对象初始化的必要环节，不属于“独立触发”的范畴。两者是包含与被包含的关系，而非互斥或矛盾。

举个实际代码例子：

struct Demo {
    int num = 100; // 带默认初始化器，导致Demo的默认构造函数非平凡
};

// 值初始化：先零初始化整个对象，再执行默认初始化（num被设为100）
Demo val_init{};
// 默认初始化：直接执行默认初始化（num被设为100，无零初始化步骤）
Demo def_init;

可以看到，val_init的初始化流程包含默认初始化的操作，但它本身属于值初始化的范畴，完全符合cppreference的描述。

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