（笔记）：构造函数之初始化列表

一、为了更好的说明初始化列表，首先由一个错误的代码引入：

#include<iostream>
 
#include"string.h"
using namespace std;

class Student
{
    private:
    int Num,Chinese,Maths,English;
    float Total;
    char Name[20];
    public:
        Student(){}//默认构造函数 
         Student(char name[20],int num,int chinese,int maths,int english);

};
Student::Student(char name[20],int num,int chinese,int maths,int english){
    int n;
    for(n=0;n<strlen(name);n++)
        Name[n]=name[n];
    Num=num;
    Chinese=chinese;
    English=english;
    Maths=maths;
    Total=maths+chinese+english;
}
 
int main()
{
    int i,j;
    int num,chinese,maths,english;
    char name[20];
    Student std[5];//因为有了默认构造函数所以此时编译可以通过
        
    for(i=0;i<5;i++)
    {
        cin>>name[20]>>num>>chinese>>maths>>english;
        std[i](name[20],num,chinese,maths,english);
        for(j=0;j<20;j++)
        name[j]='';    
        
    }
}

上面代码在编译的时候出现一个错误提示:
[Error] no match for call to '(Student) (char&, int&, int&, int&, int&)'
该错误定位到下面这行std[i](name[20],num,chinese,maths,english);该段代码错误的原因是误认为先定义一个Student 的数组，之后调用构造函数来进行赋值，实际上，构造函数是在Student std[5];这句定义的时候就调用默认构造函数初始化了 (如果读者不明白构造函数的执行过程请参考我的上篇笔记)。所有构造函数（可以是默认构造或者非平凡构造）都是在定义的时候就调用，定义以后的调用就不叫初始化了，而是赋值。写这个错误代码的人，明显是没有理解构造函数是怎么执行的，
他的目的是通过循环依次调用构造函数来进行初始化。当然我们可以按照他的想法来进行"正确"的编写代码，将上面的错误行出修改为std[i].Student(name[20],num,chinese,maths,english);

这样看起来才像是对象本身来调用构造函数进行初始化。遗憾的是，这样也是无法编译的，出现下面的错误信息:
[Error] invalid use of 'Student::Student'

出现这样的错误是因为，C++本身就要求在定义的时候系统自动调用构造函数，而对象是不能调用构造函数的。

解决方案:

1、可以在定义的时候直接初始化，为了方便的说明问题，我们把上面的Student std[5];这句代码中改为1个数组元素，for循环去掉，
就变成下面的代码了（这段代码仅仅c++11支持）：

#include<iostream>
 
#include"string.h"
using namespace std;

class Student
{
    private:
    int Num,Chinese,Maths,English;
    float Total;
    char Name[20];
    public:
        Student(){}//默认构造函数 
         Student(char name[20],int num,int chinese,int maths,int english);

};
Student::Student(char name[20],int num,int chinese,int maths,int english){
    int n;
    for(n=0;n<strlen(name);n++)
        Name[n]=name[n];
    Num=num;
    Chinese=chinese;
    English=english;
    Maths=maths;
    Total=maths+chinese+english;
}
 
int main()
{
    int i,j;
    int num,chinese,maths,english;
    char name[20];
    Student std[1] = { { name,num,chinese,maths,english} };
        

}

2、还可以定义一系列指针，然后再每次构造的时候调用new来构造类对象。
如：

