blob: 3bc485601ca5fe5f9beca205e0e9214423594125 (
about) (
plain)
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
|
// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
// Fun things you can do with inline namespaces:
inline namespace X {
void f1();
inline namespace Y {
void f2();
template <typename T> class C {};
}
// Specialize and partially specialize somewhere else.
template <> class C<int> {};
template <typename T> class C<T*> {};
}
// Qualified and unqualified lookup as if member of enclosing NS.
void foo1() {
f1();
::f1();
X::f1();
Y::f1(); // expected-error {{no member named 'f1' in namespace 'X::Y'}}
f2();
::f2();
X::f2();
Y::f2();
}
template <> class C<float> {};
template <typename T> class C<T&> {};
template class C<double>;
// As well as all the fun with ADL.
namespace ADL {
struct Outer {};
inline namespace IL {
struct Inner {};
void fo(Outer);
}
void fi(Inner);
inline namespace IL2 {
void fi2(Inner);
}
}
void foo2() {
ADL::Outer o;
ADL::Inner i;
fo(o);
fi(i);
fi2(i);
}
// Let's not forget overload sets.
struct Distinct {};
inline namespace Over {
void over(Distinct);
}
void over(int);
void foo3() {
Distinct d;
::over(d);
}
// Don't forget to do correct lookup for redeclarations.
namespace redecl { inline namespace n1 {
template <class Tp> class allocator;
template <>
class allocator<void>
{
public:
typedef const void* const_pointer;
};
template <class Tp>
class allocator
{
public:
typedef Tp& reference;
void allocate(allocator<void>::const_pointer = 0);
};
} }
// Normal redeclarations (not for explicit instantiations or
// specializations) are distinct in an inline namespace vs. not in an
// inline namespace.
namespace redecl2 {
inline namespace n1 {
void f(int) { }
struct X1 { };
template<typename T> void f(T) { }
template<typename T> struct X2 { };
int i = 71;
enum E { e };
}
void f(int) { }
struct X1 { };
template<typename T> void f(T) { }
template<typename T> struct X2 { };
int i = 71;
enum E { e };
}
|