Как вызвать конструктор копирования всех базовых классов для копирования объекта большинства производных классов при наследовании бриллиантов в С++?

Во-первых, давайте изменим ваше наследование, поскольку в настоящее время оно является частным:

class B : virtual protected A {...};
class C : virtual protected A {...};

Теперь в конструкторе копирования явно укажите, что должны вызываться конструкторы копирования A, B и C:

class D : protected B, protected C {
    D(const D & obj) : A(obj), B(obj), C(obj) {cout << "8";}
};

И на выходе будет по желанию (2468).

Почему?

Когда у нас есть виртуальные базовые классы, они должны быть инициализированы самым производным классом, иначе возникнет двусмысленность относительно того, например, B или C отвечает за построение A.

§12.6.2, (13.1):

В конструкторе без делегирования инициализация выполняется в следующем порядке:

• Во-первых, и только для конструктора самого производного класса (1.8), виртуальные базовые классы инициализируются в том порядке, в котором они появляются при обходе в глубину слева направо ориентированного ациклического графа базовых классов, где «лево- вправо» — это порядок появления базовых классов в списке базовых спецификаторов производного класса.

В частности, если вы определяете конструктор копирования и опускаете список конструкторов копирования, которые он должен вызывать, то будут использоваться конструкторы по умолчанию.

Как вы унаследовали свои классы, все они используют наследование private.

Изменив наследование B от A и C от A на protected или public, вы можете решить проблему.

class B : protected virtual A
{
   ...
}

class C : protected virtual A
{
   ...
}

or

class B : public virtual A
{
   ...
}

class C : public virtual A
{
   ...
}

а затем обновите конструктор копирования D до:

D(const D & obj) : A(obj), B(obj), C(obj) {cout <<"8";}

PS Меня смущает, что конструктор по умолчанию работает даже с наследованием private.

Альтернативное решение, не требующее изменения модификаторов наследования класса B или C:

class A
{
public:
     A() {cout << "1";}
     A(const A &obj) {cout << "2";}
};

class B: virtual A
{
public:
    B() {cout << "3";}
    B(const B & obj) {cout<< "4";}
};

class C: virtual A
{
public:
   C() {cout << "5";}
   C(const C & obj) {cout << "6";}
};

class D:B,C,virtual A
{
public:
    D() {cout << "7";}
    D(const D & obj) : A(obj), B(obj), C(obj) {cout << "8";}
};

Относительно проверки доступа для конструкторов: из [class.access]/6

Все элементы управления доступом в пункте [class.access] влияют на возможность доступа к имени члена класса из объявления конкретной сущности... [ Примечание: этот доступ также применяется к неявным ссылкам на конструкторы, преобразованию функции и деструкторы. — конец примечания]

аналогично [class.access]/4

Специальные функции-члены подчиняются обычным правилам доступа. [ Пример: объявление конструктора protected гарантирует, что только производные классы и друзья могут создавать объекты с его помощью. — конечный пример ]

Относительно инициализации подобъекта базового класса: from [class.base.init]/9< /а>

Отсутствие какого-либо ctor-initializer для подобъекта базового класса означает, что подобъект инициализируется по умолчанию; из [dcl.init]/7

Инициализация по умолчанию объекта типа T означает: ... Выбранный таким образом конструктор вызывается с пустым списком аргументов для инициализации объекта.

Таким образом, отсутствие какой-либо базы в ctor-initializer является запросом на инициализацию по умолчанию для этой базы, что означает вызов конструктора по умолчанию.

Отсутствие упоминания базового класса не имеет значения; в любом случае конструктор не имеет имени и не назван в ctor-initializer, на него ссылаются либо явно, либо неявно. В стандарте ничего не говорится о том, что контроль доступа не должен выполняться в таком случае.

Похоже, что конструктор из недоступного базового класса не может быть вызван в любом случае, поэтому ваша программа не должна компилироваться.

В любом случае можно изменить наследование с приватного на защищенное, даже добавить путь к виртуальному базовому классу:

class D: B, C, virtual A
{

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