clang/test/CXX/temp/temp.decls/temp.class/temp.mem.func/p1.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2 template<typename T, typename U> // expected-note{{previous template}}
   3 class X0 {
   4 public:
   5   typedef int size_type;
   6
   7   X0(int);
   8   ~X0();
   9
  10   void f0(const T&, const U&);
  11
  12   T& operator[](int i) const;
  13
  14   void f1(size_type) const;
  15   void f2(size_type) const;
  16   void f3(size_type) const;
  17   void f4() ;
  18
  19   operator T*() const;
  20
  21   T value;
  22 };
  23
  24 template<typename T, typename U>
  25 void X0<T, U>::f0(const T&, const U&) { // expected-note{{previous definition}}
  26 }
  27
  28 template<class X, class Y>
  29 X& X0<X, Y>::operator[](int i) const {
  30   (void)i;
  31   return value;
  32 }
  33
  34 template<class X, class Y>
  35 void X0<X, Y>::f1(int) const { }
  36
  37 template<class X, class Y>
  38 void X0<X, Y>::f2(size_type) const { }
  39
  40 template<class X, class Y, class Z> // expected-error{{too many template parameters}}
  41 void X0<X, Y>::f3(size_type) const {
  42 }
  43
  44 template<class X, class Y>
  45 void X0<Y, X>::f4() { } // expected-error{{does not refer}}
  46
  47 // FIXME: error message should probably say, "redefinition of 'X0<T, U>::f0'"
  48 // rather than just "redefinition of 'f0'"
  49 template<typename T, typename U>
  50 void X0<T, U>::f0(const T&, const U&) { // expected-error{{redefinition}}
  51 }
  52
  53 // Test out-of-line constructors, destructors
  54 template<typename T, typename U>
  55 X0<T, U>::X0(int x) : value(x) { }
  56
  57 template<typename T, typename U>
  58 X0<T, U>::~X0() { }
  59
  60 // Test out-of-line conversion functions.
  61 template<typename T, typename U>
  62 X0<T, U>::operator T*() const {
  63   return &value;
  64 }
  65
  66 namespace N { template <class X> class A {void a();}; }
  67 namespace N { template <class X> void A<X>::a() {} }
  68
  69 // PR5566
  70 template<typename T>
  71 struct X1 {
  72   template<typename U>
  73   struct B { void f(); };
  74 };
  75
  76 template<typename T>
  77 template<typename U>
  78 void X1<T>::template B<U>::f() { }
  79
  80 // PR5527
  81 template <template <class> class T>
  82 class X2 {
  83   template <class F>
  84   class Bar {
  85     void Func();
  86   };
  87 };
  88
  89 template <template <class> class T>
  90 template <class F>
  91 void X2<T>::Bar<F>::Func() {}
  92
  93 // PR5528
  94 template <template <class> class T>
  95 class X3 {
  96   void F();
  97 };
  98
  99 template <template <class> class T>
 100 void X3<T>::F() {}