clang/test/CXX/temp/temp.param/p2.cpp

   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 a qualified-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 template<typename T typename U> struct Y2; // expected-error{{expected ',' or '>'}}
  16 template<typename T U> struct Y3; // expected-error{{expected a qualified name after 'typename'}} expected-error{{expected ',' or '>'}}
  17 template<typedef T typename U> struct Y4; // expected-error{{expected template parameter}} expected-note {{did you mean to use 'typename'?}} expected-error{{expected ',' or '>'}}
  18
  19 // A storage class shall not be specified in a template-parameter declaration.
  20 template<static int Value> struct Z; //expected-error{{invalid declaration specifier}}
  21 template<typedef int Value> struct Z0; //expected-error{{invalid declaration specifier}}
  22 template<extern inline int Value> struct Z1; //expected-error2{{invalid declaration specifier}}
  23 template<virtual int Value> struct Z2; //expected-error{{invalid declaration specifier}}
  24 template<explicit int Value> struct Z3; //expected-error{{invalid declaration specifier}}
  25 template<inline int Value> struct Z4; //expected-error{{invalid declaration specifier}}
  26 template<extern int> struct Z5; //expected-error{{invalid declaration specifier}}
  27 template<static int> struct Z6;  //expected-error{{invalid declaration specifier}}
  28 template<explicit int Value> struct Z7; //expected-error{{invalid declaration specifier}}
  29 template<mutable int> struct Z8; //expected-error{{invalid declaration specifier}}
  30
  31 template<const int> struct Z9; // OK
  32 template<volatile int> struct Z10; // OK
  33
  34
  35
  36 #ifdef CPP11
  37 template<thread_local int> struct Z11; //expected-error{{invalid declaration specifier}}
  38 template<constexpr int> struct Z12; //expected-error{{invalid declaration specifier}}
  39
  40 #endif
  41
  42 #ifdef CPP17
  43 template<auto> struct Z13; // OK
  44 #endif
  45
  46 // Make sure that we properly disambiguate non-type template parameters that
  47 // start with 'class'.
  48 class X1 { };
  49 template<class X1 *xptr> struct X2 { };
  50
  51 // FIXME: add the example from p2