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
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
|
// RUN: %clang_cc1 -std=c++20 -verify %s
namespace static_methods {
template<class> concept False = false;
struct Base {
static void foo(auto);
};
struct Derived : public Base {
using Base::foo;
static void foo(False auto);
};
void func() {
Derived::foo(42);
}
} // namespace static_methods
namespace constrained_members {
template <unsigned n> struct Opaque {};
template <unsigned n> void expect(Opaque<n> _) {}
struct Empty{};
constexpr int EmptySize = sizeof(Empty);
template<typename T> concept IsEmpty = sizeof(T) == EmptySize;
namespace base_members_not_hidden {
struct base {
template <typename T>
Opaque<0> foo() { return Opaque<0>(); };
};
struct bar1 : public base {
using base::foo;
template <typename T> requires IsEmpty<T>
Opaque<1> foo() { return Opaque<1>(); };
};
struct bar2 : public base {
using base::foo;
template <IsEmpty T>
Opaque<1> foo() { return Opaque<1>(); };
};
struct bar3 : public base {
using base::foo;
template <typename T>
Opaque<1> foo() requires IsEmpty<T> { return Opaque<1>(); };
};
void func() {
expect<0>(base{}.foo<Empty>());
expect<0>(base{}.foo<int>());
expect<1>(bar1{}.foo<Empty>());
expect<0>(bar1{}.foo<int>());
expect<1>(bar2{}.foo<Empty>());
expect<0>(bar2{}.foo<int>());
expect<1>(bar3{}.foo<Empty>());
expect<0>(bar3{}.foo<int>());
}
}
namespace base_members_hidden {
struct base1 {
template <typename T> requires IsEmpty<T>
Opaque<0> foo() { return Opaque<0>(); }; // expected-note {{candidate function}}
};
struct bar1 : public base1 {
using base1::foo;
template <typename T> requires IsEmpty<T>
Opaque<1> foo() { return Opaque<1>(); };
};
struct base2 {
template <IsEmpty T>
Opaque<0> foo() { return Opaque<0>(); };
};
struct bar2 : public base2 {
using base2::foo;
template <IsEmpty T>
Opaque<1> foo() { return Opaque<1>(); };
};
struct baz : public base1 {
using base1::foo;
template <typename T> requires IsEmpty<T> && IsEmpty<T>
Opaque<1> foo() { return Opaque<1>(); }; // expected-note {{candidate function}}
};
void func() {
expect<0>(base1{}.foo<Empty>());
expect<1>(bar1{}.foo<Empty>());
expect<0>(base2{}.foo<Empty>());
expect<1>(bar2{}.foo<Empty>());
baz{}.foo<Empty>(); // expected-error {{call to member function 'foo' is ambiguous}}
}
} // namespace base_members_hidden
namespace same_contraint_at_different_place {
struct base {
template <IsEmpty T>
void foo1() {}; // expected-note 2 {{candidate function}}
template <typename T> requires IsEmpty<T>
void foo2() {}; // expected-note 2 {{candidate function}}
template <typename T>
void foo3() requires IsEmpty<T> {}; // expected-note 2 {{candidate function}}
};
struct bar1 : public base {
using base::foo1;
using base::foo2;
using base::foo3;
template <typename T> requires IsEmpty<T>
void foo1() {}; // expected-note {{candidate function}}
template <IsEmpty T>
void foo2() {}; // expected-note {{candidate function}}
template <IsEmpty T>
void foo3() {}; // expected-note {{candidate function}}
};
struct bar2 : public base {
using base::foo1;
using base::foo2;
using base::foo3;
template <typename T>
void foo1() requires IsEmpty<T> {}; // expected-note {{candidate function}}
template <typename T>
void foo2() requires IsEmpty<T> {}; // expected-note {{candidate function}}
template <typename T> requires IsEmpty<T>
void foo3() {}; // expected-note {{candidate function}}
};
void func() {
bar1{}.foo1<Empty>(); // expected-error {{call to member function 'foo1' is ambiguous}}
bar1{}.foo2<Empty>(); // expected-error {{call to member function 'foo2' is ambiguous}}
bar1{}.foo3<Empty>(); // expected-error {{call to member function 'foo3' is ambiguous}}
bar2{}.foo1<Empty>(); // expected-error {{call to member function 'foo1' is ambiguous}}
bar2{}.foo2<Empty>(); // expected-error {{call to member function 'foo2' is ambiguous}}
bar2{}.foo3<Empty>(); // expected-error {{call to member function 'foo3' is ambiguous}}
}
} // namespace same_constraint_at_different_place
namespace more_constrained {
struct base1 {
template <class T> Opaque<0> foo() { return Opaque<0>(); }
};
struct derived1 : base1 {
using base1::foo;
template <IsEmpty T> Opaque<1> foo() { return Opaque<1>(); }
};
struct base2 {
template <IsEmpty T> Opaque<0> foo() { return Opaque<0>(); }
};
struct derived2 : base2 {
using base2::foo;
template <class T> Opaque<1> foo() { return Opaque<1>(); }
};
void func() {
expect<0>(derived1{}.foo<int>());
expect<1>(derived1{}.foo<Empty>());
expect<0>(derived2{}.foo<Empty>());
expect<1>(derived2{}.foo<int>());
}
} // namespace more_constrained
} // namespace constrained_members
namespace heads_without_concepts {
struct base {
template <int N, int M>
int foo() { return 1; };
};
struct bar : public base {
using base::foo;
template <int N>
int foo() { return 2; }; // expected-note {{candidate template ignored: substitution failure: too many template arguments for function template 'foo'}}
};
void func() {
bar f;
f.foo<10>();
// FIXME(GH58571): bar::foo should not hide base::foo.
f.foo<10, 10>(); // expected-error {{no matching member function for call to 'foo'}}
}
} // namespace heads_without_concepts.
|
