C++ 在初始化列表中初始化和在构造函数内初始化的区别

来源:互联网 发布:罗伯特劳伦斯库恩知乎 编辑:程序博客网 时间:2024/04/30 13:00

普通构造函数函数体内初始化:(事实上都是先初始化阶段再计算阶段)

#include <iostream>using namespace std;class A{public:A() // 无参构造函数{cout << "Construct A" << endl ;}A(const A& ObjA) // 拷贝构造函数{cout << "Copy constructor for A" << endl ;this->a = ObjA.a;}A& operator = (const A& ObjA) // 赋值运算符,用来赋值而非初始化{cout << "assignment for A" << endl ;this->a = ObjA.a ;return *this;}int a ;};struct B{<span style="white-space:pre"></span>A A1; <span style="white-space:pre"></span>// Test2有一个Test1类的内嵌对象<span style="white-space:pre"></span>B(A &ObjA) <span style="white-space:pre"></span>{<span style="white-space:pre"></span>A1 = ObjA ;<span style="white-space:pre"></span>cout << "Construct B"<<endl;<span style="white-space:pre"></span>}};  int main(){A objA ; // 1B objB(objA) ; // 2return 0;}

输出:

Construct A 
Construct A
assignment for A

Construct B

构造一个objA,调用类A默认构造函数,输出第一行;创建一个B类对象,调用B类构造函数(参数是A类对象的引用),在构造函数体内,先创建成员A类对象A1,调用的是默认构造函数,对应第二行;然后调用重载运算符=,对A1赋值,对应第三行。构造函数结束,对应第四行。


使用初始化列表:

struct B{A A1; // Test2有一个Test1类的内嵌对象B(A &ObjA):A1(ObjA){cout << "Construct B"<<endl;}}; 

输出:

Construct ACopy constructor for AConstruct B

直接调用了A的拷贝构造函数,而不需要先调用A的默认构造(然后再赋值)。


初始化类的成员有两种方式,一是使用初始化列表,二是在构造函数体内进行赋值操作。
主要是性能问题,对于内置类型,如int, float等,使用初始化类表和在构造函数体内初始化差别不是很大,但是对于类类型来说,最好使用初始化列表,为什么呢?由上例可知,使用初始化列表少了一次调用默认构造函数的过程,这对于数据密集型的类来说,是非常高效的。


初始化列表的使用:

除了性能问题之外,有些时候合初始化列表是不可或缺的,以下几种情况时必须使用初始化列表
1.常量成员,因为常量只能初始化不能赋值,所以必须放在初始化列表里面
2.引用类型,引用必须在定义的时候初始化,并且不能重新赋值,所以也要写在初始化列表里面
3. 没有默认构造函数的类类型,因为使用初始化列表可以不必调用默认构造函数来初始化,而是直接调用拷贝构造函数初始化

struct A{A(int a):i(a){}int i;};struct B{A a ;B(A &a1){a = a1 ;}};
以上代码无法通过编译,因为B的构造函数中a= a1这一行实际上分成两步执行:
1. 调用A的默认构造函数来初始化a1
由于A没有默认的构造函数,所以1 无法执行,故而编译错误。正确的代码如下,使用初始化列表代替赋值操作
struct Test2
{
        Test1 test1 ;

        Test2(int x):test1(x){}
}

成员变量的初始化顺序
成员是按照他们在类中出现的顺序进行初始化的,而不是按照他们在初始化列表出现的顺序初始化的,看代码:
struct foo
{
      int i ;int j ;
      foo(int x):i(x), j(i){}; // ok, 先初始化i,后初始化j
}; 


再看下面的代码:
struct foo
{
     int i ;int j ;
     foo(int x):j(x), i(j){} // i值未定义
};
这里i的值是未定义的因为虽然j在初始化列表里面出现在i前面,但是i先于j定义,所以先初始化i,而i由j初始化,此时j尚未初始化,所以导致i的值未定义。一个好的习惯是,按照成员定义的顺序进行初始化。

0 0