1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 template<template<typename T> class MetaFun, typename Value> 3 struct apply { 4 typedef typename MetaFun<Value>::type type; 5 }; 6 7 template<class T> 8 struct add_pointer { 9 typedef T* type; 10 }; 11 12 template<class T> 13 struct add_reference { 14 typedef T& type; 15 }; 16 17 int i; 18 apply<add_pointer, int>::type ip = &i; 19 apply<add_reference, int>::type ir = i; 20 apply<add_reference, float>::type fr = i; // expected-error{{non-const lvalue reference to type 'float' cannot bind to a value of unrelated type 'int'}} 21 22 // Template template parameters 23 template<int> struct B; // expected-note{{has a different type 'int'}} 24 25 template<typename T, 26 template<T Value> class X> // expected-error{{cannot have type 'float'}} \ 27 // expected-note{{with type 'long'}} 28 struct X0 { }; 29 30 X0<int, B> x0b1; 31 X0<float, B> x0b2; // expected-note{{while substituting}} 32 X0<long, B> x0b3; // expected-error{{template template argument has different template parameters}} 33 34 template<template<int V> class TT> // expected-note{{parameter with type 'int'}} 35 struct X1 { }; 36 37 template<typename T, template<T V> class TT> 38 struct X2 { 39 X1<TT> x1; // expected-error{{has different template parameters}} 40 }; 41 42 template<int V> struct X3i { }; 43 template<long V> struct X3l { }; // expected-note{{different type 'long'}} 44 45 X2<int, X3i> x2okay; 46 X2<long, X3l> x2bad; // expected-note{{instantiation}} 47 48 template <typename T, template <T, T> class TT, class R = TT<1, 2> > 49 struct Comp { 50 typedef R r1; 51 template <T x, T y> struct gt { 52 static const bool result = x > y; 53 }; 54 typedef gt<2, 1> r2; 55 }; 56 57 template <int x, int y> struct lt { 58 static const bool result = x < y; 59 }; 60 61 Comp<int, lt> c0; 62 63 namespace PR8629 { 64 template<template<int> class TT> struct X0 65 { 66 static void apply(); 67 }; 68 template<int> struct Type { }; 69 70 template<class T> struct X1 71 { 72 template<class U> struct Inner; 73 gPR8629::X174 template<class U> void g() 75 { 76 typedef Inner<U> Init; 77 X0<Init::template VeryInner>::apply(); 78 } fPR8629::X179 template<int N> void f () 80 { 81 g<Type<N> >(); 82 } 83 }; 84 template<class T> template<class U> struct X1<T>::Inner 85 { 86 template<int> struct VeryInner { 87 }; 88 }; 89 struct X1Container 90 { X1ContainerPR8629::X1Container91 X1Container() 92 { 93 simplex_.f<0>(); 94 } 95 X1<double> simplex_; 96 }; 97 } 98