Ausgearbeiteter Typspezifizierer im Typalias

Question

Warum gibt es im folgenden Code keinen schweren Fehler? Typ Alias ​​und Name der Klasse sind genau die gleiche (Compiler clang):

using S = struct S; 

struct S {}; 

S s; 

int main() 
{ 
} 

Weichen Namen genau in der Definition der Variablen in dem folgenden Code (Symbol oder Typ Alias) verwendet?

using S = struct S {}; 

int main() 
{ 
    S s; 
} 

Answer 1

Der folgende Code macht S ein Alias ​​eines struct namens S. Die using S definiert den Namen S als Alias ​​von struct S neu.

using S = struct S; 

Die folgende Zeile definiert das struct S.

struct S {}; 

Die Erklärung unten, verwendet die S, der als Alias ​​S wie durch Verwendung gemacht.

S s; 

gelinde gesagt, dies ist vergleichbar mit dem

using K = struct S; 

struct S { S(){ std::cout << "Constructed!\n"; } }; 

K s; 

int main() 
{ } 

Der Code gedruckt wird:

Constructed! 

Grundsätzlich wird der Name K durch struct S ersetzt werden.

---

Für Ihr zweites Beispiel seines von Natur aus dem gleichen wie C der typedef:

typedef struct C {} C; 

, die einfach redundant in C++

Answer 2

1. Das erste ist ein Überbleibsel aus C, in dem Tag-Namensraum (struct/union/enum) vom Type-Name-Namensraum (typedef und eingebauten Typen) vollständig getrennt ist.
   In C++ ist diese Regel gelockert. Wenn also im typename-Namespace nichts vorhanden ist, wird automatisch der Tag-Namespace durchsucht.

2. Die zweite wird beantwortet, indem die Antwort für die erste:
   Der Typname gefunden wird.