class-template-partial-spec1.cpp
2.16 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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
template<typename T, class P>
struct TwoOptionTemplate {};
template<typename T>
struct TwoOptionTemplate<T, char> {
int member;
};
template<typename T>
struct TwoOptionTemplate<T, double> {
float member;
};
template<typename T>
struct TwoOptionTemplate<T, T> {
T** member;
};
TwoOptionTemplate<int, char> X0;
TwoOptionTemplate<int, float> X1;
TwoOptionTemplate<void *, wchar_t> X2;
TwoOptionTemplate<long, long> X3;
TwoOptionTemplate<float, float> X4;
TwoOptionTemplate<long, long> SingleSource;
TwoOptionTemplate<char, double> SecondDoubleSource;
template<int I, class C>
struct IntTemplateSpec {};
template<class C>
struct IntTemplateSpec<4, C> {
C member;
};
template<int I>
struct IntTemplateSpec<I, void *> {
int member;
static constexpr int val = I;
};
template<int I>
struct IntTemplateSpec<I, double> {
char member;
static constexpr int val = I;
};
IntTemplateSpec<4, wchar_t> Y0;
IntTemplateSpec<5, void *> Y1;
IntTemplateSpec<1, long> Y2;
IntTemplateSpec<3, int> Y3;
//template<int I> constexpr int IntTemplateSpec<I, double>::val;
IntTemplateSpec<42, double> NumberSource;
static_assert(NumberSource.val == 42);
namespace One {
namespace Two {
// Just an empty namespace to ensure we can deal with multiple namespace decls.
}
}
namespace One {
namespace Two {
namespace Three {
template<class T>
class Parent {};
} // namespace Three
} // namespace Two
template<typename T, typename X>
struct Child1: public Two::Three::Parent<unsigned> {
char member;
};
template<class T>
struct Child1<T, One::Two::Three::Parent<T>> {
T member;
};
} // namespace One
One::Child1<int, double> Z0Source;
// Test import of nested namespace specifiers
template<typename T>
struct Outer {
template<typename U> class Inner0;
};
template<typename X>
template<typename Y>
class Outer<X>::Inner0 {
public:
void f(X, Y);
template<typename Z> struct Inner1;
};
template<typename X>
template<typename Y>
void Outer<X>::Inner0<Y>::f(X, Y) {}
template<typename X>
template<typename Y>
template<typename Z>
class Outer<X>::Inner0<Y>::Inner1 {
public:
void f(Y, Z);
};
template<typename X>
template<typename Y>
template<typename Z>
void Outer<X>::Inner0<Y>::Inner1<Z>::f(Y, Z) {}