C++空拷贝列表初始化未实现类成员零初始化原因及遗留代码修复方案

问题结论与原理说明 #

你对初始化规则的梳理基本正确，「只要类定义了构造函数就不会执行零初始化」的表述不完全准确，但对应你当前的场景是成立的：

1. 你的类T存在用户自定义的构造函数，不属于聚合类型，因此T t2 = {}不会触发聚合初始化的零初始化逻辑，而是走值初始化流程。
2. 值初始化规则中，仅当类的默认构造函数是编译器隐式生成、或用户显式声明为= default时，才会先对整个对象做零初始化，再调用默认构造函数。你自行实现了带函数体的默认构造函数，且没有在构造函数中对x、y赋值，因此这两个成员最终是栈内存的残留随机值。

空初始化列表未生效的原因 #

你使用的{}是空列表初始化，对于非聚合类型，空列表初始化只会匹配调用默认构造函数，不会额外执行成员初始化操作，你提供的默认构造函数没有处理成员赋值，自然无法达到零初始化的效果。

遗留代码改造方案（按推荐优先级排序） #

• 方案1（C++11及以上，容错率最高）：给成员变量直接添加默认初始值
  仅修改成员声明即可，原有所有构造函数逻辑无需调整，后续新增构造函数哪怕遗漏成员赋值也不会出现未初始化问题：

  class T{
  public:   
      int x = 0, y = 0;
      // 原有构造函数、成员函数完全保留不变
  };
  

• 方案2（兼容C03）：给默认构造函数补充成员初始化列表
  适合不能升级C标准的老旧项目，修改点仅针对默认构造函数：

  T():x(0), y(0){
      std::cout << "T() constr called..." << std::endl;
  };
  

• 方案3（C++11及以上，适合无额外逻辑的默认构造）：如果你的默认构造函数本身没有打印等额外逻辑，直接声明为默认构造即可，值初始化时会自动零初始化所有成员：

  T() = default;
  

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