首页 > 代码库 > C++中构造函数的写法

C++中构造函数的写法

class Circle

{

public:

        Circle(float r);

private:

        float radius;

};

Circle::Circle(float r) { radius = r }

通常都是这么写的。还有一种写法,类名::类名(形参表):内嵌对象1(形参表),内嵌对象2(形参表)... { 类的初始化 }。使用初始化列表比使用赋值语句的效率要高。

上面的构造函数可以写成如下形式:

Circle::Circle(float r):radius(r){}

 

为什么使用初始化列表比使用赋值语句效率高呢?

1:初始化列表”来初始化成员变量,进行的是初始化工作,调用的是构造函数,只需要调用一次拷贝构造函数;

2:在构造函数里面直接赋值,进行的是赋值操作,调用的是assignment函数,在调用assignment函数之前,还必需调用一次默认构造函数;

3:有些时候必须用到初始化列表,而不能在构造函数里直接赋值,比如引用成员和const成员,因为它们都不能被赋值,而只可以被初始化;

 

Effective C++笔记—构造函数赋值VS初始化列表

http://blog.csdn.net/lifeisbetter/article/details/5099085

条款12: 尽量使用初始化而不要在构造函数里赋值

条款13: 初始化列表中成员列出的顺序和它们在类中声明的顺序相同

 

在写构造函数时,必须将参数值传给相应的数据成员。有两种方法来实现。

第一种方法是使用成员初始化列表:

第二种方法是在构造函数体内赋值:

两种方法有重大的不同。

从纯实际应用的角度来看,有些情况下必须用初始化。特别是类成员有const(因为const成员只能被初始化,不能被赋值)和引用数据成员只能用初始化,不能被赋值。

 

对象的创建分两步:

1. 数据成员初始化。(参见条款13)

2. 执行被调用构造函数体内的动作。

 

01.template<class t> 

02.class namedptr { 

03.public: 

04.  namedptr(const string& initname, t *initptr); 

05.  ... 

06. 

07.private: 

08.  const string name; 

09.  t * const ptr; 

10.}; 

 

如果没有为name指定初始化参数,string的缺省构造函数会被调用。当在namedptr的构造函数里对name执行赋值时,会对name调用operator=函数。这样总共有两次对string的成员函数的调用:一次是缺省构造函数,另一次是赋值。

相反,如果用一个成员初始化列表来指定name必须用initname来初始化,name就会通过拷贝构造函数以仅一个函数调用的代价被初始化。

换句话说,通过成员初始化列表来进行初始化总是合法的,效率也决不低于在构造函数体内赋值,它只会更高效。另外,它简化了对类的维护(见条款m32),因为如果一个数据成员以后被修改成了必须使用成员初始化列表的某种数据类型,那么,什么也不用变。

但有一种情况下,对类的数据成员用赋值比用初始化更合理。这就是当有大量的固定类型的数据成员要在每个构造函数里以相同的方式初始化的时候。这时应该将成员初始化列表用一个对普通的初始化函数的调用来代替。

 

例1 必须使用

设想你有一个类成员,它本身是一个类或者结构,而且只有一个带一个参数的构造函数。

class CMember {

public:

    CMember(int x) { ... }

};

 

因为Cmember有一个显式声明的构造函数,编译器不产生一个缺省构造函数(不带参数),所以没有一个整数就无法创建Cmember的一个实例。

CMember* pm = new CMember;        // Error!!

CMember* pm = new CMember(2);     // OK

如果Cmember是另一个类的成员,你怎样初始化它呢?你必须使用成员初始化列表。

class CMyClass {

    CMember m_member;

public:

    CMyClass();

};

//必须使用成员初始化列表

CMyClass::CMyClass() : m_member(2)

{

???

}

没有其它办法将参数传递给m_member,如果成员是一个常量对象或者引用也是一样。根据C++的规则,常量对象和引用不能被赋值,它们只能被初始化。

 

例2 效率

当成员类具有一个缺省的构造函数和一个赋值操作符时。MFC的Cstring提供了一个完美的例子。假定你有一个类CmyClass具有一个Cstring类型的成员m_str,你想把它初始化为"yada yada."。你有两种选择:

CMyClass::CMyClass() {

    // 使用赋值操作符

    // CString::operator=(LPCTSTR);

    m_str = _T("yada yada");

}

//使用类成员列表

// and constructor CString::CString(LPCTSTR)

CMyClass::CMyClass() : m_str(_T("yada yada"))

{

}

在它们之间有什么不同吗?是的。编译器总是确保所有成员对象在构造函数体执行之前初始化,因此在第一个例子中编译的代码将调用CString::Cstring来初始化m_str,这在控制到达赋值语句前完成。在第二个例子中编译器产生一个对CString:: CString(LPCTSTR)的调用并将"yada yada"传递给这个函数。结果是在第一个例子中调用了两个Cstring函数(构造函数和赋值操作符),而在第二个例子中只调用了一个函数。在Cstring的例子里这是无所谓的,因为缺省构造函数是内联的,Cstring只是在需要时为字符串分配内存(即,当你实际赋值时)。但是,一般而言,重复的函数调用是浪费资源的,尤其是当构造函数和赋值操作符分配内存的时候。在一些大的类里面,你可能拥有一个构造函数和一个赋值操作符都要调用同一个负责分配大量内存空间的Init函数。在这种情况下,你必须使用初始化列表,以避免不要的分配两次内存。在内部类型如ints或者longs或者其它没有构造函数的类型下,在初始化列表和在构造函数体内赋值这两种方法没有性能上的差别。不管用那一种方法,都只会有一次赋值发生。

 

例3 顺序

关于C++初始化类成员,它们是按照声明的顺序初始化的,而不是按照出现在初始化列表中的顺序。

class CMyClass {

    CMyClass(int x, int y);

    int m_x;

    int m_y;

};

 

CMyClass::CMyClass(int i) : m_y(i), m_x(m_y)

{

}

你可能以为上面的代码将会首先做m_y=I,然后做m_x=m_y,最后它们有相同的值。但是编译器先初始化m_x,然后是m_y,,因为它们是按这样的顺序声明的。结果是m_x将有一个不可预测的值。有两种方法避免它,一个是总是按照你希望它们被初始化的顺序声明成员,第二个是,如果你决定使用初始化列表,总是按照它们声明的顺序罗列这些成员。

C++中构造函数的写法