Student *std[5];
for(i=0;i<5;i++)
{
cin>>name[20]>>num>>chinese>>maths>>english;
std[i]=new Student(name,num,chinese,maths,english);
*/ 

为了更好的看到new对象的时候，构造函数是怎么执行的，简单的更改一下上面的代码如下：

#include<iostream>
 
#include"string.h"
using namespace std;

class Student
{
    private:
    int Num,Chinese,Maths,English ;
    float Total;
    public:
        Student(){}//默认构造函数 
         Student( int num );

};
Student::Student(int num ){
    
    cout<<"第" << num <<"个构造函数" <<endl; 
    Num = num;
    cout<<"Num = "<<num<<endl;
}
 
int main()
{
    int i;
    int num,chinese,maths,english;

    Student *std[5];
    for(i=0;i<5;i++)
    {
        std[i]=new Student( i );//每申请一块内存就自动调用构造函数     
    }
}

结果如图所示:

通过上面的错误实例，我们发现有些代码出现错误的原因就是没有理解好构造函数的执行过程。不知道你有没有发现
我在上面的代码中总是在构造函数的内部，对Student类的成员变量进行赋值，这里严格来说并不是初始化（有关初始化概念请参考上篇笔记），
这是一个赋值计算的过程，在定义一个变量的时候自动的执行构造函数里面的赋值代码。

二、面引出初始化列表。

形如下面的代码：在构造函数的后面有个 : 符号，后面紧跟着对成员变量的初始化。

class Student
{
    private:
    int m_num,m_maths ;
    public:
        Student(){}//默认构造函数 
        Student(int num,int maths  ):m_num(num),m_maths(maths)
        {
            
            cout<<"进入计算阶段" <<endl; 
            cout<<"m_num = "<<num<<endl;
        } 

};

为了更好的了解初始化列表，首先我们要知道，构造函数的执行可以分成两个阶段，初始化阶段和计算阶段，初始化阶段先于计算阶段。而初始化阶段就是对应着初始化列表那部分，而计算阶段就是构造函数的函数体部分。初始化阶段先于计算阶段执行，如下面程序:

#include<iostream>
 
#include"string.h"
using namespace std;

class Student
{
    private:
    int m_num,m_maths ;
    public:
        Student(){}//默认构造函数 
         Student(int num,int maths );
};
Student::Student(int num,int maths  ):m_num(num),m_maths(maths)
{
    cout<<"进入计算阶段前m_num = "<<m_num <<endl; 
    this->m_num = 2;
    cout<<"进入计算阶段后查看m_um = "<<m_num<<endl;
}
 
int main()
{
    
    Student A(1,2); 
}

试验结果图如下：

从图中可以看出，在进入计算阶段前我们看到了m_num的值变为了1，在计算阶段后m_num变为了2，所以说初始化阶段先于计算阶段完成。

下面说明一下初始化列表的优点：它比在构造函数计算阶段（函数体内）进行赋值效率更高（仅仅针对类类型的变量）。下面有两段代码和相应的结果图片，代码2是在代码1的基础上更改了Student2的构造函数为初始化列表形式。

代码1：

#include<iostream>
 
using namespace std;

class Student1 {
    public:
        int a;
            
         Student1()                         // 无参构造函数
        { 
            cout << "默认构造函数Student1" << endl ;
        }
    
        Student1(const Student1& t1) // 拷贝构造函数
        {
            cout << "拷贝构造函数Student1" << endl ;
            this->a = t1.a ;
        }
    
        Student1& operator = (const Student1& t1) // 赋值运算符
        {
            cout << "赋值函数Student1" << endl ;
            this->a = t1.a ;
            return *this;
        }
 };
class Student2
{
    public:
     
    Student1 test ;
    Student2(Student1 &t1){            //图1结果 
        test  = t1 ;
    }
};
int main()
{
    
    Student1 A;
    Student2 B(A);

}

代码2：

#include<iostream>
 
using namespace std;

class Student1 {
    public:
        int a;
            
         Student1()                         // 无参构造函数
        { 
            cout << "默认构造函数Student1" << endl ;
        }
    
        Student1(const Student1& t1) // 拷贝构造函数
        {
            cout << "拷贝构造函数Student1" << endl ;
            this->a = t1.a ;
        }
    
        Student1& operator = (const Student1& t1) // 赋值运算符
        {
            cout << "赋值函数Student1" << endl ;
            this->a = t1.a ;
            return *this;
        }
 };
class Student2
{
    public:
     
    Student1 test ;
     Student2(Student1 &t1):test(t1){}
};
int main()
{
    
    Student1 A;
    Student2 B(A);

} 

代码1图：

代码2图：

从图中可以看出第一段代码的计算结果调用了2次构造函数和1次赋值函数，而代码2结果，调用了1次构造函数和1次拷贝函数。
当代码量比较多的时候会发现，代码2比代码1效率更高。

欢迎大家关注我的微信公众号「佛系师兄」，里面有更多技术文章。

比如

「反复研究好几遍，我才发现关于 CMake 变量还可以这样理解！」

更多好的文章会优先在里面不定期分享！打开微信客户端，扫描下方二维码即可关注！