C++结构体成员声明与初始化顺序为何如此表现？

这是个非常典型的C++初始化顺序坑，很多刚接触类/结构体初始化的开发者都会踩中，我来给你一步步讲清楚：

为什么声明顺序在后但初始化列表先写会出错？ #

核心规则一定要记住：C++中类/结构体的成员初始化顺序，完全由它们在类体中的声明顺序决定，和构造函数初始化列表里的书写顺序没有任何关系。

看你最初的结构体代码：

struct Test_struct {
 string ord_as_string; // 第一个声明的成员
 int ord; // 第二个声明的成员
 Test_struct() : ord(randomer()), ord_as_string(to_string(ord)) {}
};

虽然你在初始化列表里先写了ord(randomer())，但编译器会严格按照成员声明顺序来执行初始化：

1. 先初始化ord_as_string，这时候调用to_string(ord)，但ord还没被初始化（它是第二个成员，要等ord_as_string初始化完才会处理），所以这里用到的ord是未定义的垃圾值。
2. 等ord_as_string初始化完成后，才会初始化ord，把它设为randomer()生成的随机数。

这就导致了输出里ord_as_string和ord完全不匹配——前者是垃圾值，后者才是正确的随机数，看起来就像“错位”了一样。

而你修改后把ord放在前面声明：

struct Test_struct {
 int ord; // 第一个声明，先初始化
 string ord_as_string; // 第二个声明，后初始化
 Test_struct() : ord(randomer()), ord_as_string(to_string(ord)) {}
};

这时候初始化顺序变成：

1. 先初始化ord，赋值为随机数；
2. 再初始化ord_as_string，用已经初始化好的ord调用to_string()，自然就得到了对应的字符串。

为什么C++要设计成按声明顺序初始化，而非初始化列表顺序？ #

这个设计是有意为之，主要有几个原因：

• 行为确定性：如果允许初始化列表顺序决定初始化顺序，那么同一个类的不同构造函数可能因为初始化列表顺序不同，导致成员初始化顺序变化，很容易引入难以追踪的bug。固定按声明顺序初始化，让所有构造函数的初始化行为有统一的规则，更可控。
• 避免依赖歧义：当类成员之间存在依赖关系时（比如成员A的初始化需要用到成员B的值），固定的声明顺序能明确开发者必须保证被依赖的成员先声明，避免因为初始化列表顺序写错导致依赖失效。
• 实现简洁性：编译器不需要解析初始化列表的顺序来调整初始化流程，直接按声明顺序处理即可，简化了编译器的实现逻辑。
• 历史兼容性：这个规则从C++早期就确定下来，延续至今是为了保证旧代码的兼容性，避免打破现有程序的行为。

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