blob: 94cebb9cd2a45e4169e4e69e321e01d635ba2416 (
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
|
// { dg-do run { target c++20 } }
// { dg-skip-if "requires hosted libstdc++ for cassert" { ! hostedlib } }
#include <cassert>
template<typename T>
concept C = __is_class(T);
template<typename T>
concept D = C<T> && __is_empty(T);
struct X { } x;
struct Y { int n; } y;
int called = 0;
template<typename T>
struct S {
void f() { called = 0; } // #1
void f() requires C<T> { called = 0; } // #2
void g() requires C<T> { } // #1
void g() requires D<T> { } // #2
};
template<> void S<int>::f() { called = 1; } // Spec of #1
template<> void S<X>::f() { called = 2; } // Spec of #2
template<> void S<X>::g() { called = 3; } // Spec of #2
template<> void S<Y>::g() { called = 4; } // Spec of #1
int main() {
S<double> sd;
S<int> si;
S<X> sx;
S<Y> sy;
sd.f();
assert(called == 0);
si.f();
assert(called == 1);
sx.f();
assert(called == 2);
sy.f();
assert(called == 0);
sx.g();
assert(called == 3);
sy.g();
assert(called == 4);
}
|
