test/SemaTemplate/nested-template.cpp

   1 // RUN: clang-cc -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 };