Множественное наследование

Question

У меня есть 2 базовых класса (B1 и B2), которые получены из общего базового класса (B), где они имеют общую переменную (пусть: int x; из базы B), на 1-й базе x=0, на 2-й базе x=10 (значения по умолчанию приведены в конструкторах B1, B2).

Визуально:

class B 
{ 
    int x; 

protected: 

    B(int x) : x{x}{} 
}; 

class B1 : public B 
{ 
protected: 

    B1() : B(0){} 
}; 

class B2 : public B 
{ 
protected: 

    B2() : B(10){} 
}; 

Теперь, если я получить еще один класс:

class D : virtual public B1, virtual public B2 
{ 
public: 

    D() : B1{}, B2{}{} 
}; 

Вот только одна копия х будет доступен как в виртуальной концепции, теперь, если я пытаюсь получить доступ к значению х с объектом производного класса, экземпляр x которого я получу в O/p (x=0 или x=10), и почему?

Answer 1

Чтобы использовать виртуальное наследование, база B должна быть объявлена ​​как виртуальная как в B1, так и в B2. Без этого, у вас есть не виртуальное наследование Б.

Если у вас есть не-виртуального наследования, то у вас есть два B базы в D, так что вы не можете получить доступ к x в D без квалификации как B1::x или B2::x

Если у вас есть виртуальное наследование, то у вас есть только один B и один x, поэтому два задания к нему (x=0 и x=10) будет происходить в любом порядке вы сделали их, и в зависимости от того один было позже перезаписать установленное значение по сравнению с предыдущей (как и с простой переменной x wi два назначения).

Answer 2

В вашей установки, как вы есть, B не фактически унаследовали практически, потому что вы должны объявить виртуальное наследование B в обоих B1 и B2 (это всегда должно происходить на самом низком уровне, если две «ветви» как ожидается, будет объединено выше в иерархии наследования классов), т.е.

class B1 : virtual public B 
{ 
protected: 

    B1() : B(0){} 
}; 

class B2 : virtual public B 
{ 
protected: 

    B2() : B(10){} 
}; 

Если вы сделаете это, инициализация B была бы совершенно иной, потому что есть специальные правила для построения виртуальных базовых классов:

В виртуальном наследовании виртуальный базовый класс всегда инициализируется самым производным классом . Таким образом, как вы реализовали конструктор D в

D() : B1(), B2(){} 

и поэтому не называйте свой B конструктор явно, компилятор будет считать, что вы хотите вызвать B конструктору по умолчанию. Но ваш класс B не имеет конструктор по умолчанию, так что вы получите ошибку компиляции, как это:

prog.cpp: In constructor ‘D::D()’: 
prog.cpp:31:20: error: no matching function for call to ‘B::B()’ 
    D() : B1(), B2(){} 
        ^

Таким образом, вы должны сделать что-то вроде

class D : public B1, public B2 
{ 
public: 

    D() : B(99), B1(), B2(){} 
}; 

и это также решает свой вопрос : Значение x будет таким, каким хочет этот производный класс (в данном случае 99). Таким образом, нет никакой двусмысленности.

PS: Вы также видите, что ваш вопрос лежит в основе того, почему имеет смысл иметь специальное правило о построении виртуального базового класса по самому производному классу.