菱形继承中构造函数调用问题

在某一个虚基类的任何一个派生类的构造函数中，都要将该虚基类的构造函数显示列出来。
包含虚基类的派生类对象的构造函数的调用顺序如下：

1. 虚基类的构造函数在非虚基类之前调用。
2. 若同一层次中包含多个虚基类，这些虚基类的构造函数按它们说明的顺序调用。
3. 若虚基类由非虚基类派生而来，则仍然按照先调用基类的构造函数，再调用派生类的构造函数的执行顺序。

#include <iostream>  

using namespace std;  

class base{  
 int x;  
public:  
 base(int i){  
     cout<<(x = i)<<endl;  
 }  
};  

class A1 : virtual base{  
public:  
 A1(int i):base(i){}  
};  

class A2 : virtual base{  
public:  
 A2(int i):base(i){}  
};  

class C: public A1,public A2{  
public:  
 C(int i):A1(i+1),A2(i+2){}  
};  

int main(){  
 C c(1);  
}  

程序报错：找不到base类的默认构造函数
说明：
在类C实例化要调用base的构造函数，因为没有显示给出，所以编译器试图调用base的默认构造函数，但是程序没有提供，所以报错。
当采用虚继承时，最终派生类对象中只有一个虚基类的对象，因此该虚基类的对象只要构造一次即可（由此支持多继承）。而且该构造函数是在最终的派生类构造函数中调用的，中间派生类不调用虚基类的构造函数。
在本例中，要定义C类的对象c，C类的构造函数直接调用base类的构造函数，来构造唯一的对象，虽然该对象也属于c中A1,A2的无名对象，但是A1,A2的构造函数列表中对base构造函数的调用被忽略。
改正方法：
将类C的构造函数改成C(int i):base(i),A1(i+1),A2(i+2){}或者给base类添加默认构造函数都可。
可以看出在A1,A2中对类base的构造函数都没有调用，当然如果直接定义A1或A2的对象，则类base的构造函数要被调用。¹

---

1. 原文章地址https://codepeak.iteye.com/blog/766489 ↩︎