C++成员变量的初始化顺序问题

本文深入探讨了C++中构造函数的初始化列表及其对成员变量初始化的影响,通过具体实例对比了初始化列表与构造函数体内初始化的区别,并解释了成员变量初始化的顺序原则。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

问题来源:

由于面试题中,考官出了一道简单的程序输出结果值的题:如下,

  1. class A  
  2. {  
  3. private:  
  4.     int n1;  
  5.     int n2;  
  6.       
  7. public:  
  8.     A():n2(0),n1(n2+2){}  
  9.   
  10.     void Print(){  
  11.         cout << "n1:" << n1 << ", n2: " << n2 <<endl;    
  12.     }  
  13. };  
  14.   
  15. int main()  
  16. {  
  17.   
  18.     A a;  
  19.     a.Print();  
  20.   
  21.     return 1;  
  22. }  


这时,那个考生这样回答: n1是2,n2是0。
在我电脑输出结果为:

如果你也这样回答,那么你肯定不懂初始化成员列表的顺序。

如果我把A类中构造函数改成:

  1. A()  
  2. {  
  3.     n2 = 0;  
  4.     n1 = n2 +2;  
  5. }  

那么此时输出结果为:


分析:    

1、成员变量在使用初始化列表初始化时,与构造函数中初始化成员列表的顺序无关,只与定义成员变量的顺序有关。因为成员变量的初始化次序是根据变量在内存中次序有关,而内存中的排列顺序早在编译期就根据变量的定义次序决定了。这点在EffectiveC++中有详细介绍。

2、如果不使用初始化列表初始化,在构造函数内初始化时,此时与成员变量在构造函数中的位置有关。

3、注意:类成员在定义时,是不能初始化的

4、注意:类中const成员常量必须在构造函数初始化列表中初始化。

5、注意:类中static成员变量,必须在类外初始化。

6、静态变量进行初始化顺序是基类的静态变量先初始化,然后是它的派生类。直到所有的静态变量都被初始化。这里需要注意全局变量和静态变量的初始化是不分次序的。这也不难理解,其实静态变量和全局变量都被放在公共内存区。可以把静态变量理解为带有“作用域”的全局变量。在一切初始化工作结束后,main函数会被调用,如果某个类的构造函数被执行,那么首先基类的成员变量会被初始化。 
  

  • bbb的成员变量定义:
  • private:
    • int n1;
    • int n2;
  • bbb的构造函数:
  • bbb::bbb()
  • :n2(1),
  • n1(2)
  • {
  • }
  • 汇编代码:
  • 00401535 mov eax,dword ptr [ebp-4]
  • 00401538 mov dword ptr [eax+4],2
  • 0040153F mov ecx,dword ptr [ebp-4]
  • 00401542 mov dword ptr [ecx+8],1
  • 然后依照派生链初始化派生类的成员函数。
.总结:
   变量的初始化顺序就应该是:
  • 1 基类的静态变量或全局变量
  • 2 派生类的静态变量或全局变量
  • 3 基类的成员变量
  • 4 派生类的成员变量
### C++成员变量初始化方式 在 C++ 编程语言中,成员变量可以通过种方式进行初始化。这些方法主要包括 **构造函数体内的赋值** 和 **初始化列表** 的使用。每种方法都有其特定的应用场景和注意事项。 #### 1. 构造函数体内的赋值 当成员变量在构造函数体内被赋值时,实际上是先进行了默认初始化(如果存在),然后再通过赋值操作符将其修改为目标值。这种方式适合于普通的非 `const` 非引用类型的成员变量[^2]。 ```cpp class MyClass { public: int value; MyClass(int v) { value = v; // 这里是在构造函数体内进行赋值 } }; ``` 然而,对于某些特殊类型的成员变量(如 `const` 类型、引用类型以及没有默认构造函数的对象类型),这种方法并不适用[^3]。 --- #### 2. 初始化列表 初始化列表是一种更高效的方式,在对象创建过程中直接完成成员变量初始化工作。它的优点在于可以处理那些无法通过简单赋值来实现初始化的情况,比如: - 没有默认构造函数的成员变量; - `const` 类型的成员变量; - 引用类型的成员变量。 ##### 使用示例 ```cpp class MyClass { private: const int cValue; std::string& refString; public: MyClass(const int cv, std::string& str) : cValue(cv), // 初始化常量成员变量 refString(str) { // 初始化引用成员变量 } void display() { std::cout << "Constant Value: " << cValue << ", Reference String: " << refString << std::endl; } }; int main() { std::string s = "Example"; MyClass obj(42, s); obj.display(); } ``` 上述代码展示了如何利用初始化列表为 `const` 成员变量和引用成员变量提供初始值[^1]。 --- #### 3. 声明时初始化 (C++11 及之后版本支持) 自 C++11 起,还可以在类定义内部直接为成员变量指定默认值。这种做法简化了一些情况下对初始化列表的需求,但仍然遵循成员变量声明顺序决定的实际初始化次序[^4]。 ```cpp class MyClass { private: int defaultValue = 0; // 声明时初始化 double piValue = 3.14159; // 同样也是声明时初始化 public: MyClass() {} }; ``` 尽管如此,仍需注意的是,即便提供了此类内初始化表达式,一旦某个具体实例化过程涉及不同的初值设定,则优先采用后者覆盖前者[^5]。 --- #### 总结对比 | 特性 | 构造函数体内赋值 | 初始化列表 | 声明时初始化 | |-------------------------|------------------------------------------|----------------------------------------|-----------------------------------| | 是否支持复杂类型 | 不完全支持 | 完全支持 | 支持,默认行为 | | 效率 | 较低 | 更高 | 视具体情况而定 | | 应用范围 | 普通数据类型 | 包括但不限于无默认构造函数、`const`/引用 | 所有可赋予默认值的数据类型 | ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值