C++中通过已构造类成员初始化其他类成员是否是不良实践？

核心规则前置 #

C++ 类的非静态数据成员初始化顺序严格由类定义中的成员声明顺序决定，与构造函数初始化列表的书写顺序、类内默认初始化器的位置无关。

示例行为解释 #

你第一个示例运行正常，是因为成员i声明在q之前：初始化时先执行构造函数初始化列表逻辑将i赋值为入参c，再执行q = i的类内默认初始化逻辑，结果符合预期。
当你交换i和q的声明顺序后，q初始化时i还未完成初始化，属于读取未初始化内存的未定义行为，你得到输出0只是特定编译环境下的巧合，换编译器、编译参数都可能出现随机值甚至程序崩溃。

特殊场景下的适用性说明 #

针对你提到的「依赖成员无公开拷贝构造、赋值运算符，只能在构造阶段传参初始化」的场景，这种类内默认初始化依赖其他成员的写法理论上可以用，但必须严格满足两个前提：

• 被依赖的成员（比如你的i）必须声明在所有依赖它的成员之前
• 被依赖的成员必须在构造函数初始化列表中完成初始化，不能放在构造函数体内赋值

但该写法存在极高的维护隐患：后续如果有开发者重构代码，不小心调整了成员的声明顺序，不会触发任何编译报错，但会直接触发未定义行为，排查成本极高，因此不建议常规使用。

更稳妥的替代方案 #

对于不可拷贝/赋值的成员初始化，更推荐将所有初始化逻辑集中到构造函数初始化列表中，同时在代码注释明确标注成员声明顺序的依赖关系：

class test{
public:
    test(int c) : i(c), obj(i) {}
private:
    // 注意：i必须声明在obj之前，obj构造依赖i的值
    int i;
    NoCopyClass obj;
};

这种写法将初始化逻辑集中在构造函数中，后续维护者查看构造逻辑时更容易注意到顺序依赖，降低出问题的概率。

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