1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s -DCPP11 3 // RUN: %clang_cc1 -std=c++17 -fsyntax-only -verify %s -DCPP17 4 5 // There is no semantic difference between class and typename in a 6 // template-parameter. typename followed by an unqualified-id names a 7 // template type parameter. 8 template<class T> struct X; 9 template<typename T> struct X; 10 11 // typename followed by aqualified-id denotes the type in a non-type 12 // parameter-declaration. 13 template<typename T, typename T::type Value> struct Y0; 14 template<typename T, typename X<T>::type Value> struct Y1; 15 16 // A storage class shall not be specified in a template-parameter declaration. 17 template<static int Value> struct Z; //expected-error{{invalid declaration specifier}} 18 template<typedef int Value> struct Z0; //expected-error{{expected template parameter}} expected-error{{expected identifier}} expected-error{{extraneous 'template<>' in declaration of struct 'Z0'}} expected-note{{did you mean to use 'typename'?}} 19 template<extern inline int Value> struct Z1; //expected-error2{{invalid declaration specifier}} 20 template<virtual int Value> struct Z2; //expected-error{{invalid declaration specifier}} 21 template<explicit int Value> struct Z3; //expected-error{{invalid declaration specifier}} 22 template<inline int Value> struct Z4; //expected-error{{invalid declaration specifier}} 23 template<extern int> struct Z5; //expected-error{{invalid declaration specifier}} 24 template<static int> struct Z6; //expected-error{{invalid declaration specifier}} 25 template<explicit int Value> struct Z7; //expected-error{{invalid declaration specifier}} 26 template<mutable int> struct Z8; //expected-error{{invalid declaration specifier}} 27 28 template<const int> struct Z9; // OK 29 template<volatile int> struct Z10; // OK 30 31 32 33 #ifdef CPP11 34 template<thread_local int> struct Z11; //expected-error{{invalid declaration specifier}} 35 template<constexpr int> struct Z12; //expected-error{{invalid declaration specifier}} 36 37 #endif 38 39 #ifdef CPP17 40 template<auto> struct Z13; // OK 41 #endif 42 43 // Make sure that we properly disambiguate non-type template parameters that 44 // start with 'class'. 45 class X1 { }; 46 template<class X1 *xptr> struct Y2 { }; 47 48 // FIXME: add the example from p2 49