clang/test/CXX/class/class.mem/p13.cpp

   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 {
  13   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;
  74   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 };