clang/test/SemaTemplate/instantiation-default-1.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2 template<typename T, typename U = const T> struct Def1;
   3
   4 template<> struct Def1<int> {
   5   void foo();
   6 };
   7
   8 template<> struct Def1<const int> { // expected-note{{previous definition is here}}
   9   void bar();
  10 };
  11
  12 template<> struct Def1<int&> {
  13   void wibble();
  14 };
  15
  16 void test_Def1(Def1<int, const int> *d1, Def1<const int, const int> *d2,
  17                Def1<int&, int&> *d3) {
  18   d1->foo();
  19   d2->bar();
  20   d3->wibble();
  21 }
  22
  23 template<typename T,  // FIXME: bad error message below, needs better location info
  24          typename T2 = const T*>  // expected-error{{'T2' declared as a pointer to a reference}}
  25   struct Def2;
  26
  27 template<> struct Def2<int> {
  28   void foo();
  29 };
  30
  31 void test_Def2(Def2<int, int const*> *d2) {
  32   d2->foo();
  33 }
  34
  35 typedef int& int_ref_t;
  36 Def2<int_ref_t> *d2; // expected-note{{in instantiation of default argument for 'Def2<int_ref_t>' required here}}
  37
  38
  39 template<> struct Def1<const int> { }; // expected-error{{redefinition of 'Def1<const int>'}}
  40
  41 template<typename T, typename T2 = T&> struct Def3;
  42
  43 template<> struct Def3<int> {
  44   void foo();
  45 };
  46
  47 template<> struct Def3<int&> {
  48   void bar();
  49 };
  50
  51 void test_Def3(Def3<int, int&> *d3a, Def3<int&, int&> *d3b) {
  52   d3a->foo();
  53   d3b->bar();
  54 }
  55
  56
  57 template<typename T, typename T2 = T[]> struct Def4;
  58
  59 template<> struct Def4<int> {
  60   void foo();
  61 };
  62
  63 void test_Def4(Def4<int, int[]> *d4a) {
  64   d4a->foo();
  65 }
  66
  67 template<typename T, typename T2 = T const[12]> struct Def5;
  68
  69 template<> struct Def5<int> {
  70   void foo();
  71 };
  72
  73 template<> struct Def5<int, int const[13]> {
  74   void bar();
  75 };
  76
  77 void test_Def5(Def5<int, const int[12]> *d5a, Def5<int, const int[13]> *d5b) {
  78   d5a->foo();
  79   d5b->bar();
  80 }
  81
  82 template<typename R, typename Arg1, typename Arg2 = Arg1,
  83          typename FuncType = R (*)(Arg1, Arg2)>
  84   struct Def6;
  85
  86 template<> struct Def6<int, float> {
  87   void foo();
  88 };
  89
  90 template<> struct Def6<bool, int[5], float(double, double)> {
  91   void bar();
  92 };
  93
  94 bool test_Def6(Def6<int, float, float> *d6a,
  95                Def6<int, float, float, int (*)(float, float)> *d6b,
  96                Def6<bool, int[5], float(double, double),
  97                     bool(*)(int*, float(*)(double, double))> *d6c) {
  98   d6a->foo();
  99   d6b->foo();
 100   d6c->bar();
 101   return d6a == d6b;
 102 }