PageRenderTime 60ms CodeModel.GetById 1ms app.highlight 53ms RepoModel.GetById 1ms app.codeStats 0ms

/test/CXX/temp/temp.decls/temp.variadic/p5.cpp

https://bitbucket.org/larsivi/amber-clang
C++ | 412 lines | 220 code | 94 blank | 98 comment | 7 complexity | 89597f4fa43b488fa8a2c24e6e49609e MD5 | raw file
  1// RUN: %clang_cc1 -fcxx-exceptions -fexceptions -std=c++11 -fblocks -fms-extensions -fsyntax-only -verify %s
  2
  3template<typename T, typename U> struct pair;
  4template<typename ...> struct tuple;
  5
  6// A parameter pack whose name appears within the pattern of a pack
  7// expansion is expanded by that pack expansion. An appearance of the
  8// name of a parameter pack is only expanded by the innermost
  9// enclosing pack expansion. The pattern of a pack expansion shall
 10// name one or more parameter packs that are not expanded by a nested
 11// pack expansion.
 12template<typename... Types>
 13struct Expansion {
 14  typedef pair<Types..., int> expand_with_pacs; // okay
 15  typedef pair<Types, int...> expand_no_packs;  // expected-error{{pack expansion does not contain any unexpanded parameter packs}}
 16  typedef pair<pair<Types..., int>..., int> expand_with_expanded_nested; // expected-error{{pack expansion does not contain any unexpanded parameter packs}}
 17};
 18
 19// All of the parameter packs expanded by a pack expansion shall have
 20// the same number of arguments specified.
 21template<typename ...Types>
 22struct ExpansionLengthMismatch {
 23  template<typename ...OtherTypes>
 24  struct Inner {
 25    typedef tuple<pair<Types, OtherTypes>...> type; // expected-error{{pack expansion contains parameter packs 'Types' and 'OtherTypes' that have different lengths (3 vs. 2)}}
 26  };
 27};
 28
 29ExpansionLengthMismatch<int, long>::Inner<unsigned int, unsigned long>::type 
 30  *il_pairs;
 31tuple<pair<int, unsigned int>, pair<long, unsigned long> >*il_pairs_2 = il_pairs;
 32
 33ExpansionLengthMismatch<short, int, long>::Inner<unsigned int, unsigned long>::type // expected-note{{in instantiation of template class 'ExpansionLengthMismatch<short, int, long>::Inner<unsigned int, unsigned long>' requested here}}
 34  *il_pairs_bad; 
 35
 36
 37// An appearance of a name of a parameter pack that is not expanded is
 38// ill-formed.
 39
 40// Test for unexpanded parameter packs in each of the type nodes.
 41template<typename T, int N, typename ... Types>
 42struct TestPPName 
 43  : public Types, public T  // expected-error{{base type contains unexpanded parameter pack 'Types'}}
 44{
 45  // BuiltinType is uninteresting
 46  // FIXME: ComplexType is uninteresting?
 47  // PointerType
 48  typedef Types *types_pointer; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
 49
 50  // BlockPointerType
 51  typedef Types (^block_pointer_1)(int); // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
 52  typedef int (^block_pointer_2)(Types); // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
 53
 54  // LValueReferenceType
 55  typedef Types &lvalue_ref; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
 56
 57  // RValueReferenceType
 58  typedef Types &&rvalue_ref; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
 59
 60  // MemberPointerType
 61  typedef Types TestPPName::* member_pointer_1; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
 62  typedef int Types::*member_pointer_2; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
 63
 64  // ConstantArrayType
 65  typedef Types constant_array[17]; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
 66
 67  // IncompleteArrayType
 68  typedef Types incomplete_array[]; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
 69
 70  // VariableArrayType
 71  void f(int i) {
 72    Types variable_array[i]; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
 73  }
 74
 75  // DependentSizedArrayType
 76  typedef Types dependent_sized_array[N]; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
 77
 78  // DependentSizedExtVectorType
 79  typedef Types dependent_sized_ext_vector __attribute__((ext_vector_type(N))); // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
 80
 81  // VectorType is uninteresting
 82
 83  // ExtVectorType
 84  typedef Types ext_vector __attribute__((ext_vector_type(4))); // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
 85
 86  // FunctionProtoType
 87  typedef Types (function_type_1)(int); // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
 88  typedef int (function_type_2)(Types); // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
 89
 90  // FunctionNoProtoType is uninteresting
 91  // UnresolvedUsingType is uninteresting
 92  // ParenType is uninteresting
 93  // TypedefType is uninteresting
 94
 95  // TypeOfExprType
 96  typedef __typeof__((static_cast<Types>(0))) typeof_expr; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
 97
 98  // TypeOfType
 99  typedef __typeof__(Types) typeof_type;  // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
100
101  // DecltypeType
102  typedef decltype((static_cast<Types>(0))) typeof_expr; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
103
104  // RecordType is uninteresting
105  // EnumType is uninteresting
106  // ElaboratedType is uninteresting
107
108  // TemplateTypeParmType
109  typedef Types template_type_parm; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
110
111  // SubstTemplateTypeParmType is uninteresting
112
113  // TemplateSpecializationType
114  typedef pair<Types, int> template_specialization; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
115
116  // InjectedClassName is uninteresting.
117
118  // DependentNameType
119  typedef typename Types::type dependent_name; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
120
121  // DependentTemplateSpecializationType
122  typedef typename Types::template apply<int> dependent_name_1; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
123  typedef typename T::template apply<Types> dependent_name_2; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}} 
124
125  // ObjCObjectType is uninteresting
126  // ObjCInterfaceType is uninteresting
127  // ObjCObjectPointerType is uninteresting
128};
129
130// FIXME: Test for unexpanded parameter packs in each of the expression nodes.
131template<int ...Values>
132void test_unexpanded_in_exprs() {
133  // PredefinedExpr is uninteresting
134  // DeclRefExpr
135  Values; // expected-error{{expression contains unexpanded parameter pack 'Values'}}
136  // IntegerLiteral is uninteresting
137  // FloatingLiteral is uninteresting
138  // ImaginaryLiteral is uninteresting
139  // StringLiteral is uninteresting
140  // CharacterLiteral is uninteresting
141  (Values); // expected-error{{expression contains unexpanded parameter pack 'Values'}}
142  // UnaryOperator
143  -Values; // expected-error{{expression contains unexpanded parameter pack 'Values'}}
144  // OffsetOfExpr
145  struct OffsetMe {
146    int array[17];
147  };
148  __builtin_offsetof(OffsetMe, array[Values]); // expected-error{{expression contains unexpanded parameter pack 'Values'}}
149  // FIXME: continue this...
150}
151
152template<typename ... Types>
153void TestPPNameFunc(int i) {
154  f(static_cast<Types>(i)); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
155}
156
157template<typename T, template<class> class ...Meta>
158struct TestUnexpandedTTP {
159  typedef tuple<typename Meta<T>::type> type; // expected-error{{declaration type contains unexpanded parameter pack 'Meta'}}
160};
161
162// Test for unexpanded parameter packs in declarations.
163template<typename T, typename... Types>
164// FIXME: this should test that the diagnostic reads "type contains..."
165struct alignas(Types) TestUnexpandedDecls : T{ // expected-error{{expression contains unexpanded parameter pack 'Types'}}
166  void member_function(Types);  // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
167  void member_function () throw(Types); // expected-error{{exception type contains unexpanded parameter pack 'Types'}}
168  operator Types() const; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
169  Types data_member;  // expected-error{{data member type contains unexpanded parameter pack 'Types'}}
170  static Types static_data_member; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
171  unsigned bit_field : static_cast<Types>(0);  // expected-error{{bit-field size contains unexpanded parameter pack 'Types'}}
172  static_assert(static_cast<Types>(0), "Boom"); // expected-error{{static assertion contains unexpanded parameter pack 'Types'}}
173
174  enum E0 : Types {  // expected-error{{fixed underlying type contains unexpanded parameter pack 'Types'}}
175    EnumValue = static_cast<Types>(0) // expected-error{{enumerator value contains unexpanded parameter pack 'Types'}}
176  };
177
178  using typename Types::type; // expected-error{{using declaration contains unexpanded parameter pack 'Types'}}
179  using Types::value; // expected-error{{using declaration contains unexpanded parameter pack 'Types'}}
180  using T::operator Types; // expected-error{{using declaration contains unexpanded parameter pack 'Types'}}
181
182  friend class Types::foo; // expected-error{{friend declaration contains unexpanded parameter pack 'Types'}}
183  friend void friend_func(Types); // expected-error{{friend declaration contains unexpanded parameter pack 'Types'}}
184  friend void Types::other_friend_func(int); // expected-error{{friend declaration contains unexpanded parameter pack 'Types'}}
185
186  void test_initializers() {
187    T copy_init = static_cast<Types>(0); // expected-error{{initializer contains unexpanded parameter pack 'Types'}}
188    T direct_init(0, static_cast<Types>(0)); // expected-error{{initializer contains unexpanded parameter pack 'Types'}}
189    T list_init = { static_cast<Types>(0) }; // expected-error{{initializer contains unexpanded parameter pack 'Types'}}
190  }
191
192  T in_class_member_init = static_cast<Types>(0); // expected-error{{initializer contains unexpanded parameter pack 'Types'}}
193  TestUnexpandedDecls() : 
194    Types(static_cast<Types>(0)), // expected-error{{initializer contains unexpanded parameter pack 'Types'}}
195    Types(static_cast<Types>(0))...,
196    in_class_member_init(static_cast<Types>(0)) {} // expected-error{{initializer contains unexpanded parameter pack 'Types'}}
197
198  void default_function_args(T = static_cast<Types>(0)); // expected-error{{default argument contains unexpanded parameter pack 'Types'}}
199
200  template<typename = Types*> // expected-error{{default argument contains unexpanded parameter pack 'Types'}}
201    struct default_template_args_1; 
202  template<int = static_cast<Types>(0)> // expected-error{{default argument contains unexpanded parameter pack 'Types'}}
203    struct default_template_args_2;
204  template<template<typename> class = Types::template apply> // expected-error{{default argument contains unexpanded parameter pack 'Types'}}
205    struct default_template_args_3;
206
207  template<Types value> // expected-error{{non-type template parameter type contains unexpanded parameter pack 'Types'}}
208  struct non_type_template_param_type;
209
210  void decls_in_stmts() {
211    Types t; // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
212    for (Types *t = 0; ; ) { } // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
213    for (; Types *t = 0; ) { } // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
214    T a[] = { T(), T(), T() };
215    for (Types t : a) { } // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
216    switch(Types *t = 0) { } // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
217    while(Types *t = 0) { } // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
218    if (Types *t = 0) { } // expected-error{{declaration type contains unexpanded parameter pack 'Types'}}
219    try {
220    } catch (Types*) { // expected-error{{exception type contains unexpanded parameter pack 'Types'}}
221    }
222  }
223};
224
225// FIXME: Test for unexpanded parameter packs in each of the statements.
226struct X {
227  void f(int, int);
228  template<typename ...Types>
229  void f(Types...);
230};
231
232namespace std {
233  class type_info;
234}
235
236typedef struct _GUID {
237     unsigned long  Data1;
238     unsigned short Data2;
239     unsigned short Data3;
240     unsigned char  Data4[ 8 ];
241} GUID;
242
243template<typename T, typename ...Types>
244void test_unexpanded_exprs(Types ...values) {
245  // CXXOperatorCallExpr
246  (void)(values + 0); // expected-error{{expression contains unexpanded parameter pack 'values'}}
247  (void)(0 + values); // expected-error{{expression contains unexpanded parameter pack 'values'}}
248
249  // CXXMemberCallExpr
250  values.f(); // expected-error{{expression contains unexpanded parameter pack 'values'}}
251  X x;
252  x.f(values); // expected-error{{expression contains unexpanded parameter pack 'values'}}
253  x.Types::f(); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
254  x.f<Types>(); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
255
256  // CXXStaticCastExpr
257  (void)static_cast<Types&>(values); // expected-error{{expression contains unexpanded parameter packs 'Types' and 'values'}}
258
259  // CXXDynamicCastExpr
260  (void)dynamic_cast<Types&>(values); // expected-error{{expression contains unexpanded parameter packs 'Types' and 'values'}}
261
262  // CXXReinterpretCastExpr
263  (void)reinterpret_cast<Types&>(values); // expected-error{{expression contains unexpanded parameter packs 'Types' and 'values'}}
264
265  // CXXConstCastExpr
266  (void)const_cast<Types&>(values); // expected-error{{expression contains unexpanded parameter packs 'Types' and 'values'}}
267
268  // CXXTypeidExpr
269  (void)typeid(Types); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
270  (void)typeid(values); // expected-error{{expression contains unexpanded parameter pack 'values'}}
271
272  // CXXUuidofExpr
273  (void)__uuidof(Types); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
274  (void)__uuidof(values); // expected-error{{expression contains unexpanded parameter pack 'values'}}
275
276  // CXXThisExpr is uninteresting
277
278  // CXXThrowExpr
279  throw Types(); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
280  throw values; // expected-error{{expression contains unexpanded parameter pack 'values'}}
281
282  // CXXDefaultArgExpr is uninteresting
283
284  // CXXBindTemporaryExpr is uninteresting
285
286  // CXXConstructExpr is uninteresting
287
288  // CXXFunctionalCastExpr
289  (void)Types(); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
290
291  // CXXTemporaryObjectExpr
292  (void)X(values); // expected-error{{expression contains unexpanded parameter pack 'values'}}
293
294  // CXXScalarValueInitExpr is uninteresting
295
296  // CXXNewExpr
297  (void)new Types; // expected-error{{expression contains unexpanded parameter pack 'Types'}}
298  (void)new X(values); // expected-error{{expression contains unexpanded parameter pack 'values'}}
299  (void)new (values) X(values); // expected-error{{expression contains unexpanded parameter pack 'values'}}
300  (void)new X [values]; // expected-error{{expression contains unexpanded parameter pack 'values'}}
301
302  // CXXDeleteExpr
303  delete values; // expected-error{{expression contains unexpanded parameter pack 'values'}}
304  delete [] values; // expected-error{{expression contains unexpanded parameter pack 'values'}}
305
306  // CXXPseudoDestructorExpr
307  T t;
308  values.~T(); // expected-error{{expression contains unexpanded parameter pack 'values'}}
309  t.~Types(); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
310  t.Types::~T(); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
311
312  // UnaryTypeTraitExpr
313  __is_pod(Types); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
314
315  // BinaryTypeTraitExpr
316  __is_base_of(Types, T); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
317  __is_base_of(T, Types); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
318
319  // UnresolvedLookupExpr
320  test_unexpanded_exprs(values); // expected-error{{expression contains unexpanded parameter pack 'values'}}
321  test_unexpanded_exprs<Types>(); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
322
323  // DependentScopeDeclRefExpr
324  Types::test_unexpanded_exprs(); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
325  T::template test_unexpanded_exprs<Types>(); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
326
327  // CXXUnresolvedConstructExpr
328  Types(5); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
329
330  // CXXDependentScopeMemberExpr
331  values.foo(); // expected-error{{expression contains unexpanded parameter pack 'values'}}
332  t.foo(values); // expected-error{{expression contains unexpanded parameter pack 'values'}}
333
334  // FIXME: There's an evil ambiguity here, because we don't know if
335  // Types refers to the template type parameter pack in scope or a
336  // non-pack member.
337  //  t.Types::foo();
338
339  t.template foo<Types>(); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
340
341  // UnresolvedMemberExpr
342  x.f<Types>(); // expected-error{{expression contains unexpanded parameter pack 'Types'}}
343  x.f(values); // expected-error{{expression contains unexpanded parameter pack 'values'}}
344
345  // CXXNoexceptExpr
346  noexcept(values); // expected-error{{expression contains unexpanded parameter pack 'values'}}
347
348  // PackExpansionExpr is uninteresting
349  // SizeOfPackExpr is uninteresting
350
351  // FIXME: Objective-C expressions will need to go elsewhere
352
353  for (auto t : values) { } // expected-error{{expression contains unexpanded parameter pack 'values'}}
354
355  switch (values) { } // expected-error{{expression contains unexpanded parameter pack 'values'}}
356
357  do { } while (values); // expected-error{{expression contains unexpanded parameter pack 'values'}}
358
359test:
360  goto *values; // expected-error{{expression contains unexpanded parameter pack 'values'}}
361
362  void f(int arg = values); // expected-error{{default argument contains unexpanded parameter pack 'values'}}
363}
364
365// Test unexpanded parameter packs in partial specializations.
366template<typename ...Types>
367struct TestUnexpandedDecls<int, Types>; // expected-error{{partial specialization contains unexpanded parameter pack 'Types'}}
368
369// Test for diagnostics in the presence of multiple unexpanded
370// parameter packs.
371template<typename T, typename U> struct pair;
372
373template<typename ...OuterTypes>
374struct MemberTemplatePPNames {
375  template<typename ...InnerTypes>
376  struct Inner {
377    typedef pair<OuterTypes, InnerTypes>* types; // expected-error{{declaration type contains unexpanded parameter packs 'OuterTypes' and 'InnerTypes'}}
378
379    template<typename ...VeryInnerTypes>
380    struct VeryInner {
381      typedef pair<pair<VeryInnerTypes, OuterTypes>, pair<InnerTypes, OuterTypes> > types; // expected-error{{declaration type contains unexpanded parameter packs 'VeryInnerTypes', 'OuterTypes', ...}}
382    };
383  };
384};
385
386// Example from working paper
387namespace WorkingPaperExample {
388  template<typename...> struct Tuple {}; 
389  template<typename T1, typename T2> struct Pair {};
390  
391  template<class ... Args1> struct zip { 
392    template<class ... Args2> struct with {
393      typedef Tuple<Pair<Args1, Args2> ... > type; // expected-error{{pack expansion contains parameter packs 'Args1' and 'Args2' that have different lengths (1 vs. 2)}}
394    }; 
395  };
396
397  typedef zip<short, int>::with<unsigned short, unsigned>::type T1; // T1 is Tuple<Pair<short, unsigned short>, Pair<int, unsigned>>
398  typedef Tuple<Pair<short, unsigned short>, Pair<int, unsigned>> T1;
399
400  typedef zip<short>::with<unsigned short, unsigned>::type T2; // expected-note{{in instantiation of template class}}
401
402  template<class ... Args> void f(Args...);
403  template<class ... Args> void h(Args...);
404
405  template<class ... Args> 
406  void g(Args ... args) {
407    f(const_cast<const Args*>(&args)...); // OK: "Args" and "args" are expanded within f 
408    f(5 ...); // expected-error{{pack expansion does not contain any unexpanded parameter packs}}
409    f(args); // expected-error{{expression contains unexpanded parameter pack 'args'}}
410    f(h(args ...) + args ...);
411  }
412}