clang/test/SemaTemplate/explicit-specialization-member.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -std=c++17 -verify %s -fcxx-exceptions
   2 template<typename T>
   3 struct X0 {
   4   typedef T* type;
   5
   6   void f0(T);
   7   void f1(type);
   8 };
   9
  10 template<> void X0<char>::f0(char);
  11 template<> void X0<char>::f1(type);
  12
  13 namespace PR6161 {
  14   template<typename _CharT>
  15   class numpunct : public locale::facet // expected-error{{use of undeclared identifier 'locale'}} \
  16               // expected-error{{expected class name}}
  17   {
  18     static locale::id id; // expected-error{{use of undeclared identifier}}
  19   };
  20   numpunct<char>::~numpunct();
  21 }
  22
  23 namespace PR12331 {
  24   template<typename T> struct S {
  25     struct U { static const int n = 5; };
  26     enum E { e = U::n }; // expected-note {{implicit instantiation first required here}}
  27     int arr[e];
  28   };
  29   template<> struct S<int>::U { static const int n = sizeof(int); }; // expected-error {{explicit specialization of 'U' after instantiation}}
  30 }
  31
  32 namespace PR18246 {
  33   template<typename T>
  34   class Baz {
  35   public:
  36     template<int N> void bar();
  37   };
  38
  39   template<typename T>
  40   template<int N>
  41   void Baz<T>::bar() {
  42   }
  43
  44   template<typename T>
  45   void Baz<T>::bar<0>() { // expected-error {{cannot specialize a member of an unspecialized template}}
  46   }
  47 }
  48
  49 namespace PR19340 {
  50 template<typename T> struct Helper {
  51   template<int N> static void func(const T *m) {}
  52 };
  53
  54 template<typename T> void Helper<T>::func<2>() {} // expected-error {{cannot specialize a member}}
  55 }
  56
  57 namespace SpecLoc {
  58   template <typename T> struct A {
  59     static int n; // expected-note {{previous}}
  60     static void f(); // expected-note {{previous}}
  61   };
  62   template<> float A<int>::n; // expected-error {{different type}}
  63   template<> void A<int>::f() throw(); // expected-error {{does not match}}
  64 }
  65
  66 namespace PR41607 {
  67   template<int N> struct Outer {
  68     template<typename...> struct Inner;
  69     template<> struct Inner<> {
  70       static constexpr int f() { return N; }
  71     };
  72
  73     template<typename...> static int a;
  74     template<> static constexpr int a<> = N;
  75
  76     template<typename...> static inline int b;
  77     template<> static inline constexpr int b<> = N;
  78
  79     template<typename...> static constexpr int f();
  80     template<> static constexpr int f() {
  81       return N;
  82     }
  83   };
  84   static_assert(Outer<123>::Inner<>::f() == 123, "");
  85   static_assert(Outer<123>::Inner<>::f() != 125, "");
  86
  87   static_assert(Outer<123>::a<> == 123, "");
  88   static_assert(Outer<123>::a<> != 125, "");
  89
  90   static_assert(Outer<123>::b<> == 123, "");
  91   static_assert(Outer<123>::b<> != 125, "");
  92
  93   static_assert(Outer<123>::f<>() == 123, "");
  94   static_assert(Outer<123>::f<>() != 125, "");
  95 }