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
52
53
54
55
56
57
58
59
60
61
62
63
64
| // RUN: %clang_cc1 -ast-print -std=c++14 %s -v -o %t.1.cpp
// RUN: %clang_cc1 -ast-print -std=c++14 %t.1.cpp -o %t.2.cpp
// RUN: diff %t.1.cpp %t.2.cpp
// Specializations
template<typename T> class C0 {};
template<> class C0<long> {};
template<> class C0<long*> {};
C0<int> c0;
template<int N> class C1 {};
template<> class C1<11> {};
C1<2> c1a;
C1<4> c1b;
template<typename T> class C2a {};
template<typename T> class C2b {};
template<template<typename T> class TC> class C2 {};
template<> class C2<C2a> {};
C2<C2b> c2;
// Default arguments
template<typename T = int> class C10 {};
template<int N = 10> class C11 {};
template<typename T, int N = 22> class C12a {};
//FIXME: template<template<typename T, int N> class TC = C12a> class C12 {};
//FIXME: template<template<typename T> class TC = C12a> class C13 {};
// Partial specializations
template<typename T, typename U> struct C20 {
T a;
U b;
};
template<typename T> struct C20<T, int> {
T a;
};
template<int N, typename U> struct C21 {
U a;
U b[N];
};
template<int N> struct C21<N, int> {
int a[N];
};
template<template<typename T2> class TC, typename U> struct C22 {
TC<U> a;
U b;
};
template<template<typename T2> class TC> struct C22<TC, int> {
TC<int> a;
};
// Declaration only
template<typename T> class C30;
template<> class C30<long>;
template<> class C30<long*>;
extern C30<int> c30;
|