在C++类初始化列表中调用成员函数初始化变量是否合法?会有问题吗?
好问题!这其实涉及到C++构造函数初始化列表的执行规则和成员函数调用时机的细节,咱们一步步拆解清楚:
1. 语法合法性
首先明确:c(result())这种写法在语法上是合法的,C++标准允许在初始化列表中调用成员函数来初始化其他成员变量。你当前能得到正确结果也不是巧合,但这里藏着容易踩的坑。
2. 为什么当前代码能正常工作?
C++中,成员变量的初始化顺序完全由它们在结构体/类中的声明顺序决定,和初始化列表里的书写顺序无关。看你的结构体:
struct CAddition { int x; int y; int c; // ... 其他成员 };
成员的初始化顺序是x → y → c。当你在初始化列表里写c(result())时,调用result()的时机是在x和y已经完成初始化之后(因为c是第三个被初始化的成员),所以result()里的x + y能拿到正确的初始值0+0=0,c也就被正确初始化了。
3. 潜在的巨大风险
这种写法的问题在于极度依赖成员变量的声明顺序,一旦这个顺序被修改,就会触发未定义行为:
比如如果哪天你调整了成员的声明顺序,把c放到最前面:
struct CAddition { int c; int x; int y; // ... 其他成员 };
此时初始化顺序变成c → x → y。当初始化c调用result()时,x和y还没有被初始化,它们的值是随机的垃圾值,result()返回的结果完全不可控,c的初始值也就彻底错误了——而且这种问题往往很难排查,因为编译器不会给你明显的警告。
4. 更安全的替代方案
对比你原来在构造函数体内赋值c = result();的写法:构造函数体内的代码是在所有成员变量都完成初始化之后才执行的,不管成员声明顺序怎么变,x和y都已经是合法的初始值,调用result()完全安全。
另外,如果你坚持想在初始化列表里完成初始化,也可以直接写c(x + y),跳过成员函数调用,这样既直观又避免了依赖成员函数的风险;或者把result()改成静态成员函数,明确传入x和y的值(不过本质上和直接写x+y区别不大)。
内容的提问来源于stack exchange,提问作者Novice_Developer

