clang/test/CXX/temp/temp.decls/temp.class.spec/p6.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2
   3 // Test class template partial specializations of member templates.
   4 template<typename T>
   5 struct X0 {
   6   template<typename U> struct Inner0 {
   7     static const unsigned value = 0;
   8   };
   9
  10   template<typename U> struct Inner0<U*> {
  11     static const unsigned value = 1;
  12   };
  13 };
  14
  15 template<typename T> template<typename U>
  16 struct X0<T>::Inner0<const U*> {
  17   static const unsigned value = 2;
  18 };
  19
  20 int array0[X0<int>::Inner0<int>::value == 0? 1 : -1];
  21 int array1[X0<int>::Inner0<int*>::value == 1? 1 : -1];
  22 int array2[X0<int>::Inner0<const int*>::value == 2? 1 : -1];
  23
  24 // Make sure we can provide out-of-line class template partial specializations
  25 // for member templates (and instantiate them).
  26 template<class T> struct A {
  27   struct C {
  28     template<class T2> struct B;
  29   };
  30 };
  31
  32 // partial specialization of A<T>::C::B<T2>
  33 template<class T> template<class T2> struct A<T>::C::B<T2*> { };
  34
  35 A<short>::C::B<int*> absip;
  36
  37 // Check for conflicts during template instantiation.
  38 template<typename T, typename U>
  39 struct Outer {
  40   template<typename X, typename Y> struct Inner;
  41   template<typename Y> struct Inner<T, Y> {}; // expected-note{{previous declaration of class template partial specialization 'Inner<int, type-parameter-0-0>' is here}}
  42   template<typename Y> struct Inner<U, Y> {}; // expected-error{{cannot be redeclared}}
  43 };
  44
  45 Outer<int, int> outer; // expected-note{{instantiation}}
  46
  47 // Test specialization of class template partial specialization members.
  48 template<> template<typename Z>
  49 struct X0<float>::Inner0<Z*> {
  50   static const unsigned value = 3;
  51 };
  52
  53 int array3[X0<float>::Inner0<int>::value == 0? 1 : -1];
  54 int array4[X0<float>::Inner0<int*>::value == 3? 1 : -1];
  55 int array5[X0<float>::Inner0<const int*>::value == 2? 1 : -1];
  56
  57 namespace rdar8651930 {
  58   template<typename OuterT>
  59   struct Outer {
  60     template<typename T, typename U>
  61     struct Inner;
  62
  63     template<typename T>
  64     struct Inner<T, T> {
  65       static const bool value = true;
  66     };
  67
  68     template<typename T, typename U>
  69     struct Inner {
  70       static const bool value = false;
  71     };
  72   };
  73
  74   int array0[Outer<int>::Inner<int, int>::value? 1 : -1];
  75   int array1[Outer<int>::Inner<int, float>::value? -1 : 1];
  76 }
  77
  78 namespace print_dependent_TemplateSpecializationType {
  79
  80 template <class T, class U> struct Foo {
  81   template <unsigned long, class X, class Y> struct Bar;
  82   template <class Y> struct Bar<0, T, Y> {};
  83   // expected-note-re@-1 {{previous declaration {{.*}} 'Bar<0, int, type-parameter-0-0>' is here}}
  84   template <class Y> struct Bar<0, U, Y> {};
  85   // expected-error@-1 {{partial specialization 'Bar<0, int, Y>' cannot be redeclared}}
  86 };
  87 template struct Foo<int, int>; // expected-note {{requested here}}
  88
  89 } // namespace print_dependent_TemplateSpecializationType