1// RUN: %clang_cc1 -std=c++11 -fsyntax-only -fcxx-exceptions -fexceptions -verify %s 2 3// When it is part of a parameter-declaration-clause, the parameter 4// pack is a function parameter pack. 5template<typename ...Types> 6void f0(Types ...args); 7 8template<typename ...Types> 9void f1(const Types &...args); 10 11// [ Note: Otherwise, the parameter-declaration is part of a 12// template-parameter-list and the parameter pack is a template 13// parameter pack; see 14.1. -- end note ] 14template<int ...N> 15struct X0 { }; 16 17template<typename ...Types> 18struct X1 { 19 template<Types ...Values> struct Inner; 20}; 21 22// A declarator-id or abstract-declarator containing an ellipsis shall 23// only be used in a parameter-declaration. 24int (...f2)(int); // expected-error{{only function and template parameters can be parameter packs}} 25 26void f3() { 27 int ...x; // expected-error{{only function and template parameters can be parameter packs}} 28 if (int ...y = 17) { } // expected-error{{only function and template parameters can be parameter packs}} 29 30 for (int ...z = 0; z < 10; ++z) { } // expected-error{{only function and template parameters can be parameter packs}} 31 32 try { 33 } catch (int ...e) { // expected-error{{only function and template parameters can be parameter packs}} 34 } 35} 36 37template<typename ...Types> 38struct X2 { 39 Types ...members; // expected-error{{only function and template parameters can be parameter packs}} \ 40 // expected-error{{data member type contains unexpanded parameter pack}} 41}; 42 43// The type T of the declarator-id of the function parameter pack 44// shall contain a template parameter pack; each template parameter 45// pack in T is expanded by the function parameter pack. 46template<typename T> 47void f4(T ...args); // expected-error{{type 'T' of function parameter pack does not contain any unexpanded parameter packs}} 48 49