test/SemaTemplate/explicit-instantiation.cpp

   1 // RUN: clang-cc -fsyntax-only -verify %s
   2
   3 template void *; // expected-error{{expected unqualified-id}}
   4
   5 template typedef void f0; // expected-error{{explicit instantiation of typedef}}
   6
   7 int v0; // expected-note{{refers here}}
   8 template int v0; // expected-error{{does not refer}}
   9
  10 template<typename T>
  11 struct X0 {
  12   static T value;
  13
  14   T f0(T x) {
  15     return x + 1;  // expected-error{{invalid operands}}
  16   }
  17   T* f0(T*, T*) { return T(); }
  18
  19   template<typename U>
  20   T f0(T, U) { return T(); }
  21 };
  22
  23 template<typename T>
  24 T X0<T>::value; // expected-error{{no matching constructor}}
  25
  26 template int X0<int>::value;
  27
  28 struct NotDefaultConstructible {
  29   NotDefaultConstructible(int);
  30 };
  31
  32 template NotDefaultConstructible X0<NotDefaultConstructible>::value; // expected-note{{instantiation}}
  33
  34 template int X0<int>::f0(int);
  35 template int* X0<int>::f0(int*, int*);
  36 template int X0<int>::f0(int, float);
  37
  38 template int X0<int>::f0(int) const; // expected-error{{does not refer}}
  39 template int* X0<int>::f0(int*, float*); // expected-error{{does not refer}}
  40
  41 struct X1 { };
  42 typedef int X1::*MemPtr;
  43
  44 template MemPtr X0<MemPtr>::f0(MemPtr); // expected-note{{requested here}}
  45
  46 struct X2 {
  47   int f0(int); // expected-note{{refers here}}
  48
  49   template<typename T> T f1(T) { return T(); }
  50   template<typename T> T* f1(T*) { return 0; }
  51
  52   template<typename T, typename U> void f2(T, U*) { } // expected-note{{candidate}}
  53   template<typename T, typename U> void f2(T*, U) { } // expected-note{{candidate}}
  54 };
  55
  56 template int X2::f0(int); // expected-error{{not an instantiation}}
  57
  58 template int *X2::f1(int *); // okay
  59
  60 template void X2::f2(int *, int *); // expected-error{{ambiguous}}
  61
  62
  63 template<typename T> void print_type() { }
  64
  65 template void print_type<int>();
  66 template void print_type<float>();
  67
  68 template<typename T> void print_type(T*) { }
  69
  70 template void print_type(int*);
  71 template void print_type<int>(float*); // expected-error{{does not refer}}
  72
  73 void print_type(double*);
  74 template void print_type<double>(double*);
  75
  76 // PR5069
  77 template<int I> void foo0 (int (&)[I + 1]) { }
  78 template void foo0<2> (int (&)[3]);