初始化列表

1.在创建对象时，编译器通过调用构造函数，给对象中各个成员变量一个合适的初始值。

class A
{
public:
  A(int a,int b)
  {
  	_a=a;
  	_b=b;
  }
  
  private:
  	int _a;
  	int _b;
};

虽然上述构造函数调用之后，对象中已经有一个初始值，但是不能将其称为对对象成员变量的初始化，因为初始化只能初始化一次，但是构造函数体内可以多次赋值。

那如果想要初始化对象中的成员变量该怎么办呢？这时候就有初始化列表了。

为了方便理解，构造函数可以分成两部分：初始化列表和函数体（用花括号括起来的部分就是函数体）

2.初始化列表

初始化列表可以理解为每个对象成员定义的地方。(这句话对于后面的一些理解非常重要)

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

class A
{
public:
  A(int a,int b)//构造函数 
   :_a(a)     //构造函数的初始化列表
   ,_b(b)

  {           
              //构造函数的函数体（有三类不能放在函数体初始化，文章下面会提及）
  	_a=a;
  	_b=b;
  }
  
  A(int a,int b)//初始化列表 
	
	{}

  private:
  	int _a;
  	int _b;
};

注意：

①每个成员变量只能在初始化列表中出现一次（初始化只能初始化一次）

②所有成员可在初始化列表初始化，也可在函数体内初始化，除了下面三类

③引用成员变量、const成员变量、没有默认构造函数时的自定义类型成员，以上三类必须放在初始化列表的位置初始化

引用成员变量的特性中有一点：引用必须在声明时初始化。这意味着我们必须在构造函数的初始化列表中初始化引用成员变量。

const成员变量必须在定义时初始化，而初始化列表是每个对象成员定义的地方。

如果还是不能理解，看下面：

因为在进入构造函数体内时，引用变量和const变量都已经用不确定的值初始化了，构造函数的函数体内能做的只有赋值，而const类型和引用类型是不可以赋值的。所以，需要在初始化列表中初始化。

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

private:
 int _a;
};


class B
{
public:
 B(int a, int ref)
 :_aobj(a)
 ,_ref(ref)
 ,_n(10)
 {}

private:
 A _aobj;  // 没有默认构造函数
 int& _ref;  // 引用
 const int _n; // const 
};

④尽量使用初始化列表初始化，因为不管你是否使用初始化列表，对于自定义类型成员变量，一定会先使用初始化列表初始化。

自定义类型成员会调用默认构造。

class Time
{
public:
 Time(int hour = 0)
 :_hour(hour)
 {
 cout << "Time()" << endl;
 }

private:
   int _hour;
};

class Date
{
public:
 Date(int day)
 {}

private:
 int _day;
 Time _t;
};
int main()
{
    Date d(1);
}

⑤成员变量在类中声明次序就是其在初始化列表中的初始化顺序，与其在初始化列表中的先后次序无关

#include<iostream>
using namespace std;
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();
}

编译结果：

 

如果以我们的思路分析代码，我大约会觉得输出结果是：1   1

但实际是1和随机值，这涉及到对象模型（感兴趣的可以自行去了解），成员的存储按声明的顺序存储。