Douglas Gregor | adcac88 | 2008-12-01 23:54:00 +0000 | [diff] [blame] | 1 | // RUN: clang -fsyntax-only -verify %s |
| 2 | |
| 3 | // Errors |
| 4 | export class foo { }; // expected-error {{expected template}} |
| 5 | template x; // expected-error {{expected '<' after 'template'}} |
| 6 | export template x; // expected-error {{expected '<' after 'template'}} |
| 7 | template < ; // expected-error {{parse error}} |
| 8 | template <template X> ; // expected-error {{expected '<' after 'template'}} |
| 9 | template <template <typename> > ; // expected-error {{expected 'class' before '>'}} |
| 10 | template <template <typename> Foo> ; // expected-error {{expected 'class' before 'Foo'}} |
| 11 | |
| 12 | // Template function declarations |
| 13 | template <typename T> void foo(); |
| 14 | template <typename T, typename U> void foo(); |
| 15 | |
Douglas Gregor | 26236e8 | 2008-12-02 00:41:28 +0000 | [diff] [blame^] | 16 | // Template function definitions. |
| 17 | template <typename T> void foo() { } |
Douglas Gregor | adcac88 | 2008-12-01 23:54:00 +0000 | [diff] [blame] | 18 | |
| 19 | // Template class (forward) declarations |
| 20 | template <typename T> struct A; |
| 21 | template <typename T, typename U> struct b; |
| 22 | template <typename> struct C; |
| 23 | template <typename, typename> struct D; |
| 24 | |
| 25 | // Forward declarations with default parameters? |
| 26 | template <typename T = int> X1; |
| 27 | template <typename = int> X2; |
| 28 | |
| 29 | // Forward declarations w/template template parameters |
| 30 | template <template <typename> class T> class TTP1; |
| 31 | template <template <typename> class> class TTP2; |
| 32 | template <template <typename> class T = foo> TTP3; |
| 33 | template <template <typename> class = foo> TTP3; |
| 34 | template <template <typename X, typename Y> class T> TTP5; |
| 35 | |
| 36 | // Forward declararations with non-type params |
| 37 | template <int> class NTP0; |
| 38 | template <int N> class NTP1; |
| 39 | template <int N = 5> class NTP2; |
| 40 | template <int = 10> class NTP3; |
| 41 | template <unsigned int N = 12u> NTP4;; |
| 42 | template <unsigned int = 12u> NTP5; |
| 43 | template <unsigned = 15u> NTP6; |
| 44 | template <typename T, T Obj> NTP7; // expected-error {{parse error}} |
| 45 | |
| 46 | // Template class declarations |
| 47 | template <typename T> struct A { }; |
| 48 | template <typename T, typename U> struct B { }; |
| 49 | |