关于C++多层虚继承时构造函数初始化时的特性

可能哪本书已经提到了，不过似乎网上关于这个问题的讨论不多，大部分只是讨论简单的子类和父类的关系，所以记录下。

现有A, B, C类，A是B的父类，B是C的父类，类之间采用的是 **虚继承**(virtual public Base)。

#include <iostream>

using namespace std;

class A
{
public:
	A()
	{
		cout << "A无参" << endl;
	};
	A(int arg)
	{
		cout << "A有参:" << arg << endl;
	}
};

class B : virtual public A
{
public:
	B(int arg) : A(arg)
	{
		cout << "B有参:" << arg << endl;
	}
};

class C : virtual public B
{
public:
	C(int arg) : B(arg)
	{
		cout << "C有参:" << arg << endl;
	}
};
int main()
{
	cout << "---B初始化---" << endl;
	B* testB = new B(2);
	cout << "---C初始化---" << endl;
	C* testC = new C(1);
}

这里的代码本意是C调用B的构造函数，B调用A的构造函数将参数传递下去，预想是A也打印有参信息，不过运行结果如下：

• 如果想要C的构造函数使用的是A的有参版本，需要对这段代码这样修改： 修改前：

C(int arg) : B(arg)
{
	cout << "C有参:" << arg << endl;
}

修改后：

C(int arg) : B(arg), A(arg)
{
	cout << "C有参:" << arg << endl;
}

运行结果：

• 如果C的构造函数是这样的：

C(int arg) : B(arg), A(0)
{
	cout << "C有参:" << arg << endl;
}

运行结果：

结论
C++的派生类在构造过程中选择虚继承基类的构造函数时，只会按照当前派生类选择的方式调用基类构造函数，而其基类定义的要调用哪个构造函数，以及如何调用都被忽略了。
在上面的例子中B类选择调用A类的有参函数就完全被C类忽略了，而且传入A构造函数的参数是什么也是完全由C类决定的。

PS：如果C类没有选择调用A类的哪一个构造函数，则会默认调用A的无参构造函数。（这个特性最初就是因为我认为A类不应该有无参构造函数，但在C类中未指定具体调用A类的哪个构造函数才发现的。）

EDIT：
不是虚继承基类的话不需要（且不能）指定基类构造函数，虚继承是用来解决菱形继承的问题的，所以为了防止一个基类的构造函数在一个子类的构造中被多次调用，就需要显式指定这一次基类构造函数的调用方式。