blob: ecb46b016a61b103d455452f9640fa6b1cba5674 (
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
|
// Test that most properties of <=> are copied to ==.
// { dg-do compile { target c++20 } }
#include <compare>
template<typename T> struct X {
T t;
friend consteval std::partial_ordering operator<=>(X, X) requires (sizeof(T) != 1) = default;
// implicitly declares: friend constexpr bool operator==(X, X) requires (sizeof(T) != 1) = default;
};
template<typename T> struct Y {
[[nodiscard]] virtual std::strong_ordering operator<=>(const Y&) const = default;
// implicitly declares: [[nodiscard]] virtual bool operator==(const Y&) const = default;
};
struct Z: Y<int>
{
bool operator==(const Y&) const noexcept override;
};
int main()
{
X<char>() == X<char>(); // { dg-error "no match" }
X<int> x; x == x; // { dg-error "x' is not usable in a constant expression|call to consteval function" }
Y<int>() == Y<int>(); // { dg-warning "nodiscard" }
}
|
