Mercurial > hg > CbC > CbC_gcc

comparison libstdc++-v3/testsuite/20_util/optional/relops/three_way.cc @ 152:2b5abeee2509

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents
children
comparison
equal deleted inserted replaced
145:1830386684a0 152:2b5abeee2509
1 // Copyright (C) 2020 Free Software Foundation, Inc.
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 compile { target c++2a } }
20
21 #include <optional>
22
23 void
24 test01()
25 {
26 using O = std::optional<int>;
27
28 static_assert( std::is_eq(O{} <=> O{}) );
29 static_assert( std::is_lt(O{} <=> O{1}) );
30 static_assert( std::is_gt(O{1} <=> O{}) );
31 static_assert( std::is_eq(O{1} <=> O{1}) );
32 static_assert( std::is_lt(O{1} <=> O{2}) );
33
34 static_assert( O{} == O{} );
35 static_assert( O{} < O{1} );
36 static_assert( O{1} > O{} );
37 static_assert( O{1} == O{1} );
38 static_assert( O{1} != O{2} );
39 static_assert( O{1} < O{2} );
40
41 using Os = std::optional<short>;
42 static_assert( std::is_eq(O{} <=> Os{}) );
43 static_assert( std::is_lt(O{} <=> Os{1}) );
44 static_assert( std::is_gt(O{1} <=> Os{}) );
45 static_assert( std::is_eq(O{1} <=> Os{1}) );
46 static_assert( std::is_lt(O{1} <=> Os{2}) );
47
48 static_assert( O{} == Os{} );
49 static_assert( O{} < Os{1} );
50 static_assert( O{1} > Os{} );
51 static_assert( O{1} == Os{1} );
52 static_assert( O{1} != Os{2} );
53 static_assert( O{1} < Os{2} );
54
55 // Would requires narrowing conversion to make operands the same type:
56 static_assert( !std::three_way_comparable_with<O, std::optional<unsigned>> );
57 }
58
59 void
60 test02()
61 {
62 using O = std::optional<int>;
63 using std::nullopt;
64
65 static_assert( std::is_eq(O{} <=> nullopt) );
66 static_assert( std::is_gt(O{1} <=> nullopt) );
67 static_assert( std::is_lt(nullopt <=> O{1}) );
68
69 static_assert( O{} == nullopt );
70 static_assert( O{1} != nullopt );
71 static_assert( nullopt != O{1} );
72 static_assert( O{1} > nullopt );
73 static_assert( nullopt < O{1} );
74 static_assert( nullopt <= O{} );
75 static_assert( nullopt <= O{1} );
76 }