1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++14 %s 2 3 // If T is the name of a class, then each of the following shall have 4 // a name different from T: 5 6 // - every static data member of class T; 7 struct X0 { 8 static int X0; // expected-error{{member 'X0' has the same name as its class}} 9 }; 10 11 // - every member function of class T 12 struct Xa { XaXa13 int Xa() {} // expected-error{{constructor cannot have a return type}} 14 }; 15 16 // - every member of class T that is itself a type; 17 struct X1 { 18 enum X1 { }; // expected-error{{member 'X1' has the same name as its class}} 19 }; 20 21 struct X1a { 22 struct X1a; // expected-error{{member 'X1a' has the same name as its class}} 23 }; 24 25 struct X2 { 26 typedef int X2; // expected-error{{member 'X2' has the same name as its class}} 27 }; 28 29 struct X2a { 30 using X2a = int; // expected-error{{member 'X2a' has the same name as its class}} 31 }; 32 33 // - every member template of class T 34 35 struct X2b { 36 template<typename T> struct X2b; // expected-error{{member 'X2b' has the same name as its class}} 37 }; 38 struct X2c { 39 template<typename T> void X2c(); // expected-error{{constructor cannot have a return type}} 40 }; 41 struct X2d { 42 template<typename T> static int X2d; // expected-error{{member 'X2d' has the same name as its class}} 43 }; 44 struct X2e { 45 template<typename T> using X2e = int; // expected-error{{member 'X2e' has the same name as its class}} 46 }; 47 48 // - every enumerator of every member of class T that is an unscoped enumerated type; and 49 struct X3 { 50 enum E { 51 X3 // expected-error{{member 'X3' has the same name as its class}} 52 }; 53 }; 54 struct X3a { 55 enum class E { 56 X3a // ok 57 }; 58 }; 59 60 // - every member of every anonymous union that is a member of class T. 61 struct X4 { // expected-note{{previous}} 62 union { 63 int X; 64 union { 65 float Y; 66 unsigned X4; // expected-error{{redeclares 'X4'}} 67 }; 68 }; 69 }; 70 71 // This includes such things inherited from base classes. 72 struct B { 73 static int D0; DaB74 int Da() {}; 75 enum D1 {}; 76 struct D1a; 77 typedef int D2; 78 using D2a = int; 79 template<typename T> struct D2b; 80 template<typename T> void D2c(); 81 template<typename T> static int D2d; 82 template<typename T> using D2e = int; 83 union { int D4; }; 84 int Dtemplate; 85 int Dtemplate_with_ctors; 86 }; 87 struct B2 { int Dtemplate(); }; 88 89 struct D0 : B { using B::D0; }; // expected-error {{member 'D0' has the same name as its class}} 90 struct Da : B { using B::Da; }; // expected-error {{member 'Da' has the same name as its class}} 91 struct D1 : B { using B::D1; }; // expected-error {{member 'D1' has the same name as its class}} 92 struct D1a : B { using B::D1a; }; // expected-error {{member 'D1a' has the same name as its class}} 93 struct D2 : B { using B::D2; }; // expected-error {{member 'D2' has the same name as its class}} 94 struct D2a : B { using B::D2a; }; // expected-error {{member 'D2a' has the same name as its class}} 95 struct D2b : B { using B::D2b; }; // expected-error {{member 'D2b' has the same name as its class}} 96 struct D2c : B { using B::D2c; }; // expected-error {{member 'D2c' has the same name as its class}} 97 struct D2d : B { using B::D2d; }; // expected-error {{member 'D2d' has the same name as its class}} 98 struct D2e : B { using B::D2e; }; // expected-error {{member 'D2e' has the same name as its class}} 99 struct D4 : B { using B::D4; }; // expected-error {{member 'D4' has the same name as its class}} 100 101 template<typename B> struct Dtemplate : B { 102 using B::Dtemplate; // expected-error {{member 'Dtemplate' has the same name as its class}} 103 }; 104 Dtemplate<B> ok; 105 Dtemplate<B2> error; // expected-note {{in instantiation of}} 106 107 template<typename B> struct Dtemplate_with_ctors : B { 108 Dtemplate_with_ctors(); 109 using B::Dtemplate_with_ctors; // expected-error {{member 'Dtemplate_with_ctors' has the same name as its class}} 110 }; 111 112 template<typename B> struct CtorDtorName : B { 113 using B::CtorDtorName; // expected-error {{member 'CtorDtorName' has the same name as its class}} expected-note {{non-type declaration found by destructor name lookup}} 114 CtorDtorName(); 115 ~CtorDtorName(); // expected-error {{identifier 'CtorDtorName' after '~' in destructor name does not name a type}} 116 }; 117