多继承与虚拟继承

一、多继承

形式：
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;}