Виртуальные базовые классы Порядок создания

Question

У меня следующая проблема:

struct A1 { 
    A1() { std::cout << "A1, "; } 
}; 

struct A2 { 
    A2() { std::cout << "A2, "; } 
}; 

struct AA1 : virtual A1, A2 { 
    AA1() { std::cout << "AA1, "; } 
}; 

struct AA2 : A1, virtual A2 { 
    AA2(){ std::cout << "AA2, "; } 
}; 

struct B : AA1, virtual AA2 { 
    B() { std::cout << "B "; } 
}; 

int main() { 
    B b; 
} 

При выполнении этого кода, ответ:

A1 A2 A1 AA2 A2 AA1 B

Я хочу понять, где создается первый A1.

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

Answer 1

Первый A1 является результатом инициализации (виртуальной) базы (не виртуальной) базы AA1 от B.

Все виртуальные основы B инициализируются первым, и они, в порядке, A1, A2 и AA2. (Инициализация AA2 приводит к результату A1 AA2.) Затем идут прямые базы, из которых только один, AA1 (чья инициализация печатает A2 AA1) и, наконец, сам класс, печать B. Сначала все виртуальные базы, а затем только оставшиеся не виртуальные.

Answer 2

B имеет три виртуальных базовых классов: A1, A2 и AA2, и в соответствии с порядком их появления, он будет инициализировать их в таком порядке.

Первый A1 и A2 вы видите Инициализирующие виртуальной базы A1 и A2, но последняя виртуальная база AA2 имеет невиртуальную базу A1, поэтому перед созданием AA2, вам нужно построить еще A1, поэтому у вас есть еще A1 до AA2.

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

#include <iostream> 

struct A1 { 
    A1(const char *s) { std::cout << "A1(" << s << ")\n"; } 
}; 

struct A2 { 
    A2(const char *s) { std::cout << "A2(" << s << ")\n"; } 
}; 

struct AA1 : virtual A1, A2 { 
    AA1(const char *s) : A1("AA1"), A2("AA1") { std::cout << "AA1(" << s << ")\n"; } 
}; 

struct AA2 : A1, virtual A2 { 
    AA2(const char *s) : A1("AA2"), A2("AA2") { std::cout << "AA2(" << s << ")\n"; } 
}; 

struct B : AA1, virtual AA2 { 
    B() : A1("B"), A2("B"), AA1("B"), AA2("B") { std::cout << "B()\n"; } 
}; 

int main() { 
    B b; 
} 

Этот выход будет:

A1(B) 
A2(B) 
A1(AA2) 
AA2(B) 
A2(AA1) 
AA1(B) 
B() 

Вы также можете заметить, что этот код дает предупреждение, потому что:

• Я положил A1 до A2 в конструктор AA2, но A2 будет инициализирован до A1 (потому что это виртуальная база и A1 нет).
• Я положил AA1 до AA2 в конструктор B, но сначала будет инициализирован AA2 (по той же причине).