什么是多重重继承？

我将以下称为“多重重新继承”：

• 直接继承一个类一次，并通过继承其一个或多个后代来间接继承一次或多次
• 通过继承一个类的两个或多个后代来间接继承一个类两次或多次

我想知道它是否存在以及如何明确访问嵌入的子对象。

1.) [Professional C++, 2^nd ed.]^† states a compilable program can't have a class that directly inherits both its immediate parent and said parent's parent class. Is it true?

Given a GrandParent and Parent，这延伸了GrandParent、VC12 和 g++ 允许GrandChild直接继承两者Parent and GrandParent。在 VC12 和 g++ 中，可以按如下方式定义这些类：

GrandParent声明一个int num数据成员。Parent宣布自己的num除了继承GrandParent's num. GrandChild宣布自己的num除了继承Parent's and GrandParent's nums.

VC12 似乎允许全面明确的成员访问，但 g++ 只允许在某些情况下使用。

#include <iostream>
using std::cout;
using std::endl;

struct GrandParent { int num; };
struct Parent : GrandParent { int num; };
struct GrandChild : GrandParent, Parent { int num; };

int main()
{
    GrandChild gc;
    gc.num = 2;
    gc.Parent::num = 1;
    gc.Parent::GrandParent::num = 0; // g++ error: ‘GrandParent’ is an ambiguous base of ‘GrandChild’
    gc.GrandParent::num = 5;         // g++ error: ‘GrandParent’ is an ambiguous base of ‘GrandChild’

                                                 // --VC12 output; g++ output--
    cout << gc.num << endl;                      // 2 ; 2
    cout << gc.Parent::num << endl;              // 1 ; 1
    cout << gc.Parent::GrandParent::num << endl; // 0 ; N/A due to above error
    cout << gc.GrandParent::num << endl;         // 5 ; N/A due to above error
}

2.) 为什么是(a)gc.Parent::GrandParent::num当 (b) 时，g++ 中不明确gc.Parent::num不是吗？ (a) 唯一地描述了它在继承树上的位置。gc只有 1 个Parent子对象，只有 1GrandParent子对象，只有 1num。对于（b），gc有一个Parent，它有自己的num但也是一个GrandParent子对象与另一个num.

3.) For gc.GrandParent::num，看来 VC12 正在研究gc是即时的GrandParent后者的基础子对象num。我猜它之所以明确是因为它是由以下条件限定的名称查找gc，所以右边的实体.首先在中查找gc的范围，以及最直接的GrandParent to gc的作用域是直接继承的作用域，而不是通过间接继承的作用域Parent。我错了吗？

4.) 为什么是gc.GrandParent::num与 g++ 不明确时gc.Parent::num不是吗？如果其中一个是模棱两可的，那么两者不应该同样模棱两可吗？对于之前的情况，gc有两个GrandParents；对于后者，Parent has 2 nums.

^†Gregoire, Marc R. et al. Professional C++, 2^nd ed. Indianapolis, IN: Wiley Pubishing, 2011. p. 241. Print.

对此的通用术语是钻石图案 (or 钻石问题 https://en.wikipedia.org/wiki/Multiple_inheritance#The_diamond_problem).

这本身并不是一个错误，但正如此处的注释中所指出的，任何访问在层次结构中其他地方重复的直接基数的尝试都会导致歧义错误。

一种解决方法是使基数间接。 C++11 中新的继承构造函数功能允许完美的包装器：

template< typename base, typename tag >
struct disambiguated_base : base
    { using base::base; };

给定未使用的标记类型，这会生成一个从给定基派生且功能相同的新类。标签类型可能是由详细类型说明符表示的不完整类：

struct GrandChild : Parent,
    disambiguated_base< GrandParent, class grandchild_grandparent_tag > {

    typedef disambiguated_base< GrandParent, grandchild_grandparent_tag >
        my_direct_grandparent;

    int num;
};

Now GrandChild可以使用my_direct_grandparent::消除成员访问的歧义。