成员初始化列表中的自增操作是否会引发未定义行为？附代码实例问询

嘿，这个问题问得特别好，刚好戳中了C++里容易踩的一个坑。咱们一步步来把它讲明白：

先搞懂：什么时候自增会触发未定义行为 #

C++里有个核心规则得记牢：如果同一个变量在没有「序列点」的情况下被多次修改，或者修改完又被读取（读取不是为了确定修改后的值），那程序的行为就是完全未定义的。

所谓序列点，你可以理解成程序执行过程中的一个“停顿点”，保证在这个点之前的所有操作都已经完成，之后的操作还没开始。而在成员初始化列表里，多个初始化表达式之间是没有这种明确的序列点的——这就给自增操作埋下了隐患。

针对你给出的代码，咱们具体分析 #

先把你的代码贴出来方便看：

class Wrinkle {
public:
    Wrinkle(int i) : a(++i), b(++i), x(++i) {}
private:
    int a;
    int x;
    int b;
};

这里有两个关键细节，咱们一个个说：

1. 成员初始化的顺序：别被列表顺序骗了 #

首先纠正一个超级常见的误区：成员变量的初始化顺序，只看它们在类里声明的先后，和你在初始化列表里写的顺序半毛钱关系都没有！
你代码里的成员声明顺序是a → x → b，所以不管你初始化列表里写的是a, b, x还是别的顺序，实际初始化顺序一定是：先a，再x，最后b。这个是C++标准硬规定的，别搞混了。

2. 为什么这段代码绝对是未定义行为 #

虽然初始化顺序是确定的，但问题出在++i的多次调用上：构造函数的参数i在三个初始化表达式里被连续做了自增操作，而且这些自增之间没有序列点分隔。根据C++标准，这种情况直接触发未定义行为——编译器想怎么处理都行：

• 它可能严格按照a→x→b的顺序，每次自增后赋值，那a是i+1，x是i+2，b是i+3；
• 它也可能先把三次++i都执行完，再把最终的i+3赋值给所有成员；
• 甚至可能做一些奇怪的优化，让结果完全超出你的预期。

总之，这种代码的运行结果是完全不可控的，绝对不能这么写。

最后给个小建议 #

如果你确实需要用同一个变量的递增值初始化多个成员，别在初始化列表里搞自增，换个方式：比如先在构造函数体内把变量递增好，或者用临时变量来明确顺序，比如：

Wrinkle(int i) {
    ++i;
    a = i;
    ++i;
    x = i;
    ++i;
    b = i;
}

这样就完全避免了未定义行为，逻辑也清晰多了。

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