[Cpp] C++ 虚基类

虚基类

当某类的部分或者是全部基类是从另一个共同基类派生而来时,在这些直接基类从上一层继承而来的成员就拥有同样的名称;
在派生类的对象中,这些同名的数据成员在内存中同时拥有多个副本,同一个函数名会有多个映射;
可以使用作用域分辨率来唯一标识并分别访问他们;
也可以将共同的基类设置成为虚基类,这个时候从不同的路径继承过来的同名数据成员在内存中就只有一个副本,同一个函数名也只有一个映射。 
在多继承的情况下,虚基类的关键字的作用范围和继承方式关键字相同,只对紧跟在后的基类起作用;
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
#include <iostream>
using namespace std;

class Base0
{
 public:
   int var0;
   void func0() { cout << "base0" << endl; }
};

class Base1 : virtual public Base0
{
 public:
   int var1;
   //void func() { cout << "base1" << endl; }
};

class Base2 : virtual public Base0
{
 public:
   int var2;
   //void func() { cout << "base2" << endl; }
};

class Derived : public Base1, public Base2
{
 public:
   int var;
   void func() { cout << "derived" << endl; }
};

int main()
{
   Derived d;
   d.var = 9;
   d.func0();
   return 0;
}

运行结果

虚基类以及其派生类构造函数

如果虚基类声明有非默认形式的带有参数的构造函数,并且没有声明默认形式的构造函数,
此时,在整个继承关系中,直接或者间接的继承虚基类的所有派生类,都必须要在构造函数的成员初始化列表中列出对虚基类的初始化;
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
#include <iostream>
using namespace std;

class Base0
{
 public:
   Base0(int var) : var0(var) {}
   int var0;
   void func0() { cout << "base0" << endl; }
};

class Base1 : virtual public Base0
{
 public:
   Base1(int var) : Base0(var) {}
   int var1;

class Base2 : virtual public Base0
{
 public:
   Base2(int var) : Base0(var) {}
   int var2;
};

class Derived : public Base1, public Base2
{
 public:
   Derived(int var) : Base0(var), Base1(var), Base2(var) {}
   int var;
   void func() { cout << "derived" << endl; }
};

int main()
{
   Derived d(1);
   d.var = 9;
   d.func();
   return 0;
}

运行结果

构造类对象的细节

构造一个类的对象的一般顺序是:
step 1 :  如果该类有直接或者间接的虚基类,则先执行虚基类的构造函数;
step 2 :  如果该类有其他基类,按照继承声明列表中的顺序出现的次序,分别执行他们的构造函数,但在构造函数中,不再执行他们的虚函数的构造函数
step 3 :  按照在类定义中的出现顺序,对派生类中新增成员对象进行初始化。
          对于类类型的成员对象,如果出现在构造函数初始化列表中,则以其中指定的参数执行构造函数,
          如果没有出现,则执行默认构造函数;
          对于基本的数据类型的成员对象,如果出现在构造函数的初始化列表中,则使用其中指定的之为其赋初值,否则什么也不做。
step 4 :  执行构造函数的函数体;