构造函数初始化列表以一个冒号开始,接着是以逗号分隔的数据成员列表,每个数据成员后面跟一个放在括号中的初始化式。例如:
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/0be121fa5b8988fbabbbc526af3b0fc0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/b854634c0904529d4018c4c3336be836.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/3112b7b6526db5bc83e275260ae60525.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f2671b7f42ce505d9bf55a7a0ca257fb.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/b854634c0904529d4018c4c3336be836.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/3112b7b6526db5bc83e275260ae60525.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f2671b7f42ce505d9bf55a7a0ca257fb.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/b854634c0904529d4018c4c3336be836.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/eec4c0236afc26744c9c4e910bc34958.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/4fd96b3cf02f4c7b5c8964ac8167f7af.gif)
上面的例子中两个构造函数的结果是一样的。上面的构造函数(使用初始化列表的构造函数)显式的初始化类的成员;而没使用初始化列表的构造函数是对类的成员赋值,并没有进行显式的初始化。
初始化和赋值对内置类型的成员没有什么大的区别,像上面的任一个构造函数都可以。对非内置类型成员变量,为了避免两次构造,推荐使用类构造函数初始化列表。但有的时候必须用带有初始化列表的构造函数:
1.成员类型是没有默认构造函数的类。若没有提供显示初始化式,则编译器隐式使用成员类型的默认构造函数,若类没有默认构造函数,则编译器尝试使用默认构造函数将会失败。
2.const成员或引用类型的成员。因为const对象或引用类型只能初始化,不能对他们赋值。
初始化数据成员与对数据成员赋值的含义是什么?有什么区别?
首先把数据成员按类型分类并分情况说明:
1.内置数据类型,复合类型(指针,引用)
在成员初始化列表和构造函数体内进行,在性能和结果上都是一样的
2.用户定义类型(类类型)
结果上相同,但是性能上存在很大的差别。因为类类型的数据成员对象在进入函数体前已经构造完成,也就是说在成员初始化列表处进行构造对象的工作,调用构造函数,在进入函数体之后,进行的是对已经构造好的类对象的赋值,又调用个拷贝赋值操作符才能完成(如果并未提供,则使用编译器提供的默认按成员赋值行为)
Note:
初始化列表的成员初始化顺序:
C++初始化类成员时,是按照声明的顺序初始化的,而不是按照出现在初始化列表中的顺序。
Example:
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/0be121fa5b8988fbabbbc526af3b0fc0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/b854634c0904529d4018c4c3336be836.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/587e34b10dcf5efbc0859b53470a2db3.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/4fd96b3cf02f4c7b5c8964ac8167f7af.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/f0cd6c7f9e7ae96feae062cb48f670f0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/34031c708bfe702fe82d01ff5c6593aa.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/0be121fa5b8988fbabbbc526af3b0fc0.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/b854634c0904529d4018c4c3336be836.gif)
![](https://i-blog.csdnimg.cn/blog_migrate/4fd96b3cf02f4c7b5c8964ac8167f7af.gif)
你可能以为上面的代码将会首先做m_y=I,然后做m_x=m_y,最后它们有相同的值。但是编译器先初始化m_x,然后是m_y,,因为它们是按这样的顺序声明的。结果是m_x将有一个不可预测的值。有两种方法避免它,一个是总是按照你希望它们被初始化的顺序声明成员,第二个是,如果你决定使用初始化列表,总是按照它们声明的顺序罗列这些成员。这将有助于消除混淆。
一、 成员初始化列表的位置。
成员初始化列表的位置位于构造函数的函数体和参数表之间。构造函数初始化列表以一个冒号开始,接着是以逗号分隔的数据成员列表,每个数据成员后面跟一个放在括号中的初始化式,初始化式可以是表达式、派生类构造函数的形参还有其余常量。
通过成员初始化表,类数据成员可以被显式初始化。成员初始化表是由逗号分隔的成员/名字实参对。例如下面的双参数构造函数的实现就使用了成员初始化表。
_name是string 型的成员类对象。
Account::Account( const char* name, double opening_bal ): _name( name ), _balance( opening_bal )
{
_acct_nmbr = get_unique_acct_nmbr();
}
成员初始化表跟在构造函数的原型后,由冒号开头。成员名是被指定的,后面是括在括号中的初始值,类似于函数调用的语法。如果成员是类对象则初始值变成被传递给适当的构造函数的实参。该构造函数然后被应用在成员类对象上。在我们的例子中,name被传递给应用在_name上的string构造函数。_balance 用参数opening_bal初始化。
Account::Account( const string& name, double opening_bal ) : _name( name ), _balance( opening_bal )
{
_acct_nmbr = get_unique_acct_nmbr();
}
说明:在这种情况下,string 的拷贝构造函数被调用。把成员类对象_name 初始化成string 参数name。
二、 使用初始化表和在构造函数内使用数据成员的赋值之间有什么区别?
(1)Account::Account( const char *name, double opening_bal ): _name( name ), _balance( opening_bal )
{
_acct_nmbr = get_unique_acct_nmbr();
}
(2)Account::Account( const char *name, double opening_bal )
{
_name = name;
_balance = opening_bal;
_acct_nmbr = get_unique_acct_nmbr();
}
这两种实现有区别吗?
两种实现的最终结果是一样的。在两个构造函数调用的结束处三个成员都含有相同的值。区别是上面的构造函数(使用初始化列表的构造函数)显式的初始化类的成员;而没使用初始化列表的构造函数是对类的成员赋值,并没有进行显式的初始化。
我们可以认为构造函数的执行过程被分成两个阶段:隐式或显式初始化阶段以及一般的计算阶段。计算阶段由构造函数体内的所有语句构成,在计算阶段中数据成员的设置被认为是赋值而不是初始化。没有清楚地认识到这个区别是程序错误和低效的常见源泉。
初始化阶段可以是显式的或隐式的取决于是否存在成员初始化表。隐式初始化阶段按照声明的顺序依次调用所有基类的缺省构造函数然后是所有成员类对象的缺省构造函数。
如:
Account::Account()
{
_name = "";
_balance = 0.0;
_acct_nmbr = 0;
}
则初始化阶段是隐式的。在构造函数体被执行之前先调用与_name相关联的缺省string构造函数。这意味着把空串赋给_name的赋值操作是没有必要的。对于类对象,在初始化和赋值之间的区别是巨大的。成员类对象应该总是在成员初始化表中被初始化而不是在构造函数体内被赋值。
缺省Account构造函数更正确的实现如下:
Account::Account() : _name( string() )
{
_balance = 0.0;
_acct_nmbr = 0;
}
它之所以更正确,是因为我们已经去掉了在构造函数体内不必要的对_name 的赋值。但是对于缺省构造函数的显式调用也是不必要的。下面是更紧凑但却等价的实现:
Account::Account()
{
_balance = 0.0;
_acct_nmbr = 0;
}
剩下的问题是:对于两个被声明为内置类型的数据成员其初始化情况如何?例如用成员初始化表和在构造函数体内初始化_balance是否等价?回答是不。对于非类数据成员的初始化或赋值除了两个例外,两者在结果和性能上都是等价的。即更受欢迎的实现是用成员初始化表:
// 更受欢迎的初始化风格
Account:: Account(): _balanae( 0.0 ), _acct_nmbr( 0 ) { }
两个例外是:指任何类型的const 和引用数据成员。const 和引用数据成员也必须是在成员初始化表中被初始化,否则就会产生编译时刻错误。
例如下列构造函数的实现将导致编译:
class ConstRef
{
public:
ConstRef( int ii );
private:
int i;
const int ci;
int &ri;
};
ConstRef:: ConstRef( int ii )
{ //赋值
i = ii; // ok
ci = ii; //错误: 不能给一个 const 赋值
ri = i; //错误:ri 没有被初始化
}
当构造函数体开始执行时,所有const和引用的初始化必须都已经发生。只有将它们在成员初始化表中指定,这才有可能。正确的实现如下:
ConstRef::ConstRef( int ii ):ci( ii ), ri( i )
{ i = ii; }
每个成员在成员初始化表中只能出现一次,初始化的顺序不是由名字在初始化表中的顺序决定而是由成员在类中被声明的顺序决定的。
例:
class Account
{
public:
// ...
private:
unsigned int _acct_nmbr;
double _balance;
string _name;
};
下面是该类的缺省构造函数:
Account::Account(): _name( string() ), _balance( 0.0 ), _acct_nmbr( 0 ) {}
的初始化顺序为acct_nmbr ,_balance 然后是_name 。(由类体内声明的次序决定的。)但是在初始化表中出现或者在被隐式初始化的成员类对象中的成员,总是在构造函数体内成员的赋值之前被初始化。例如:
Account::Account( const char *name, double bal ) : _name( name ), _balance( bal )
{
_acct_nmbr = get_unique_acct_nmbr();
}
初始化的顺序是_balance , _name 然后是_acct_nmbr。
(为什么?因为_balance 在类体内的声明在 _name之前,_acct_nmbr的声明虽然在他们之前,但是因为他没有出现在成员初始化表中,所以。。)
由于这种实际的初始化顺序与初始化表内的顺序之间的明显不一致有可能导致以下难于发现的错误。当用一个类成员初始化另一个时:
class X
{
int i;
int j;
public:
// 喔!你看到问题了吗?
X( int val ):j( val ), i( j )
{}
// ...
};
尽管看起来j 好像是用val 初始化的,而且发生在它被用来初始化i 之前,但实际上是i 先被初始化的。因此它是用一个还没有被初始化的j 初始化的。
我们的建议是把用一个