C++ 中关于初始化列表的教程很多:
初始化和赋值对内置类型的成员没有什么大的区别,像上面的任一个构造函数都可以。对非内置类型成员变量,为了避免两次构造,推荐使用类构造函数初始化列表。但有的时候必须用带有初始化列表的构造函数:
1.成员类型是没有默认构造函数的类。若没有提供显示初始化式,则编译器隐式使用成员类型的默认构造函数,若类没有默认构造函数,则编译器尝试使用默认构造函数将会失败。
2.const成员或引用类型的成员。因为const对象或引用类型只能初始化,不能对他们赋值。
开始一直不理解什么叫二次构造,其实是第一次是调用默认构造函数,第二次是调用赋值操作符。
有的博客这样写到:关于类的构造函数,可以分为两个部分,初始化部分(初始化列表)和计算部分(花括号间的赋值运算),在花括号作用域间进行的运算不是初始化,而是赋值。
#include <iostream>
using namespace std;
class A
{
public:
A()
{
cout << "A的无参构造函数" << endl;
}
A(int a)
{
cout << "A的有参构造函数" << endl;
}
~A()
{
cout << "A的析构函数" << endl;
}
A(const A& a)
{
cout << "A的拷贝构造函数" << endl;
}
A& operator=(const A &a)
{
cout << "默认的等号操作符" << endl;
this->m_a = a.m_a;
return *this;
}
private:
int m_a;
};
class B
{
public:
B(A &a1, A &a2, int b)
{
m_a1 = a1;
m_a2 = a2;
cout << "====" << endl;
m_b = b;
cout << "B的有参构造函数" << endl;
}
/*B(A &a1, A &a2, int b) :m_a1(a1), m_a2(a2), m_b(b)
{
cout << "B的有参构造函数" << endl;
}*/
private :
int m_b;
A m_a1;
A m_a2;
};
int main()
{
A m_a1(10);
A m_a2(20);
//关于类的构造函数,可以分为两个部分,初始化部分(初始化列表)和计算部分(花括号间的赋值运算),
//在花括号作用域间进行的运算不是初始化,而是赋值。
B b(m_a1, m_a2, 3);
return 0;
}
可以看,
结论:
初始化列表的一般形式如下:
Object::Object(int _x,int _y):x(_x),y(_y) {}
构造函数初始化一般通过构造函数实现,实现如下:
Object::Object(int _x,int _y)
{
x=_x;
y=_y;
}
上面的构造函数使用初始化列表的会显式地初始化类的成员;而没有使用初始化列表的构造函数是对类的成员赋值,并没有进行显式的初始化。
初始化和赋值对内置类型的成员没有什么的的区别,在成员初始化列表和构造函数体内进行,在性能和结果上都是一样的。对非内置类型成员变量,因为类类型的数据成员的数据成员对象在进入函数体前已经构造完成,也就是说在成员初始化列表处进行构造对象的工作,调用构造函数,在进入函数体之后,进行的是对已经构造好的类对象的赋值,又调用一个赋值赋值操作符才能完成(如果并未提供,则使用编译器提供的默认成员赋值行为)。为了避免两次构造,推荐使用类构造函数初始化列表。
但有很多场合必须使用带有初始化列表的构造函数。例如,成员类型是没有默认构造函数的类,若没有提供显示初始化时,则编译器隐式使用成员类型的默认构造函数,若类没有默认构造函数,则编译器尝试调用默认构造函数将会失败。再例如const成员或者引用类型的成员,因为const对象或引用类型只能初始化,不能对它们进行赋值。
1,常量成员
常量成员只能初始化不能赋值,所以必须放在初始化列表里。
2,引用类型
引用必须在定义时初始化,并且不能重新赋值,所以必须放在初始化表里。
3,对象成员
这个成员是其他类的对象,例如上面的Address addr成员。如果把它放在构造函数的初始化列表里,此时会调用Address类的copy constructor函数,对这个类对象进行初始化。如果把它放在构造函数体中,会先调用Address类的default constructor函数,然后再调用Address类的copy constructor函数。从性能上考虑,把对象成员的初始化放在初始化列表里性能会更高。