template-id-printing.cpp
2.14 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
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
// RUN: %clang_cc1 -fsyntax-only -ast-print %s | FileCheck %s
namespace N {
template<typename T, typename U> void f(U);
template<int> void f();
}
void g() {
// CHECK: N::f<int>(3.14
N::f<int>(3.14);
// CHECK: N::f<double>
void (*fp)(int) = N::f<double>;
}
// (NNS qualified) DeclRefExpr.
namespace DRE {
template <typename T>
void foo();
void test() {
// CHECK: DRE::foo<int>;
DRE::foo<int>;
// CHECK: DRE::template foo<int>;
DRE::template foo<int>;
// CHECK: DRE::foo<int>();
DRE::foo<int>();
// CHECK: DRE::template foo<int>();
DRE::template foo<int>();
}
} // namespace DRE
// MemberExpr.
namespace ME {
struct S {
template <typename T>
void mem();
};
void test() {
S s;
// CHECK: s.mem<int>();
s.mem<int>();
// CHECK: s.template mem<int>();
s.template mem<int>();
}
} // namespace ME
// UnresolvedLookupExpr.
namespace ULE {
template <typename T>
int foo();
template <typename T>
void test() {
// CHECK: ULE::foo<T>;
ULE::foo<T>;
// CHECK: ULE::template foo<T>;
ULE::template foo<T>;
}
} // namespace ULE
// UnresolvedMemberExpr.
namespace UME {
struct S {
template <typename T>
void mem();
};
template <typename U>
void test() {
S s;
// CHECK: s.mem<U>();
s.mem<U>();
// CHECK: s.template mem<U>();
s.template mem<U>();
}
} // namespace UME
// DependentScopeDeclRefExpr.
namespace DSDRE {
template <typename T>
struct S;
template <typename T>
void test() {
// CHECK: S<T>::foo;
S<T>::foo;
// CHECK: S<T>::template foo;
S<T>::template foo;
// CHECK: S<T>::template foo<>;
S<T>::template foo<>;
// CHECK: S<T>::template foo<T>;
S<T>::template foo<T>;
}
} // namespace DSDRE
// DependentScopeMemberExpr.
namespace DSME {
template <typename T>
struct S;
template <typename T>
void test() {
S<T> s;
// CHECK: s.foo;
s.foo;
// CHECK: s.template foo;
s.template foo;
// CHECK: s.template foo<>;
s.template foo<>;
// CHECK: s.template foo<T>;
s.template foo<T>;
}
} // namespace DSME
namespace DSDRE_withImplicitTemplateArgs {
template <typename T> void foo() {
// CHECK: T::template bar();
T::template bar();
}
} // namespace DSDRE_withImplicitTemplateArgs