Mercurial > hg > CbC > CbC_gcc
view libstdc++-v3/testsuite/21_strings/basic_string_view/operators/char/cmp_c++20.cc @ 152:2b5abeee2509
update gcc11
author | anatofuz |
---|---|
date | Mon, 25 May 2020 07:50:57 +0900 |
parents | |
children |
line wrap: on
line source
// { dg-options "-std=gnu++2a" } // { dg-do run { target c++2a } } // 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/>. // C++20 21.4.4 Non-member comparison functions [string.view.comparisons] // operator== /* template<class charT, class traits> constexpr bool operator==(basic_string_view<charT, traits> lhs, basic_string_view<charT, traits> rhs) noexcept; template<class charT, class traits> constexpr bool operator==(basic_string_view<charT, traits> lhs, type_identity_t<basic_string_view<charT, traits>> rhs) noexcept; */ // operator<=> /* template<class charT, class traits> constexpr [see below] operator<=>(basic_string_view<charT, traits> lhs, basic_string_view<charT, traits> rhs) noexcept; template<class charT, class traits> constexpr [see below] operator<=>(basic_string_view<charT, traits> lhs, type_identity_t<basic_string_view<charT, traits>> rhs) noexcept; */ #include <string_view> #include <testsuite_hooks.h> void test01() { std::string_view str_0("costa rica"); std::string_view str_1("costa marbella"); std::string_view str_2("cost"); std::string_view str_3("costa ricans"); std::string_view str_4; str_4 = str_0; //comparisons between string objects VERIFY( !(str_0 == str_1) ); VERIFY( !(str_0 == str_2) ); VERIFY( !(str_0 == str_3) ); VERIFY( !(str_1 == str_0) ); VERIFY( !(str_2 == str_0) ); VERIFY( !(str_3 == str_0) ); VERIFY( str_4 == str_0 ); VERIFY( str_0 == str_4 ); VERIFY( str_0 != str_1 ); VERIFY( str_0 != str_2 ); VERIFY( str_0 != str_3 ); VERIFY( str_1 != str_0 ); VERIFY( str_2 != str_0 ); VERIFY( str_3 != str_0 ); VERIFY( !(str_0 != str_4) ); VERIFY( !(str_4 != str_0) ); VERIFY( str_0 > str_1 ); //true cuz r>m VERIFY( str_0 > str_2 ); VERIFY( !(str_0 > str_3) ); VERIFY( !(str_1 > str_0) ); //false cuz m<r VERIFY( !(str_2 > str_0) ); VERIFY( str_3 > str_0 ); VERIFY( !(str_0 > str_4) ); VERIFY( !(str_4 > str_0) ); VERIFY( !(str_0 < str_1) ); //false cuz r>m VERIFY( !(str_0 < str_2) ); VERIFY( str_0 < str_3 ); VERIFY( str_1 < str_0 ); //true cuz m<r VERIFY( str_2 < str_0 ); VERIFY( !(str_3 < str_0) ); VERIFY( !(str_0 < str_4) ); VERIFY( !(str_4 < str_0) ); VERIFY( str_0 >= str_1 ); //true cuz r>m VERIFY( str_0 >= str_2 ); VERIFY( !(str_0 >= str_3) ); VERIFY( !(str_1 >= str_0) );//false cuz m<r VERIFY( !(str_2 >= str_0) ); VERIFY( str_3 >= str_0 ); VERIFY( str_0 >= str_4 ); VERIFY( str_4 >= str_0 ); VERIFY( !(str_0 <= str_1) );//false cuz r>m VERIFY( !(str_0 <= str_2) ); VERIFY( str_0 <= str_3 ); VERIFY( str_1 <= str_0 );//true cuz m<r VERIFY( str_2 <= str_0 ); VERIFY( !(str_3 <= str_0) ); VERIFY( str_0 <= str_4 ); VERIFY( str_4 <= str_0 ); VERIFY( std::is_gt(str_0 <=> str_1) ); VERIFY( std::is_gt(str_0 <=> str_2) ); VERIFY( std::is_lt(str_0 <=> str_3) ); VERIFY( std::is_eq(str_0 <=> str_4) ); VERIFY( std::is_lt(str_1 <=> str_0) ); VERIFY( std::is_lt(str_2 <=> str_0) ); VERIFY( std::is_gt(str_3 <=> str_0) ); VERIFY( std::is_eq(str_4 <=> str_0) ); //comparisons between string object and string literal VERIFY( !(str_0 == "costa marbella") ); VERIFY( !(str_0 == "cost") ); VERIFY( !(str_0 == "costa ricans") ); VERIFY( !("costa marbella" == str_0) ); VERIFY( !("cost" == str_0) ); VERIFY( !("costa ricans" == str_0) ); VERIFY( "costa rica" == str_0 ); VERIFY( str_0 == "costa rica" ); VERIFY( str_0 != "costa marbella" ); VERIFY( str_0 != "cost" ); VERIFY( str_0 != "costa ricans" ); VERIFY( "costa marbella" != str_0 ); VERIFY( "cost" != str_0 ); VERIFY( "costa ricans" != str_0 ); VERIFY( !("costa rica" != str_0) ); VERIFY( !(str_0 != "costa rica") ); VERIFY( str_0 > "costa marbella" ); //true cuz r>m VERIFY( str_0 > "cost" ); VERIFY( !(str_0 > "costa ricans") ); VERIFY( !("costa marbella" > str_0) );//false cuz m<r VERIFY( !("cost" > str_0) ); VERIFY( "costa ricans" > str_0 ); VERIFY( !("costa rica" > str_0) ); VERIFY( !(str_0 > "costa rica") ); VERIFY( !(str_0 < "costa marbella") );//false cuz r>m VERIFY( !(str_0 < "cost") ); VERIFY( str_0 < "costa ricans" ); VERIFY( "costa marbella" < str_0 );//true cuz m<r VERIFY( "cost" < str_0 ); VERIFY( !("costa ricans" < str_0) ); VERIFY( !("costa rica" < str_0) ); VERIFY( !(str_0 < "costa rica") ); VERIFY( str_0 >= "costa marbella" );//true cuz r>m VERIFY( str_0 >= "cost" ); VERIFY( !(str_0 >= "costa ricans") ); VERIFY( !("costa marbella" >= str_0) );//false cuz m<r VERIFY( !("cost" >= str_0) ); VERIFY( "costa ricans" >= str_0 ); VERIFY( "costa rica" >= str_0 ); VERIFY( str_0 >= "costa rica" ); VERIFY( !(str_0 <= "costa marbella") );//false cuz r>m VERIFY( !(str_0 <= "cost") ); VERIFY( str_0 <= "costa ricans" ); VERIFY( "costa marbella" <= str_0 );//true cuz m<r VERIFY( "cost" <= str_0 ); VERIFY( !("costa ricans" <= str_0) ); VERIFY( "costa rica" <= str_0 ); VERIFY( str_0 <= "costa rica" ); VERIFY( std::is_gt(str_0 <=> "costa marbella") ); VERIFY( std::is_gt(str_0 <=> "cost") ); VERIFY( std::is_lt(str_0 <=> "costa ricans") ); VERIFY( std::is_eq(str_0 <=> "costa rica") ); VERIFY( std::is_lt("costa marbella" <=> str_0) ); VERIFY( std::is_lt("cost" <=> str_0) ); VERIFY( std::is_gt("costa ricans" <=> str_0) ); VERIFY( std::is_eq("costa rica" <=> str_0) ); } constexpr bool test02() { std::string_view str_0("costa rica"); std::string_view str_1("costa marbella"); std::string_view str_2("cost"); std::string_view str_3("costa ricans"); std::string_view str_4; #undef VERIFY #define VERIFY(x) if (!(x)) return false str_4 = str_0; //comparisons between string objects VERIFY( !(str_0 == str_1) ); VERIFY( !(str_0 == str_2) ); VERIFY( !(str_0 == str_3) ); VERIFY( !(str_1 == str_0) ); VERIFY( !(str_2 == str_0) ); VERIFY( !(str_3 == str_0) ); VERIFY( str_4 == str_0 ); VERIFY( str_0 == str_4 ); VERIFY( str_0 != str_1 ); VERIFY( str_0 != str_2 ); VERIFY( str_0 != str_3 ); VERIFY( str_1 != str_0 ); VERIFY( str_2 != str_0 ); VERIFY( str_3 != str_0 ); VERIFY( !(str_0 != str_4) ); VERIFY( !(str_4 != str_0) ); VERIFY( str_0 > str_1 ); //true cuz r>m VERIFY( str_0 > str_2 ); VERIFY( !(str_0 > str_3) ); VERIFY( !(str_1 > str_0) ); //false cuz m<r VERIFY( !(str_2 > str_0) ); VERIFY( str_3 > str_0 ); VERIFY( !(str_0 > str_4) ); VERIFY( !(str_4 > str_0) ); VERIFY( !(str_0 < str_1) ); //false cuz r>m VERIFY( !(str_0 < str_2) ); VERIFY( str_0 < str_3 ); VERIFY( str_1 < str_0 ); //true cuz m<r VERIFY( str_2 < str_0 ); VERIFY( !(str_3 < str_0) ); VERIFY( !(str_0 < str_4) ); VERIFY( !(str_4 < str_0) ); VERIFY( str_0 >= str_1 ); //true cuz r>m VERIFY( str_0 >= str_2 ); VERIFY( !(str_0 >= str_3) ); VERIFY( !(str_1 >= str_0) );//false cuz m<r VERIFY( !(str_2 >= str_0) ); VERIFY( str_3 >= str_0 ); VERIFY( str_0 >= str_4 ); VERIFY( str_4 >= str_0 ); VERIFY( !(str_0 <= str_1) );//false cuz r>m VERIFY( !(str_0 <= str_2) ); VERIFY( str_0 <= str_3 ); VERIFY( str_1 <= str_0 );//true cuz m<r VERIFY( str_2 <= str_0 ); VERIFY( !(str_3 <= str_0) ); VERIFY( str_0 <= str_4 ); VERIFY( str_4 <= str_0 ); VERIFY( std::is_gt(str_0 <=> str_1) ); VERIFY( std::is_gt(str_0 <=> str_2) ); VERIFY( std::is_lt(str_0 <=> str_3) ); VERIFY( std::is_eq(str_0 <=> str_4) ); VERIFY( std::is_lt(str_1 <=> str_0) ); VERIFY( std::is_lt(str_2 <=> str_0) ); VERIFY( std::is_gt(str_3 <=> str_0) ); VERIFY( std::is_eq(str_4 <=> str_0) ); //comparisons between string object and string literal VERIFY( !(str_0 == "costa marbella") ); VERIFY( !(str_0 == "cost") ); VERIFY( !(str_0 == "costa ricans") ); VERIFY( !("costa marbella" == str_0) ); VERIFY( !("cost" == str_0) ); VERIFY( !("costa ricans" == str_0) ); VERIFY( "costa rica" == str_0 ); VERIFY( str_0 == "costa rica" ); VERIFY( str_0 != "costa marbella" ); VERIFY( str_0 != "cost" ); VERIFY( str_0 != "costa ricans" ); VERIFY( "costa marbella" != str_0 ); VERIFY( "cost" != str_0 ); VERIFY( "costa ricans" != str_0 ); VERIFY( !("costa rica" != str_0) ); VERIFY( !(str_0 != "costa rica") ); VERIFY( str_0 > "costa marbella" ); //true cuz r>m VERIFY( str_0 > "cost" ); VERIFY( !(str_0 > "costa ricans") ); VERIFY( !("costa marbella" > str_0) );//false cuz m<r VERIFY( !("cost" > str_0) ); VERIFY( "costa ricans" > str_0 ); VERIFY( !("costa rica" > str_0) ); VERIFY( !(str_0 > "costa rica") ); VERIFY( !(str_0 < "costa marbella") );//false cuz r>m VERIFY( !(str_0 < "cost") ); VERIFY( str_0 < "costa ricans" ); VERIFY( "costa marbella" < str_0 );//true cuz m<r VERIFY( "cost" < str_0 ); VERIFY( !("costa ricans" < str_0) ); VERIFY( !("costa rica" < str_0) ); VERIFY( !(str_0 < "costa rica") ); VERIFY( str_0 >= "costa marbella" );//true cuz r>m VERIFY( str_0 >= "cost" ); VERIFY( !(str_0 >= "costa ricans") ); VERIFY( !("costa marbella" >= str_0) );//false cuz m<r VERIFY( !("cost" >= str_0) ); VERIFY( "costa ricans" >= str_0 ); VERIFY( "costa rica" >= str_0 ); VERIFY( str_0 >= "costa rica" ); VERIFY( !(str_0 <= "costa marbella") );//false cuz r>m VERIFY( !(str_0 <= "cost") ); VERIFY( str_0 <= "costa ricans" ); VERIFY( "costa marbella" <= str_0 );//true cuz m<r VERIFY( "cost" <= str_0 ); VERIFY( !("costa ricans" <= str_0) ); VERIFY( "costa rica" <= str_0 ); VERIFY( str_0 <= "costa rica" ); VERIFY( std::is_gt(str_0 <=> "costa marbella") ); VERIFY( std::is_gt(str_0 <=> "cost") ); VERIFY( std::is_lt(str_0 <=> "costa ricans") ); VERIFY( std::is_eq(str_0 <=> "costa rica") ); VERIFY( std::is_lt("costa marbella" <=> str_0) ); VERIFY( std::is_lt("cost" <=> str_0) ); VERIFY( std::is_gt("costa ricans" <=> str_0) ); VERIFY( std::is_eq("costa rica" <=> str_0) ); return true; } int main() { test01(); static_assert( test02() ); }