码迷,mamicode.com
首页 > 编程语言 > 详细

C++ 初始化形式、变量初始化规则、类构造函数的初始化列表

时间:2015-04-25 00:19:18      阅读:296      评论:0      收藏:0      [点我收藏+]

标签:c   c++   初始化   初始化列表   初始化规则   

类构造函数的初始化列表,举例

一个对象的构造分两部分,首先是分配空间,然后初始化。

只要有对象生成,不管是以什么形式生成,都会调用构造函数进行初始化。

然后下面有个例子,在蓝色区域Big类的复制构造函数中,使用初始化列表进行成员的初始化(方法1)没有问题,而如果不使用初始化列表、直接在函数里用里面注释掉的代码(方法2)则会报错:Base类没有合适的构造函数。

// W3-课程作业2-4.cpp : Defines the entry point for the console application.
#include "stdafx.h"
//下面程序的输出结果是:
//5, 5
//5, 5
//请填空:

#include <iostream>
using namespace std;
class Base {
public:
	int k;
	Base(int n) :k(n) { }
};
class Big  {
public:
	int v; Base b;
	// 在此处补充你的代码
	//Big ________________{}
	//Big ________________{}
	Big(int n) :v(n), b(n) {}
	
	<span style="color:#3333ff;">Big(const Big& a) :v(a.v), b(a.b)
	{
		//v = a.v;
		//b = a.b;
	}</span>
};

int _tmain(int argc, _TCHAR* argv[])
{
	Big a1(5);    
	Big a2 = a1;
	cout << a1.v << "," << a1.b.k << endl;
	cout << a2.v << "," << a2.b.k << endl;
	system("pause");
	return 0;
}
错误的原因如下。

构造一个对象时,先要构造这个对象的每一个属性,然后再执行该对象构造函数内部的语句。
初始化列表,其实是定义了如何构造每个属性。而初始化列表中没有列出的属性值,则是按照默认的方法初始化。
因此,对于这个例子而言:
方法1使用初始化列表:采用初始化列表中的b(a.b)构造Base类对象b,即调用了合成的复制构造函数,没有问题;
方法2不使用初始化列表:由于b的构造方法并没有在初始化列表中说明,因此在执行构造函数之前,需要先调用无参构造函数产生一个Base对象b,而这个无参构造函数并不存在,从而产生错误。

另外,之前以为方法2那样,执行b=a.b;时会调用合成的复制构造函数(即使是这样,b也还是没有合适的构造函数初始化。这条语句的时候已经是赋值,而不是初始化),事实上这句是赋值,调用的当然不是复制构造函数,而是执行合成赋值操作符(与合成复制构造函数类似)。这里把概念弄清楚,以后会少犯混的。


事实上,调用复制构造函数有三种情形:(而且复制构造函数本身是构造函数的一种,用来对对象初始化)

  • 定义一个新对象,并用一个同类型的对象对它进行初始化时(显示使用复制构造函数)
  • 当将该类型的对象传递给函数,即给形参初始化(隐式使用复制构造函数)
  • 当从函数返回该类型的对象时,即给返回值对象初始化(隐式使用复制构造函数)
  • (另)初始化顺序容器中的元素
  • (另)根据元素初始化式列表初始化数组元素

派生类对象生成时,要先调用基类的构造函数。有两种方式调用:

  • 显示方式。即在初始化列表中,指明 成员基类对象(基类对象) 这样的方式调用基类的构造函数
  • 隐式方式。即不指明,自动得调用基类的默认构造函数。(你要确保基类有默认构造函数,否则出错)

初始化列表

必须对任何 const 或引用类型成员、以及没有默认构造函数的类类型的成员使用初始化列表。
(记住,可以初始化const对象或引用类型的对象,但不能对它们赋值。在开始执行构造函数的函数体之前,要完成初始化。
初始化const或引用类型数据成员的唯一机会是在构造函数初始化列表中。)


成员初始化的次序

成员被初始化的次序就是声明成员的次序。与构造函数初始化列表无关。(消亡顺序和声明顺序相反,忘了哪看的了。)

C++ 支持两种形式的初始化

  • 复制初始化。用等号。
  • 直接初始化。把初始化式放在括号中。
初始化不是赋值。初始化指创建变量并给它赋初始值,而赋值则是擦除对象的当前值并用新值代替。

当用于类类型对象时,初始化的复制形式和直接形式有所不同。直接初始化直接调用与实参匹配的构造函数,复制初始化总是调用复制构造函数。复制初始化首先使用指定构造函数创建一个临时对象,然后用复制构造函数将那个临时对象复制到正在创建的对象。所以,直接初始化效率高些。

变量初始化规则

  • 内置类型变量的初始化
全局变量初始化为0,局部变量初始化不进行自动初始化,我觉得静态变量应该也是初始化为0
  • 类类型变量的初始化

C++ 区分了声明和定义

定义,用于为变量分配存储空间,还可以为变量指定初始值。变量有且仅有一次定义。

声明,用于向程序表明变量的类型和名字(标识符)。变量可以声明多次。
定义也是声明,当定义变量时我们声明了它的类型和名字。
可以通过使用extern关键字声明变量而不定义它。extern声明不是定义,也不分配存储空间,它只是说明变量定义在程序的其他地方(文件)。

只有当声明也是定义时,声明才可以有初始化式,因为只有定义才分配存储空间。初始化式必须要有存储空间来进行初始化。如果声明有初始化式,那么它可被当作是定义,即使声明标记为extern。

且只有当extern声明位于函数外部时,才可以含有初始化式。

C++ 初始化形式、变量初始化规则、类构造函数的初始化列表

标签:c   c++   初始化   初始化列表   初始化规则   

原文地址:http://blog.csdn.net/buxizhizhou530/article/details/45251879

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!