多继承与虚拟继承

一、多继承

形式：
class 派生类名：[继承方式1] 基类名1,[继承方式2] 基类名2,…{//…};
多继承方式下成员函数名的二义性：多继承方式下，派生类继承了多个基类成员，当两个不同基类拥有同名成员时，容易产生名字冲突问题。
在这种情况下，应该用类域限定符明确指出调用函数所属的基类。如果调用源于基类A中的函数f(),应明确地写成obj.A::f()，调用B中的函数f()，就应该写成obj.B::f()。

二、虚拟继承

虚拟继承引入的原因

C++在解析派生类的成员函数时，按照以下次序查找成员函数所属的类：

• 在派生类中查找该函数，若找到就确定该函数是派生类的成员函数
• 如果在派生类中没有找到改成员函数，就在基类中查找该函数
  在单继承方式下，这种解析方式能够正确地找到成员函数所属类的对象，但在多继承方式下，当一个类从多个基类派生，而这些基类又从同一个类派生，这种解析方式就会产生成员名字的二义性和数据的不一致性。
  如:

class Person
{
public:
    void setName(string Name);
    //...
};
class Student:public Person{//...};
class Employee:public Person{//...};
class StuEmployee:public Student,public Employee{//...}

StuEmployee 类从Student和Employee多重派生，它具有这两个类的数据成员和成员函数的一份拷贝，StuEmployee类拥有Person类的两份成员，这类继承容易使派生类对象的成员解析产生二义性。比如
StuEmployee s;
s.setName(“李四”);
对于成员函数s.setName(“李四”)的调用，按照前面的解析方法，编译器首先在StuEmployee的类成员中查找，结果没找到，接着在其基类中查找，在Student和Employee中都找到了成员函数serName(string)，编译器不能确定应该调用哪个基类的成员函数serName(string)，因此产生二义性名字冲突。
解决办法之一：跟前面所讲相同，指明成员函数调用的所属类，比如：
s.Student::setName(“李四”);或s.Employee::setName(“李四”);
但是，这样的调用方式未解决本质问题，在同一个对象s中存在Person的两份数据成员，容易产生数据的不一致性。这是引入虚拟继承的根本原因。

虚拟继承的实现

class A
{
private:
    int a;
public:
    A(int i){ a = i; cout << "constructor A...a=" << a << endl; }
    void print(){ cout <<"a="<< a << endl; }
};
class B
{
private:
    int b;
public:
    B(int i){ b = i; cout << "constructor B...b=" << b << endl; }
};
class B1 :virtual public B,virtual public A
{
public:
    B1(int b1):B(b1),A(b1){ cout << "constructor B1..." << endl; }
};
class B2 :public A,virtual public B
{
public:
    B2(int b2) :B(b2),A(b2){ cout << "constructor B2..." << endl; }
};
class D :public B1, public B2
{
private:
    A obj_a;
public:
    //此处需要调用A的构造函数是因为A是B1的虚拟基类，必须由最终派生类初始化，
    //但由于A不是B2的虚拟基类，因此D中有两份A的成员拷贝，访问A的构造函数需要限定符
    //此处有疑问：若将B1::A(i)改写成B2::A(i)程序也能运行，且结果不变
    D(int i, int b1, int b2,int aa) :B1(b1), B2(b2), B(i), B1::A(i),obj_a(aa)  //这里必须对B和A初始化
    {
        cout << "constructor D..." << endl;
    }
};
int _tmain(int argc, _TCHAR* argv[])
{
    D d(0,1,2,3);
    d.B1::print();//由于A不是B2的虚拟基类，因此D中有两份A的成员拷贝，访问A的成员函数需要限定符
    d.B2::print();
    return 0;
}