Lines Matching full:template
2 template<typename T> struct X; // expected-note {{'X' is incomplete}}
3 template<int I> struct Y;
12 template<> struct X<int> { };
23 template<typename T = void> struct X1 { };
29 // A template parameter pack that [contains an unexpanded parameter pack] is a
32 template<typename...Ts> struct Outer {
34 // In a template parameter pack that is a pack expansion, the pattern is
35 // [...the template-parameter...] without the ellipsis.
37 // so is not required to be the last template parameter.
38 template<Ts ...As, template<Ts> class ...Bs, typename ...Cs> struct Inner {
45 template<int> struct TemplateInt {};
46 template<char> struct TemplateChar {};
47 template<int*> struct TemplateIntPtr {};
57 template<typename...Ts> struct types;
60 template<place...> struct places {};
62 template<typename P1, typename P2> struct append_places;
63 template<place...X1, place...X2>
68 template<unsigned N>
71 template<> struct make_places<0> { typedef places<> type; };
72 template<> struct make_places<1> { typedef places<_> type; };
74 template<typename T> struct wrap {
75 template<place> struct inner { typedef T type; };
78 template<typename T> struct takedrop_impl;
79 template<place...X> struct takedrop_impl<places<X...>> {
80 template<template<decltype(X)> class ...Take,
81 template<place > class ...Drop>
88 template<unsigned N, typename...Ts> struct take {
90 template inner<wrap<Ts>::template inner...>::take; // expected-error {{too few template arguments}}
92 template<unsigned N, typename...Ts> struct drop {
94 template inner<wrap<Ts>::template inner...>::drop; // expected-error {{too few template arguments}}
117 // in a template template parameter pack is expanded, because the pack is
119 template<typename ...Default> struct DefArg {
120 template<template<typename T = Default> class ...Classes> struct Inner { // expected-error {{default argument contains unexpanded parameter pack}} expected-note {{here}}
124 template<typename T> struct vector {};
125 template<typename T> struct list {};
132 // A template parameter pack that is a pack expansion shall not expand a
133 // parameter pack declared in the same template-parameter-list.
134 template<typename...Ts, Ts...Vs> void error(); // desired-error
138 template<typename...Ts> void consume(Ts...);
139 template<typename...Ts> struct A {
140 template<template<typename, Ts = 0> class ...Cs, Cs<Ts> ...Vs> struct B { // ok
148 template<typename, int> using Int = int;
149 template<typename, short> using Char = char;
155 template<typename ...T> struct A {
156 template<template<T> class ...> struct B {
160 template<int> struct C { };
161 template<long> struct D { };
169 template <class... Types> class Tuple;
170 template <class T, int... Dims> struct multi_array;
171 template <class... T> struct value_holder {
172 template<T... Values> struct apply { };
174 template <class... T, T... Values> struct static_array; // expected-error {{must be the last}}
