Home | History | Annotate | Download | only in SemaTemplate 
      1 // RUN: %clang_cc1 -fsyntax-only -verify %s
      2 class A;
      3 
      4 class S {
      5 public:
      6    template<typename T> struct A {
      7      struct Nested {
      8        typedef T type;
      9      };
     10    };
     11 };
     12 
     13 int i;
     14 S::A<int>::Nested::type *ip = &i;
     15 
     16 template<typename T>
     17 struct Outer {
     18   template<typename U>
     19   class Inner0;
     20 
     21   template<typename U>
     22   class Inner1 {
     23     struct ReallyInner;
     24 
     25     T foo(U);
     26     template<typename V> T bar(V);
     27     template<typename V> T* bar(V);
     28 
     29     static T value1;
     30     static U value2;
     31   };
     32 };
     33 
     34 template<typename X>
     35 template<typename Y>
     36 class Outer<X>::Inner0 {
     37 public:
     38   void f(X, Y);
     39 };
     40 
     41 template<typename X>
     42 template<typename Y>
     43 void Outer<X>::Inner0<Y>::f(X, Y) {
     44 }
     45 
     46 template<typename X>
     47 template<typename Y>
     48 struct Outer<X>::Inner1<Y>::ReallyInner {
     49   static Y value3;
     50 
     51   void g(X, Y);
     52 };
     53 
     54 template<typename X>
     55 template<typename Y>
     56 void Outer<X>::Inner1<Y>::ReallyInner::g(X, Y) {
     57 }
     58 
     59 template<typename X>
     60 template<typename Y>
     61 X Outer<X>::Inner1<Y>::foo(Y) {
     62   return X();
     63 }
     64 
     65 template<typename X>
     66 template<typename Y>
     67 template<typename Z>
     68 X Outer<X>::Inner1<Y>::bar(Z) {
     69   return X();
     70 }
     71 
     72 template<typename X>
     73 template<typename Y>
     74 template<typename Z>
     75 X* Outer<X>::Inner1<Y>::bar(Z) {
     76   return 0;
     77 }
     78 
     79 template<typename X>
     80 template<typename Y>
     81 X Outer<X>::Inner1<Y>::value1 = 0;
     82 
     83 template<typename X>
     84 template<typename Y>
     85 Y Outer<X>::Inner1<Y>::value2 = Y();
     86 
     87 template<typename X>
     88 template<typename Y>
     89 Y Outer<X>::Inner1<Y>::ReallyInner::value3 = Y();
     90 
     91 template<typename X>
     92 template<typename Y>
     93 Y Outer<X>::Inner1<Y*>::ReallyInner::value4; // expected-error{{Outer<X>::Inner1<Y *>::ReallyInner::}}
     94 
     95 
     96 template<typename T>
     97 struct X0 { };
     98 
     99 template<typename T>
    100 struct X0<T*> {
    101   template<typename U>
    102   void f(U u = T()) { }
    103 };
    104 
    105 // PR5103
    106 template<typename>
    107 struct X1 {
    108   template<typename, bool = false> struct B { };
    109 };
    110 template struct X1<int>::B<bool>;
    111 
    112 // Template template parameters
    113 template<typename T>
    114 struct X2 {
    115   template<template<class U, T Value> class>  // expected-error{{cannot have type 'float'}} \
    116                                               // expected-note{{previous non-type template}}
    117     struct Inner { };
    118 };
    119 
    120 template<typename T,
    121          int Value> // expected-note{{template non-type parameter}}
    122   struct X2_arg;
    123 
    124 X2<int>::Inner<X2_arg> x2i1;
    125 X2<float> x2a; // expected-note{{instantiation}}
    126 X2<long>::Inner<X2_arg> x2i3; // expected-error{{template template argument has different}}
    127 
    128 namespace PR10896 {
    129   template<typename TN>
    130   class Foo {
    131 
    132   public:
    133     void foo() {}
    134   private:
    135 
    136     template<typename T>
    137     T SomeField; // expected-error {{member 'SomeField' declared as a template}}
    138   };
    139 
    140   void g() {
    141     Foo<int> f;
    142     f.foo();
    143   }
    144 }
    145 
    146 namespace PR10924 {
    147   template< class Topology, class ctype >
    148   struct ReferenceElement
    149   {
    150   };
    151 
    152   template< class Topology, class ctype >
    153   template< int codim >
    154   class ReferenceElement< Topology, ctype > :: BaryCenterArray // expected-error{{out-of-line definition of 'BaryCenterArray' does not match any declaration in 'ReferenceElement<Topology, ctype>'}}
    155   {
    156   };
    157 }
    158