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
119
120
121
122
123
|
//![temp.names] examples abschnitt 4/1
//%CPP
T* p1 = p->template alloc<100>();
//![temp.names] examples abschnitt 4/2, didn't work cause of Bug# 164482
//%CPP
template<class T>
void f(T* p)
{
T::template adjust<100>();
}
//![temp.alias] Template alias declaration
//%CPP
template<typename T> struct S
{
};
template<typename T> using Alias = S<T>;
Alias<int> sInt;
//!Variadic Function Template
//%CPP
template<typename T, typename... Args>
void f(T t, Args... args)
{
f(args...);
}
//!Variadic Class Template
//%CPP
template<typename... Args> struct S
{
static const int size = sizeof...(Args);
};
//!Variable Template
//%CPP
template<typename T> constexpr T c = T{100};
int f()
{
return c<int>;
}
//!Field Template
//%CPP
struct S
{
template<typename T> static constexpr T c = T{100};
};
int f()
{
return S::c<int>;
}
//!Field Template in Template
//%CPP
template<typename T> struct S
{
template<int I> static constexpr T c = T{I};
};
int f()
{
return S<int>::template c<100>;
}
//!Type Template Parameter with class
//%CPP
template<class >
void f()
{
}
//!Type Template Parameter with typename
//%CPP
template<typename >
void f()
{
}
//!Variadic Type Template Parameter with class
//%CPP
template<class... >
void f()
{
}
//!Variadic Type Template Parameter with typename
//%CPP
template<typename... >
void f()
{
}
//!Template-template Template Parameter with class
//%CPP
template<template <typename > class >
void f()
{
}
//!Template-template Template Parameter with typename
//%CPP
template<template <typename > typename >
void f()
{
}
//!Variadic Template-template Template Parameter with class
//%CPP
template<template <typename > class... >
void f()
{
}
//!Variadic Template-template Template Parameter with typename
//%CPP
template<template <typename > typename... >
void f()
{
}
|
