构造函数的成员初始化列表有什么作用?

时间:2021-09-24 20:04:23

部分内容来自百度知道!!

构造函数初始化列表以一个冒号开始,接着是以逗号分隔的数据成员列表,每个数据成员后面跟一个放在括号中的初始化式。例如:
class CExample {
public:
int a;
float b;
//构造函数初始化列表
CExample(): a(0),b(8.8)
{}
//构造函数内部赋值
CExample()
{
a=0;
b=8.8;
}
};
上面的例子中两个构造函数的结果是一样的。

上面的构造函数(使用初始化列表的构造函数)显式的初始化类的成员;而没使用初始化列表的构造函数是对类的成员赋值,并没有进行显式的初始化。
初始化和赋值对内置类型(就是基本数据类型)的成员没有什么大的区别,像上面的任一个构造函数都可以。

对非内置类型成员变量,为了避免两次构造,推荐使用类构造函数初始化列表。

为什么对非内置类型成员变量,不适用类构造函数初始化列表就会有两次构造呢?

看下边的例子:

class B{
public:
B()
{
cout << "B:B() is called" << endl;
}
B(int x)
{
cout << "B:B(x) is called" << endl;
x = a;
}
private:
int a;
};
class A{
public:
A(int x)
{
a = x;
b = B(x);
cout << "A:A() is called" << endl;
}
~A()
{

}
private:
int a;
B b;
};
int main()
{
A t(1);
system("pause");
return 0;
}
输出:B:B() is called

          B:B(x) is called

          A:A() is called
但如果把类A里的构造函数改成

A(int x):a(x),b(B(x)){}
就输出:B:B(x) is called.

其实说这么多就是说明,当一个类中有非内置类型成员变量时,若没有显示初始化这个非内置类型成员变量,那么编译器会隐士调用该非内置类型成员变量的默认构造函数,而如果用了成员初始化构造函数,对这个变量有了显示初始化,系统就不会再隐士调用它的默认构造函数了,所以这里少了一次构造。

但有的时候必须用带有初始化列表的构造函数:
1.成员类型是没有默认构造函数的类。若没有提供显示初始化式,则编译器隐式使用成员类型的默认构造函数,若类没有默认构造函数,则编译器尝试使用默认构造函数将会失败。
2.const成员或引用类型的成员。因为const对象或引用类型只能初始化,不能对他们赋值。

class B{
public:
B()
{
cout << "B:B() is called" << endl;
}
B(int x)
{
x = a;
}
private:
int a;
};
class A{
public:
A()
{
cout << "A:A() is called" << endl;
}
~A()
{

}
private:
int a;
B b;
};
int main()
{
A t;
system("pause");
return 0;
}
输出:B:B() is called

           A:A() is called

我们看到在类A里边有非内置类型成员变量b,在调用A的构造函数时,我们没有显示初始化b,但系统会隐士调用成员类型(这里是b)的默认构造函数
。如果类B没有默认构造函数,则编译器会失败。所以在这种情况下,必须使用初始化列表的构造函数。

 
初始化数据成员与对数据成员赋值的含义是什么?有什么区别?
首先把数据成员按类型分类并分情况说明:
1.内置数据类型,复合类型(指针,引用)
在成员初始化列表和构造函数体内进行,在性能和结果上都是一样的
2.用户定义类型(类类型)
结果上相同,但是性能上存在很大的差别。因为类类型的数据成员对象在进入函数体前已经构造完成,也就是说在成员初始化列表处进行构造对象的工作,调用构造函数,在进入函数体之后,进行的是对已经构造好的类对象的赋值,又调用个拷贝赋值操作符才能完成(如果并未提供,则使用编译器提供的默认按成员赋值行为)
Note:
初始化列表的成员初始化顺序:
C++初始化类成员时,是按照声明的顺序初始化的,而不是按照出现在初始化列表中的顺序。
Example:
class CMyClass {
CMyClass(int x, int y);
int m_x;
int m_y;
};
CMyClass::CMyClass(int x, int y) : m_y(y), m_x(m_y)
{
}
你可能以为上面的代码将会首先做m_y=I,然后做m_x=m_y,最后它们有相同的值。但是编译器先初始化m_x,然后是m_y,,因为它们是按这样的顺序声明的。结果是m_x将有一个不可预测的值。有两种方法避免它,一个是总是按照你希望它们被初始化的顺序声明成员,第二个是,如果你决定使用初始化列表,总是按照它们声明的顺序罗列这些成员。这将有助于消除混淆。