Lines Matching full:template
4 template<typename T, int N = 2> struct X; // expected-note{{template is declared here}}
9 X<> *x3; // expected-error{{too few template arguments for class template 'X'}}
11 template<typename U = float, int M> struct X;
15 template<typename T = int> struct Z { };
16 template struct Z<>;
19 template<class T> struct a { };
20 template<> struct a<int> { static const bool v = true; };
22 template<class T, bool = a<T>::v> struct p { }; // expected-error {{no member named 'v'}}
24 template struct p<bool>; // expected-note {{in instantiation of default argument for 'p<bool>' requ…
25 template struct p<int>;
28 template<typename T, typename U>
31 template<typename T, typename U = T>
34 template<typename T, typename U>
39 template<typename T>
42 template<>
47 // Nested default arguments for template parameters.
48 template<typename T> struct X1 { };
50 template<typename T>
52 …template<typename U = typename X1<T>::type> // expected-error{{no type named 'type' in 'X1<int>'}}…
54 struct Inner1 { }; // expected-note{{template is declared here}}
56 template<T Value = X1<T>::value> // expected-error{{no member named 'value' in 'X1<int>'}} \
58 struct NonType1 { }; // expected-note{{template is declared here}}
60 template<T Value>
63 template<typename U>
65 template<typename X = T, typename V = U>
68 template<T Value1 = sizeof(T), T Value2 = sizeof(U),
74 X2<int> x2i; // expected-note{{in instantiation of template class 'X2<int>' requested here}}
77 X2<int>::Inner1<> x2bad; // expected-error{{too few template arguments for class template 'Inner1'}}
80 …>::NonType1<> x2_nontype1_bad; // expected-error{{too few template arguments for class template 'N…
82 // Check multi-level substitution into template type arguments
84 X2<char>::Inner3<int>::NonType2<> x2_deep_nontype; // expected-note{{in instantiation of template c…
86 template<typename T, typename U>
89 template<typename T>
99 // Template template parameter defaults
100 template<template<typename T> class X = X2> struct X3 { };
104 template<typename T>
110 template<typename T, template<typename> class X = T::template apply>
115 template<int> struct X5 {}; // expected-note{{has a different type 'int'}}
116 template<long> struct X5b {};
117 template<typename T,
118 template<T> class B = X5> // expected-error{{template template argument has different}} \
119 // expected-note{{previous non-type template parameter}}
123 X6<long> x6b; // expected-note{{while checking a default template argument}}
127 template<template<class> class X = B<int> > struct X7; // expected-error{{must be a class template}}
130 template<typename T> class allocator {};
131 template<typename T, typename U = allocator<T> > class vector {};
133 template<template<typename U, typename = allocator<U> > class container,
145 template<typename X>
147 template<typename T = int, typename U>
149 …// expected-warning@-2 {{default template arguments for a function template are a C++11 extension}}
153 template<typename X>
154 template<typename T, typename U>
159 template <class T> struct X {
160 …template <class U = typename T::type> static void f(int) {} // expected-error {{type 'int' cannot … in f()
162 …// expected-warning@-2 {{default template arguments for a function template are a C++11 extension}}
167 …int g() { X<int>::f(0); } // expected-note {{in instantiation of template class 'DR1635::X<int>' r… in g()
171 template<typename T> void f1() { in f1()
174 …template void f1<int>(); // expected-note{{in instantiation of function template specialization '…
177 template <typename T>
184 // Make sure when substituting default template arguments we do it in the current context.
185 template<class T, bool Val = T::value>
188 template<bool B> struct Y {
194 template<class T0>
196 template<bool B = T0::value> struct XInner { static const bool value = B; };
198 template<bool B> struct S { static const bool value = B; };
200 template<bool B> struct Y {
201 static constexpr bool f() { return typename X<S<B>>::template XInner<>{}.value; } in f()