C++ —— 再谈构造函数之初始化列表

总述

本篇博客将主要讲解构造函数中的一个知识点——初始化列表，详细描述为什么要有初始化列表，初始化列表的语法是什么样的以及如何使用初始化列表。

再谈构造函数

在创建对象时，我们经常要给对象中每一个成员赋一个初始值,而这种赋值的方法有两种，一种就是我们所熟知的构造函数体赋值，而另一中就是该篇博客将要讲解的初始化列表。

我们首先以日期类为例，来回忆一下以前使用构造函数时如何在函数体内赋值的。

class Date
{
private:
	int _year;
	int _month;
	int _day;
public:
	Date(int year, int month, int day)
	{
		_year = year;
		_month = month;
		_day = day;
	}
};

虽然上述函数调用之后，对象中已经有了一个初始值，但是不能将其称为对象中成员变量的初始化（也可以说时成员变量定义的地方），构造函数体中的语句只能将其称为赋初值，而不能称作初始化。因为初始化只能初始化一次，而构造函数体内可以多次赋值。
也就是说，在进入构造函数函数体之前，成员变量就已经被定义好了，但是成员变量到底是在哪里定义的呢？

另外，如果该类里面有const成员变量或者是引用变量
(这两类变量都有一个特点，就是必须得在定义变量的同时初始化)，这时如果我们使用函数体内赋值，就会发现编译器会报错，这也同时说明了上面的性质。

class date
{
private:
		const int _months;
		//......
public:
		date(int months)
		{
			_months = months;
			//此处编译器会报错
		}
}；

---

那么，类成员变量的地方到底在哪里呢？又该如何解决引用和const变量初始化的问题呢？这就要引出我们今天的主角——初始化列表了！

初始化列表

初始化列表：以一个冒号开始，接着是一个以逗号分隔的数据成员列表，每个"成员变量"后面跟一个放在括号中的初始值或表达式。

看下面的例子:

class Date
{
private:
	int _year;
	int _month;
	int _day;
	const int _months;
public:
	Date(int year, int month, int day, int months)
		:_year(year)
		,_month(month)
		,_day(day)
		,_months(months)
		{}
};

是的，通过初始化列表的形式，就能够解决引用，const成员变量的初始化问题了，并且这也说明了类成员初始化（定义）的地方就是初始化列表！

注意事项

1. 每个成员变量在初始化列表中只能出现一次(初始化只能初始化一次)
2. 类中包含一下成员，必须放在初始化列表位置进行初始化：
   • 引用成员变量
   • const成员变量
   • 没有默认构造函数的自定义类型成员

class A
{
private:
	int _a;
public:
	A(int a)
		:_a(a)
		{}
};

class B
{
private:
	A _obj;       //该函数没有默认构造函数
	int& _rb;      //引用
	const int _n; //const
public:
	B(int a, int rb)
		:_obj(a)   //调用A的构造函数
		,_rb(rb)
		,_n(10)
		{}
};

这里讲解一下为什么没有默认构造函数的自定义类型成员一定要使用初始化列表初始化？

这是由于类成员变量也只能在创建时(不使用初始化列表)调用其构造函数，如果该类成员有默认构造函数，则会自动调用默认构造函数，如果没有默认构造函数，就无法完成类成员的初始化(定义),因此必须使用初始化列表进行初始化。

初始化列表的优势

我们应该尽量使用初始化列表初始化，因为不管你是否使用初始化列表，对于自定义类型成员变量，一定会在进入构造函数函数体前使用初始化列表初始化。直接使用初始化列表进行初始化效率相对更高！

初始化列表的细节

对于初始化列表，有一个很容易弄错的蒂娜就是成员变量在类中声明次序就是其在初始化列表中的初始化顺序，与其在初始化列表中的先后顺序无关。

看下面一段代码：

class A 
{
public: 
	A(int a) 
		:_a1(a)
		,_a2(_a1)
	{}
	void Print() 
	{ 
		cout<<_a1<<" "<<_a2<<endl;
	}
private: 
	int _a2;
 	int _a1;
};
int main() 
{ 
	A aa(1);
	aa.Print();
	//这里的print将会输出什么呢？
}

答案的输出结果是 1 随机值，原因就是该类在声明时的顺序是先声明_a2再声明_a1，所以将会先进行_a2的初始化，与初始化列表的顺序无关！

因此，在使用初始化列表语法时，应尽量保持声明与初始化列表顺序相同，更不容易发生错误！

初始化列表的局限

可能有人会想，既然初始化列表如此好用，为什么不直接使用初始化列表，还需要函数体内赋值干嘛呢？

这里就需要注意到，初始化列表也有其局限性,看下面一段代码:

typedef int DataType;
class Stack {
public:
	//假设需要将_array内的内容全部初始化为0，能完全用初始化列表吗？
	Stack(size_t capacity = 3)
		:_capcity(capcity)
		,_array(new DataType[capcity]) 
		,_size(0)
	{
		memset(_array,0,sizeof(DateType)*capcity);
	}
	void Push(DataType data) 
	{
		// CheckCapacity(); 
		_array[_size] = data; 
		_size++;
	} 
// 其他方法...
	~Stack() 
	{
		if (_array) 
	{
		free(_array);
 		_array = NULL;
 		_capacity = 0;
  		_size = 0;
	} 
} 
private:
	int _capacity; 
	DataType* _array;
	int _size;
};
void TestStack() 
{
	Stack s;
	s.Push(1);
	s.Push(2);
}

上述例子就可以看到，初始化列表并不能满足所有的需求，在日常写工程时，最好的方法是两种功能协同使用，这样才是最好的！

---

以上就是关于初始化列表的大体内容了，如果发现博主有哪里写的不对的地方，还请大家能够在评论区指出，或者有哪里有疑问也可以在评论区提出疑惑哦！博主都会一一解答的！