test/SemaTemplate/instantiate-static-var.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2 template<typename T, T Divisor>
   3 class X {
   4 public:
   5   static const T value = 10 / Divisor; // expected-error{{in-class initializer is not a constant expression}}
   6 };
   7
   8 int array1[X<int, 2>::value == 5? 1 : -1];
   9 X<int, 0> xi0; // expected-note{{in instantiation of template class 'X<int, 0>' requested here}}
  10
  11
  12 template<typename T>
  13 class Y {
  14   static const T value = 0; // expected-warning{{in-class initializer for static data member of type 'const float' is a C++0x extension}}
  15 };
  16
  17 Y<float> fy; // expected-note{{in instantiation of template class 'Y<float>' requested here}}
  18
  19
  20 // out-of-line static member variables
  21
  22 template<typename T>
  23 struct Z {
  24   static T value;
  25 };
  26
  27 template<typename T>
  28 T Z<T>::value; // expected-error{{no matching constructor}}
  29
  30 struct DefCon {};
  31
  32 struct NoDefCon {
  33   NoDefCon(const NoDefCon&); // expected-note{{candidate constructor}}
  34 };
  35
  36 void test() {
  37   DefCon &DC = Z<DefCon>::value;
  38   NoDefCon &NDC = Z<NoDefCon>::value; // expected-note{{instantiation}}
  39 }
  40
  41 // PR5609
  42 struct X1 {
  43   ~X1();  // The errors won't be triggered without this dtor.
  44 };
  45
  46 template <typename T>
  47 struct Y1 {
  48   static char Helper(T);
  49   static const int value = sizeof(Helper(T()));
  50 };
  51
  52 struct X2 {
  53   virtual ~X2();
  54 };
  55
  56 namespace std {
  57   class type_info { };
  58 }
  59
  60 template <typename T>
  61 struct Y2 {
  62   static T &Helper();
  63   static const int value = sizeof(typeid(Helper()));
  64 };
  65
  66 template <int>
  67 struct Z1 {};
  68
  69 void Test() {
  70   Z1<Y1<X1>::value> x;
  71   int y[Y1<X1>::value];
  72   Z1<Y2<X2>::value> x2;
  73   int y2[Y2<X2>::value];
  74 }
  75
  76 // PR5672
  77 template <int n>
  78 struct X3 {};
  79
  80 class Y3 {
  81  public:
  82   ~Y3();  // The error isn't triggered without this dtor.
  83
  84   void Foo(X3<1>);
  85 };
  86
  87 template <typename T>
  88 struct SizeOf {
  89   static const int value = sizeof(T);
  90 };
  91
  92 void MyTest3() {
  93    Y3().Foo(X3<SizeOf<char>::value>());
  94 }
  95
  96 namespace PR6449 {
  97   template<typename T>
  98   struct X0  {
  99     static const bool var = false;
 100   };
 101
 102   template<typename T>
 103   const bool X0<T>::var;
 104
 105   template<typename T>
 106   struct X1 : public X0<T> {
 107     static const bool var = false;
 108   };
 109
 110   template<typename T>
 111   const bool X1<T>::var;
 112
 113   template class X0<char>;
 114   template class X1<char>;
 115
 116 }
 117