]>
Commit | Line | Data |
---|---|---|
99dee823 | 1 | // Copyright (C) 2020-2021 Free Software Foundation, Inc. |
93843da6 JW |
2 | // |
3 | // This file is part of the GNU ISO C++ Library. This library is free | |
4 | // software; you can redistribute it and/or modify it under the | |
5 | // terms of the GNU General Public License as published by the | |
6 | // Free Software Foundation; either version 3, or (at your option) | |
7 | // any later version. | |
8 | ||
9 | // This library is distributed in the hope that it will be useful, | |
10 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | |
11 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
12 | // GNU General Public License for more details. | |
13 | ||
14 | // You should have received a copy of the GNU General Public License along | |
15 | // with this library; see the file COPYING3. If not see | |
16 | // <http://www.gnu.org/licenses/>. | |
17 | ||
18 | // { dg-options "-std=gnu++2a" } | |
19 | // { dg-do run { target c++2a } } | |
20 | ||
21 | #include <map> | |
22 | #include <testsuite_hooks.h> | |
23 | ||
24 | void | |
25 | test01() | |
26 | { | |
27 | std::multimap<int, int> c1{ {1,1}, {2,1}, {3,1} }; | |
28 | std::multimap<int, int> c2{ {1,1}, {2,1}, {3,1}, {4,1} }; | |
29 | std::multimap<int, int> c3{ {1,1}, {2,1}, {3,2} }; | |
30 | VERIFY( c1 == c1 ); | |
31 | VERIFY( std::is_eq(c1 <=> c1) ); | |
32 | VERIFY( c1 < c2 ); | |
33 | VERIFY( std::is_lt(c1 <=> c2) ); | |
34 | VERIFY( c1 < c3 ); | |
35 | VERIFY( std::is_lt(c1 <=> c3) ); | |
36 | VERIFY( c2 < c3 ); | |
37 | VERIFY( std::is_lt(c2 <=> c3) ); | |
38 | ||
39 | static_assert( std::totally_ordered<std::multimap<int, int>> ); | |
40 | ||
41 | static_assert( std::three_way_comparable<std::multimap<int, int>, | |
42 | std::strong_ordering> ); | |
43 | static_assert( ! std::three_way_comparable<std::multimap<int, float>, | |
44 | std::strong_ordering> ); | |
45 | static_assert( ! std::three_way_comparable<std::multimap<int, float>, | |
46 | std::weak_ordering> ); | |
47 | static_assert( std::three_way_comparable<std::multimap<int, float>, | |
48 | std::partial_ordering> ); | |
49 | ||
50 | struct E | |
51 | { | |
52 | bool operator==(E) { return true; } | |
53 | }; | |
54 | static_assert( ! std::totally_ordered<std::multimap<int, E>> ); | |
55 | static_assert( ! std::three_way_comparable<E> ); | |
56 | static_assert( ! std::three_way_comparable<std::multimap<int, E>> ); | |
57 | } | |
58 | ||
59 | void | |
60 | test02() | |
61 | { | |
62 | struct W | |
63 | { | |
64 | int value = 0; | |
65 | ||
66 | bool operator==(W rhs) const noexcept | |
67 | { return (value | 1) == (rhs.value | 1); } | |
68 | ||
69 | std::weak_ordering | |
70 | operator<=>(W rhs) const noexcept | |
71 | { return (value | 1) <=> (rhs.value | 1); } | |
72 | }; | |
73 | ||
74 | static_assert( std::totally_ordered<std::multimap<int, W>> ); | |
75 | ||
76 | using P = std::pair<const W, W>; | |
77 | std::multimap<W, W> c1{ P{1,1}, P{2,2}, P{3,3} }, c2{ P{1,0}, P{3,2}, P{3,3} }; | |
78 | static_assert( std::same_as<decltype(c1 <=> c1), std::weak_ordering> ); | |
79 | VERIFY( c1 == c2 ); | |
80 | VERIFY( std::is_eq(c1 <=> c2) ); | |
81 | } | |
82 | ||
83 | void | |
84 | test04() | |
85 | { | |
86 | struct L | |
87 | { | |
88 | int value = 0; | |
89 | ||
90 | bool operator<(L rhs) const noexcept { return value < rhs.value; } | |
91 | }; | |
92 | ||
93 | static_assert( std::totally_ordered<std::multimap<int, L>> ); | |
94 | ||
95 | using P = std::pair<const L, L>; | |
96 | std::multimap<L, L> c{ P{1,1}, P{2,2}, P{3,3} }, d{ P{1,1}, P{2,2}, P{3,4} }; | |
97 | static_assert( std::same_as<decltype(c <=> c), std::weak_ordering> ); | |
98 | VERIFY( std::is_lt(c <=> d) ); | |
99 | } | |
100 | ||
101 | // Associative container iterators are not random access | |
102 | static_assert( ! std::totally_ordered<std::multimap<int, int>::iterator> ); | |
103 | static_assert( ! std::three_way_comparable<std::multimap<int, int>::iterator> ); | |
104 | ||
105 | int | |
106 | main() | |
107 | { | |
108 | test01(); | |
109 | test02(); | |
110 | test04(); | |
111 | } |