C++类成员冒号初始化以及构造函数内赋值

2012年11月01日 11:58:22

通常我们对类成员进行“初始化”有两种方式:

1. 构造函数后面跟冒号;

2. 构造函数里面对成员进行赋值。

有些人不太注意这个小细节,或者根本不知道他们的区别,认为两种方式是一样的。这个误解有时可能会对程序带来影响,这里我来介绍一下这两种方式。

首先我们看这么一段代码:

class A
{
public:
	A(int& c)
	{
		_a = 1;
	}
protected:
	int _a;
	const int _b;
	int& _c;
};

这段代码正确吗?答案是否定,这段代码无法通过编译。我们会看到下面的编译错误

1>d:\study\myconsole\myconsole\myconsole.cpp(14) : error C2758: 'A::_b' : must be initialized in constructor base/member initializer list
1>        d:\study\myconsole\myconsole\myconsole.cpp(20) : see declaration of 'A::_b'
1>d:\study\myconsole\myconsole\myconsole.cpp(14) : error C2758: 'A::_c' : must be initialized in constructor base/member initializer list
1>        d:\study\myconsole\myconsole\myconsole.cpp(21) : see declaration of 'A::_c'
意思是说成员_b和_c必须在构造函数的成员初始化列表里面初始化。那么_a为什么没有报错呢?看看成员的声明,我们看到_a是一个int类型,_b是一个const int类型,_c是一个int&类型。根据C++的规则,const类型和引用不可以被赋值,只能被初始化。这里我们先花一点点时间来看一下const类型和引用。

大家看看下面的这段代码是否正确:

int _tmain(int argc, _TCHAR* argv[])
{
	int a;
	const int b;
	int& c;

	return 0;
}

编译一下就会看到这2个错误:
1>d:\study\myconsole\myconsole\myconsole.cpp(30) : error C2734: 'b' : const object must be initialized if not extern
1>d:\study\myconsole\myconsole\myconsole.cpp(31) : error C2530: 'c' : references must be initialized

 哦,原来const和引用必须在声明的时候就初始化(其实就是因为const和引用不可以在变量创建完成后再被赋值,所以编译器做了这个限制)。ok,把代码改一下:

int _tmain(int argc, _TCHAR* argv[])
{
	int a;
	const int b=5;
	int& c = a;

	return 0;
}


现在 编译就没有问题了。细心的朋友会发现我这里在b和c声明代码那里使用的=号而不是(),其实我们也可以这么做:

int _tmain(int argc, _TCHAR* argv[])
{
	int a;
	const int b(5);
	int& c(a);

	return 0;
}

在这种情况下用括号和等于号初始化,效果是一样的。具体就不细讲了。

OK,我们举这个小例子的目的就是想加深大家对const和引用的印象:const和引用必须在声明的时候就初始化,换句话说就是在给const和引用类型变量分配内存的时候就初始化。

好了,现在我们回到class A的问题,类A里面有const成员和引用成员,当系统要给类A的对象分配内存的时候,系统需要给A的对象的3个成员_a, _b, _c分配内存。_a没有问题,系统直接给它一块内存。_b和_c就出问题了,分配内存的时候没有初始化。所以编译就出问题了。其实C++给类成员初始化的唯一方式就是成员初始化列表,也就是构造函数后面跟冒号的那种形式。将class A的代码调整一下:

class A
{
public:
	A(int& c): _b(2), _c(c)
	{
		_a = 1;
	}
protected:
	int _a;
	const int _b;
	int& _c;
};




int _tmain(int argc, _TCHAR* argv[])
{
	int number = 3;
	A a(number);

	return 0;
}

我们在A的构造函数的后面用冒号来初始化_b和_c。现在可以通过编译了。因为系统可以在给_b和_c分配内存的时候就初始化了。那么假如我们把代码改成下面的形式:

class A
{
public:
	A(int& c)
	{
		_a = 1;
		_b = 2;
		_c = c;
	}
protected:
	int _a;
	const int _b;
	int& _c;

};


这样 能行吗?编译一下就得到下面的错误:

1>d:\study\myconsole\myconsole\myconsole.cpp(14) : error C2758: 'A::_b' : must be initialized in constructor base/member initializer list
1>        d:\study\myconsole\myconsole\myconsole.cpp(22) : see declaration of 'A::_b'
1>d:\study\myconsole\myconsole\myconsole.cpp(14) : error C2758: 'A::_c' : must be initialized in constructor base/member initializer list
1>        d:\study\myconsole\myconsole\myconsole.cpp(23) : see declaration of 'A::_c'
1>d:\study\myconsole\myconsole\myconsole.cpp(17) : error C2166: l-value specifies const object

这3个错误包含2个意思:

1. const和引用变量没有初始化;

2. 不可以对const变量_b进行赋值,也可以说const变量不可以当作左值(error C2166: l-value specifies const object)。

现在我们就可以知道了,其实在构造函数里面调用等于号并不是真正意义上的“初始化”。这个过程相当于:

1. 系统创建成员变量;

2. 创建完后再进行赋值操作。

而在构造函数后面跟冒号,就相当于:

1. 系统创建成员变量并且初始化。也就是系统为成员变量分配了一块内存并且把相应的数据给填了进去。而构造函数里面调用等于号的方式是分配好后再进行赋值,多了一个步骤。

 下面我们再来做一个实验:

class A
{
public:
	A(int& c): _b(2), _c(c)
	{
		_a = 1;
	}
protected:
	int _a;
	const int _b;
	int& _c;

};

