C++编程语言中有很多比较重要的概念值得我们去深入探讨。比如今天为大家介绍的有关C++构造函数的相关概念。这一方面的知识在实际编程中就是一个比较重要的应用技术。希望能个大家可以从中学到一些知识。
C++构造函数初始化列表以一个冒号开始,接着是以逗号分隔的数据成员列表,每个数据成员后面跟一个放在括号中的初始化式。例如:
- class CExample {
- public:
- int a;
- float b;
- //构造函数初始化列表
- CExample(): a(0),b(8.8)
- {}
- //构造函数内部赋值
- CExample()
- {
- a=0;
- b=8.8;
- }
- };
上面的例子中两个C++构造函数的结果是一样的。上面的构造函数(使用初始化列表的构造函数)显式的初始化类的成员;而没使用初始化列表的构造函数是对类的成员赋值,并没有进行显式的初始化。
初始化和赋值对内置类型的成员没有什么大的区别,像上面的任一个构造函数都可以。对非内置类型成员变量,为了避免两次构造,推荐使用类构造函数初始化列表。但有的时候必须用带有初始化列表的构造函数:
1.成员类型是没有默认构造函数的类。若没有提供显示初始化式,则编译器隐式使用成员类型的默认构造函数,若类没有默认构造函数,则编译器尝试使用默认构造函数将会失败。
2.const成员或引用类型的成员。因为const对象或引用类型只能初始化,不能对他们赋值。
初始化数据成员与对数据成员赋值的含义是什么?有什么区别?
首先把数据成员按类型分类并分情况说明:
1.内置数据类型,复合类型(指针,引用)
在成员初始化列表和C++构造函数体内进行,在性能和结果上都是一样的
2.用户定义类型(类类型)
结果上相同,但是性能上存在很大的差别。因为类类型的数据成员对象在进入函数体前已经构造完成,也就是说在成员初始化列表处进行构造对象的工作,调用构造函数,在进入函数体之后,进行的是对已经构造好的类对象的赋值,又调用个拷贝赋值操作符才能完成(如果并未提供,则使用编译器提供的默认按成员赋值行为)
Note:
初始化列表的成员初始化顺序:
C++初始化类成员时,是按照声明的顺序初始化的,而不是按照出现在初始化列表中的顺序。
请看下面的代码:
template<class t>
class array {
public:
array(int lowbound, int highbound);
...
private:
vector<t> data; // 数组数据存储在vector对象中
// 关于vector模板参见条款49
size_t size; // 数组中元素的数量
int lbound, hbound; // 下限,上限
};
template<class t>
array<t>::array(int lowbound, int highbound)
: size(highbound - lowbound + 1),
lbound(lowbound), hbound(highbound),
data(size)
{
}
里面有个严重的错误,绝对没人会知道data里会有多少个元素。你也许认为在data之前size已经被初始化了,实则不然,类成员变量的初始化不是按照初始化表的顺序被初始化的,而是按照在类中声明的顺序被初始化的。
为什么会这样呢?我们知道,对一个对象的所有成员来说,它们的析构函数被调用的顺序总是和它们在构造函数里被创建的顺序相反。那么,如果允许上面的情况(即,成员按它们在初始化列表上出现的顺序被初始化)发生,编译器就要为每一个对象跟踪其成员初始化的顺序,以保证它们的析构函数以正确的顺序被调用。这会带来昂贵的开销。所以,为了避免这一开销,同一种类型的所有对象在创建(构造)和摧毁(析构)过程中对成员的处理顺序都是相同的,而不管成员在初始化列表中的顺序如何。
注意:上述内容不适用于static变量,static变量应该在类的构造函数前被初始化。
当构造函数带有参数时,在定义对象时必须给构造函数传递参数,否则,构造函数将不被执行。但在实际应用中,有些构造函数的参数值通常是不变的,只有在特殊情况下才需要改变它的值,这时,可以将构造函数定义成带缺省参数的值的构造函数,这样,在定义对象时可以不指定实参,用缺省参数值来初始化数据成员。
例3.12 带有缺省参数的构造函数的例。
#includ<iostream.h>
class complex
{
double real,imag;
public:
complex(double real=0.0, double imag=0.0); //带有缺省参数的构造函数
double abscomplex();
};
complex::complex(double r, double i)
{
real=r;
imag=I;
}
double complex::absconplex()
{
double n;
n=real*real+imag*imag;
return sqrt(n);
}
main()
{
complex ob1;
complex ob2(1.1);
complex ob3(1.1,2.2);
cout<<”abs of complex ob1=”<<ob1.abscomplex()<<endl;
cout<<”abs of complex ob2=”<<ob2.abscomplex()<<endl;
cout<<”abs of complex ob3=”<<ob3.abscomplex()<<endl;
}
此例中,对象ob1在定义时没有传递参数,所以real和imag均取构造函数的缺省值初始化,real和imag均为0.0。对象ob2在定义时传递了一个参数,按顺序传递给了第一个形参real,第二个形参imag取缺省值,所以real为1.1,而imag为0.0。对象ob3在定义时传递了两个参数,所以real为1.1,imag为2.2。