class-template-partial-spec2.cpp
1.45 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
template<typename T, typename 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, double> X1;
TwoOptionTemplate<void *, wchar_t> X2;
TwoOptionTemplate<long, long> X3;
TwoOptionTemplate<int, int> X4;
TwoOptionTemplate<long, long> SingleDest;
TwoOptionTemplate<int, double> SecondDoubleDest;
template<int I, class C>
struct IntTemplateSpec {};
template<class C>
struct IntTemplateSpec<4, C> {
C member;
};
template<int I>
struct IntTemplateSpec<I, void *> {
double 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, int> Y2;
IntTemplateSpec<2, int> Y3;
IntTemplateSpec<43, double> NumberDest;
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
namespace Dst { One::Child1<double, One::Two::Three::Parent<double>> Z0Dst; }
One::Child1<int, float> Z1;