class B
{
public:
	B(int& c):_objA(c)
	{
		printf("B constructor\n");
	}

protected:
	A _objA;
};



int _tmain(int argc, _TCHAR* argv[])
{
	int number = 3;
	B obj2(number);

	return 0;
}

类B里面有个一个类A的对象,在类B的构造函数里面用冒号来初始化成员_objA。那么_objA是什么时候被初始化的呢?有图有真相:


 

 从callstack里面可以清楚的看到:

1. 进入B的构造函数;

2. 进入A的构造函数。

也就是说冒号后面的代码是在一进入构造函数的时候就被调用了。

然后从左下角的Watch里面也可以看到,在系统调用构造函数括号里面的第一行代码之前,_a,_b, _c就已经分配好了。我们可以看到_a是个没有初始化过的值(系统自己生成了一个),_b和_c都是我们初始化的。那么我可以得出一个结论:

构造函数后面跟的冒号代码是在进入构造函数并且在括号里面的第一行代码之前被执行。

 

假如在B的构造函数里面不显式初始化_objA,会发生什么事呢?用代码模拟一下就知道了,系统会调用A的默认构造函数来初始化_objA。

 

好了,讲完了。通俗的讲,构造函数后面的冒号就是初始化,而括号里面的等于号并不是初始化,而是变量生成以后的赋值而已(永远都是2个步骤)。

 

附:

本文前面我提到一句话:const和引用不可以被赋值,只能被初始化。可能会有些朋友对这句话有意见,看下面的代码,这段代码是正确的,没有问题。那么怎么说不能被赋值呢?其实b=12只是把a的内容给改掉了(a和b的值都是12),而不是把引用b指向另外一个变量。换句话说:引用b初始化完成后,就永远指向初始化时候的那个变量,无法再改变了。我这里的“引用不可以被赋值”是指不能给引用本身赋值来改变它的指向,并不是说不可以改变引用指向的内存的内容。可能言语上面会有不同的理解,但是只要知道是这么回事情就可以了。

int _tmain(int argc, _TCHAR* argv[])
{
	int a = 1;
	int& b = a;
	b = 12;

	return 0;
}


 

C++构造函数后面的冒号

构造函数后加冒号是初始化表达式: 有四种情况下应该使用初始化表达式来初始化成员: 1:初始化const成员 2:初始化引用成员 3:当调用基类的构造函数,而它拥有一组参数时 4:当调用成员类...
  • kaixinbingju
  • kaixinbingju
  • 2013年06月14日 14:09
  • 14733

c++ 构造函数后面加冒号

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 1...
  • u012138828
  • u012138828
  • 2014年08月06日 22:11
  • 2518

C++ 构造函数后面的冒号的作用

其实冒号后的内容是初始化成员列表,一般有三种情况:     1、对含有对象成员的对象进行初始化,例如,     类line有两个私有对象成员startpoint、endpoint,line的构造函...
  • u011258240
  • u011258240
  • 2016年09月18日 09:31
  • 1365

C++中构造函数,拷贝构造函数和赋值函数的区别和实现

C++中一般创建对象,拷贝或赋值的方式有构造函数,拷贝构造函数,赋值函数这三种方法。 构造函数就是当创建一个类的对象时,它被调用来对类的数据成员进行初始化和分配内存。拷贝构造函数是一种特殊的构造函数,...
  • zcyzsy
  • zcyzsy
  • 2016年08月05日 21:54
  • 10766

默认构造函数、构造函数、复制构造函数和赋值操作符

1默认构造函数 当一个类没有任何构造函数时,编译器将会合成一个默认构造函数。 那么编译器合成的默认构造函数是做什么用的呢?是初始化类的成员变量吗? 事实上不是。编译器合成的默认构造函数只是满足编...
  • KangRoger
  • KangRoger
  • 2014年05月25日 21:18
  • 2542

C++类成员的初始化

C++成员的初始化C++包括的类成员主要由以下几种: 非静态非常量数据成员 非静态常量数据成员 静态非常量数据成员 静态常量数据成员 静态成员不能在类内初始化在C++中,类的静态成员(static m...
  • csuxian
  • csuxian
  • 2016年03月29日 13:00
  • 3075

C++类中的数据成员能否在定义类的时候就初始化?

class A{ private: int a=1; }; 即上述关于类的定义正确与否?一般而言,类中的数据成员在定义类的时候是不能初始化的。这是一个可以值得探讨的话题,每个人的解释都不...
  • Tsinting
  • Tsinting
  • 2017年03月06日 17:31
  • 1946

c++类对象初始化方式总结

在《inside the c++ object model》一书中谈到copy constructor的构造操作,有三种情况下,会以一个object的内容作为另一个object的初值: 第一种情况:...
  • caoyan_12727
  • caoyan_12727
  • 2016年09月08日 11:39
  • 7593

C++类成员的初始化

1、关于构造函数 1)用构造函数确保初始化 对于一个空类 class Empty { };编译器会自动声明4个默认函数:构造函数,拷贝构造函数,赋值函数,析构函数(当然,如果不想使用自动生成的函...
  • coder_xia
  • coder_xia
  • 2012年04月11日 10:02
  • 53609

C++构造函数后面的冒号

 构造函数后加冒号是初始化表达式: 有四种情况下应该使用初始化表达式来初始化成员: 1:初始化const成员 2:初始化引用成员 3:当调用基类的构造函数,而它拥有一组参数时 4:当调...
  • hao95165
  • hao95165
  • 2016年10月11日 12:42
  • 457
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:C++类成员冒号初始化以及构造函数内赋值
举报原因:
原因补充:

(最多只允许输入30个字)