Неявно вызов конструктора недоступного виртуального базового класса

Question

Рассмотрим приведенный ниже код. И g ++, и clang ++ жалуются (правильно), что конструктор A(int) является приватным в классе D. Обратите внимание, что поскольку A является виртуальным базовым классом D, A должен быть инициализирован в mem-initializer класса D, который является самым производным классом, согласно §12.6.2/7 в C++ 11. См. live example.

class A { 
public: 
    A(int i) : x(i) { } 
    A() : x(1) {} 
    int x; 
}; 

class B : private virtual A { 
protected: 
    B(int i) : A(i) { } }; 

class C : public B, private virtual A { 
protected: 
    C(int i) : A(i), B(i) { } 
}; 

class D : public C { 
public: 
    D() : A(1), C(3) { } 
}; 

int main() { 
    D d; 
} 

Но оба компиляторы не заморачиваться с тем, что конструктор по умолчанию для класса A также является частным в D, то есть, как компилировать и выполнять код, как правило, если мы определим конструктор для D следующим образом:

D() : C(3) {} 

И это неправильно, насколько я могу судить.

Обратите внимание, что оба компилятора не компилировать (правильно), если мы определим:

D() : A(), C(3) {} 

Answer 1

But both compilers don't bother with the fact that the default constructor for class A is also private in D ,

Нет, конструктор по умолчанию не является частным. Базовый класс A является закрытым, но его конструктор по умолчанию является общедоступным.

И вот почему это работает: при именовании базовых классов в CTOR-инициализаторе, названные базовые классы должны быть доступны, так как контроль доступа применяется к именам, и несколько специальных исключений, когда стандарт говорит, что неявно называется функции должны быть доступны.

Когда базовые классы неявно построены, эти базовые классы не называются. Они просто инициализируются по умолчанию (на 12.6.2p8), а инициализация по умолчанию просто проверяет, доступен ли конструктор (на 8.5p7).

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

D() : ::A(1), C(3) { } 

Live example