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