Mercurial > hg > CbC > CbC_gcc
view libstdc++-v3/testsuite/20_util/optional/relops/three_way.cc @ 152:2b5abeee2509
update gcc11
author | anatofuz |
---|---|
date | Mon, 25 May 2020 07:50:57 +0900 |
parents | |
children |
line wrap: on
line source
// Copyright (C) 2020 Free Software Foundation, Inc. // // This file is part of the GNU ISO C++ Library. This library is free // software; you can redistribute it and/or modify it under the // terms of the GNU General Public License as published by the // Free Software Foundation; either version 3, or (at your option) // any later version. // This library is distributed in the hope that it will be useful, // but WITHOUT ANY WARRANTY; without even the implied warranty of // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the // GNU General Public License for more details. // You should have received a copy of the GNU General Public License along // with this library; see the file COPYING3. If not see // <http://www.gnu.org/licenses/>. // { dg-options "-std=gnu++2a" } // { dg-do compile { target c++2a } } #include <optional> void test01() { using O = std::optional<int>; static_assert( std::is_eq(O{} <=> O{}) ); static_assert( std::is_lt(O{} <=> O{1}) ); static_assert( std::is_gt(O{1} <=> O{}) ); static_assert( std::is_eq(O{1} <=> O{1}) ); static_assert( std::is_lt(O{1} <=> O{2}) ); static_assert( O{} == O{} ); static_assert( O{} < O{1} ); static_assert( O{1} > O{} ); static_assert( O{1} == O{1} ); static_assert( O{1} != O{2} ); static_assert( O{1} < O{2} ); using Os = std::optional<short>; static_assert( std::is_eq(O{} <=> Os{}) ); static_assert( std::is_lt(O{} <=> Os{1}) ); static_assert( std::is_gt(O{1} <=> Os{}) ); static_assert( std::is_eq(O{1} <=> Os{1}) ); static_assert( std::is_lt(O{1} <=> Os{2}) ); static_assert( O{} == Os{} ); static_assert( O{} < Os{1} ); static_assert( O{1} > Os{} ); static_assert( O{1} == Os{1} ); static_assert( O{1} != Os{2} ); static_assert( O{1} < Os{2} ); // Would requires narrowing conversion to make operands the same type: static_assert( !std::three_way_comparable_with<O, std::optional<unsigned>> ); } void test02() { using O = std::optional<int>; using std::nullopt; static_assert( std::is_eq(O{} <=> nullopt) ); static_assert( std::is_gt(O{1} <=> nullopt) ); static_assert( std::is_lt(nullopt <=> O{1}) ); static_assert( O{} == nullopt ); static_assert( O{1} != nullopt ); static_assert( nullopt != O{1} ); static_assert( O{1} > nullopt ); static_assert( nullopt < O{1} ); static_assert( nullopt <= O{} ); static_assert( nullopt <= O{1} ); }