原文:https://zhuanlan.zhihu.com/p/33004628
下面我们先看例子
1 #include <iostream> 2 using namespace std; 3 class Base 4 { 5 public: 6 Base(int val) 7 { 8 m_num = 0; 9 cout << "create Base(int val)" << endl; 10 } 11 private: 12 int m_num; 13 };
上边的代码,我先定义了一个Base类,并且定义了有一个整型实参的构造函数Base(int val)
1 class BaseChild: public Base 2 { 3 public: 4 BaseChild() 5 { 6 m_num = 0; 7 cout << "create is BaseChild()" << endl; 8 } 9 10 private: 11 int m_num; 12 }; 13 14 int main(int argc, char *argv[]) 15 { 16 BaseChild child; 17 }
上边的代码继承Base,定义了它的默认构造函数
并且在主函数中创建BaseChild的对象child
编译但报如下错误:
这意思是说,没有Base的默认构造函数。
结论1:如果没有定义任何构造函数,C++编译器会自动创建一个默认构造函数。
结论2:如果已经定义了一个构造函数,编译器不会自动创建默认构造函数,只能显式调用该构造函数。
在C++中,当创建一个对象时,编译器要保证调用了所有子对象的构造函数,这是C++强制要求的,也是它的一个机制。
因为在Base中没有定义默认构造函数,只定义了一个有整型参数的构造函数,因此编译器并不会再去生成一个默认的构造函数,而BaseChild继承Base时,又没有显式地指定Base的构造函数,所以编译报错。
如果我们不修改Base,那么,我们用什么办法不去调用默认构造函数,而是显式的调用Base带参构造函数呢。答案就是初始化列表。
C++就为我们提供了这样的语法。即在冒号和这个构造函数定义体的左括号之间可指定基类构造函数,如下:
1 BaseChild():Base(1) 2 { 3 cout << "create is BaseChild()" << endl; 4 }
现在,再编译程序,轻松通过。
当然,初始化列表还可以对类本身的数据成员进行初始化,如对BaseChild成员m_num进行初始化:
1 BaseChild():Base(1), m_num(0){...}
中间要以逗号隔开。
细心的同学,可能会提问,我们平常见到的都是
int m_num = 0;
而刚刚的代码是m_num(0),这是正确的,我们可以认为这就是调用了int类型的构造函数。类似的,new int(2)是一样的道理。
上面是整数类型的赋值,那么,如果是对象之间的赋值呢,例如:
BaseChild child = BaseChild();
其实,这又涉及了另外一个话题,赋值构造函数和编译器的优化。
其具体执行顺序是:
1调用BaseChild构造函数,生成一个临时对象
2给child成员赋值
3创建child对象后,删除临时对象
那么,针对上面的顺序,编译器有可能会优化代码为BaseChild child()直接创建child对象。
最后,总结一下初始化列表吧:
1 因为初始化列表中无法直接初始化基类的数据成员,所以你需要在列表中指定基类的构造函数,如果不指定,编译器则会调用基类的默认构造函数。
2 推荐使用初始化列表,它会比在函数体内初始化派生类成员更快,这是因为在分配内存后,在函数体内又多进行了一次赋值操作。
3 初始化列表并不能指定初始化的顺序,正确的顺序是,首先初始化基类,其次根据派生类成员声明次序依次初始化。