Tentativo di comprendere [class.qual]/2 nello standard C++

Question

In base alle risposte che ho ottenuto here, il codice riportato di seguito è mal formato, nonostante il fatto che lo sia clang e vs2015.

#include <iostream> 
class A { 
public: 
    A() { std::cout << "A()" << '\n'; } 
}; 

int main() 
{ 
    A::A(); 
} 

Tuttavia il codice qui sotto sembra funzionare in tutti e 3 i compilatori (vedi live example). AFAICT, secondo [class.qual/2] il codice è mal formato. O mi sto perdendo qualcosa qui?

#include <iostream> 
struct B { B() { std::cout << "B()" << '\n'; } }; 
struct A : public B { }; 
int main() 
{ 
    A::B(); 
} 

Inoltre, secondo [class.qual]/2, il codice sotto è ben formata e in questo caso, tutti i 3 compilatori produrre l'output previsto (vedi esempio here).

include <iostream> 
struct B { B() { std::cout << "B()" << '\n'; } }; 
struct A : public B { using B::B; A() { std::cout << "A()" << '\n'; } void f() { B(); } }; 
int main() 
{ 
    A a; 
    a.f(); 
} 

uscita:

B() 
A() 
B() 

Ma mi piacerebbe sapere qual è l'utilità di una dichiarazione using denominazione un costruttore, come quello (using B::B;) al precedente classe di A. Si noti che questa dichiarazione d'uso è totalmente irrilevante in questo caso, non importa se B è una classe base di A, oppure no.

Answer 1

Penso che il tuo secondo campione sia ben formato. La regola in [class.qual]/2 indica che il nome fa riferimento al costruttore se il nome specificato dopo lo identificatore di nome nidificato quando viene cercato in C è il nome di classe immesso di C. Nel caso di A::B, il nome specificato dopo l'identificatore nome-nidificato è il nome-classe-immesso di B (visibile a causa dell'ereditarietà), non A. In questo caso, A::B identifica in modo univoco un tipo, A::B() crea un'istanza temporanea B.

Uso-dichiarazioni di naming costruttori possono essere utili per promuovere i costruttori della classe base che prendono argomenti:

struct B { B(int a) { std::cout << "B " << a << '\n'; } }; 
struct A : public B { using B::B; }; 
int main() 
{ 
    A a{1}; //would not be valid without the using-declaration 
}