C++类成员混合内联初始化与构造初始化列表的初始化顺序是否良定义

核心规则依据 #

C++标准对类非静态成员的初始化顺序有非常明确的强制约束：所有非静态成员，严格按照它们在类定义中的声明先后顺序完成初始化。这个规则没有任何例外，覆盖所有形式的初始化场景，包括构造函数初始化列表、成员自带的内联初始化器。

示例代码的实际执行流程 #

根据代码里的成员声明顺序（先声明size，后声明arr），构造Foo实例时的初始化步骤是严格按声明顺序推进的：

• 按照声明顺序第一个处理的成员是size。因为构造函数初始化列表中给size指定了初始化表达式set_size(s)，这里会直接执行该表达式，把size初始化为传入的参数值，这一步完成后size就已经是完全合法的已初始化状态。
• 顺序推进到第二个声明的成员arr。因为初始化列表中没有给arr单独指定初始化表达式，所以会执行它自带的内联初始化逻辑create_arr(size)，此时size早已完成初始化，取它的值作为函数参数没有任何合法性问题。

所有符合C++标准的编译器，包括GCC、Clang、MSVC，都必须严格遵循这个顺序规则实现，因此对该场景的处理行为是完全一致的。

调换声明顺序会触发告警的原因 #

如果把两个成员的声明顺序颠倒，先写arr再写size，初始化顺序就会变成先处理arr的内联初始化，这时候轮到arr初始化时，size还完全没有被初始化，拿未初始化的变量当函数参数就是标准的未定义行为，编译器抛出的告警正是为了捕捉这种顺序错配的问题。

常见认知误区 #

很多开发者容易把“构造函数初始化列表的书写顺序”当成实际执行顺序，实际上初始化列表的书写顺序对执行顺序完全没有影响——哪怕你把初始化列表里的项写得再颠倒，最终的成员初始化顺序永远和类内的声明顺序对齐。而成员的内联初始化器，本质上只是“当构造函数没有为该成员指定初始化逻辑时的兜底初始化表达式”，它不会跳出整个成员的初始化顺序队列，完全遵循统一的顺序规则。

内容的提问来源于stack exchange，提问作者Some programmer dude