libstdc++-v3/testsuite/21_strings/basic_string_view/operators/wchar_t/cmp_c++20.cc

   1 // { dg-do run { target c++20 } }
   2
   3 // Copyright (C) 2020-2024 Free Software Foundation, Inc.
   4 //
   5 // This file is part of the GNU ISO C++ Library.  This library is free
   6 // software; you can redistribute it and/or modify it under the
   7 // terms of the GNU General Public License as published by the
   8 // Free Software Foundation; either version 3, or (at your option)
   9 // any later version.
  10
  11 // This library is distributed in the hope that it will be useful,
  12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 // GNU General Public License for more details.
  15
  16 // You should have received a copy of the GNU General Public License along
  17 // with this library; see the file COPYING3.  If not see
  18 // <http://www.gnu.org/licenses/>.
  19
  20 // C++20 21.4.4 Non-member comparison functions [string.view.comparisons]
  21
  22 // operator==
  23 /*
  24 template<class charT, class traits>
  25   constexpr bool
  26   operator==(basic_string_view<charT, traits> lhs,
  27              basic_string_view<charT, traits> rhs) noexcept;
  28
  29 template<class charT, class traits>
  30   constexpr bool
  31   operator==(basic_string_view<charT, traits> lhs,
  32              type_identity_t<basic_string_view<charT, traits>> rhs) noexcept;
  33 */
  34
  35 // operator<=>
  36 /*
  37 template<class charT, class traits>
  38   constexpr [see below]
  39   operator<=>(basic_string_view<charT, traits> lhs,
  40               basic_string_view<charT, traits> rhs) noexcept;
  41
  42 template<class charT, class traits>
  43   constexpr [see below]
  44   operator<=>(basic_string_view<charT, traits> lhs,
  45               type_identity_t<basic_string_view<charT, traits>> rhs) noexcept;
  46 */
  47
  48 #include <string_view>
  49 #include <testsuite_hooks.h>
  50
  51 void
  52 test01()
  53 {
  54   std::wstring_view     str_0(L"costa rica");
  55   std::wstring_view     str_1(L"costa marbella");
  56   std::wstring_view     str_2(L"cost");
  57   std::wstring_view     str_3(L"costa ricans");
  58   std::wstring_view  str_4;
  59
  60   str_4 = str_0;
  61   //comparisons between string_view objects
  62   VERIFY( !(str_0 == str_1) );
  63   VERIFY( !(str_0 == str_2) );
  64   VERIFY( !(str_0 == str_3) );
  65   VERIFY( !(str_1 == str_0) );
  66   VERIFY( !(str_2 == str_0) );
  67   VERIFY( !(str_3 == str_0) );
  68   VERIFY( str_4 == str_0 );
  69   VERIFY( str_0 == str_4 );
  70
  71   VERIFY( str_0 != str_1 );
  72   VERIFY( str_0 != str_2 );
  73   VERIFY( str_0 != str_3 );
  74   VERIFY( str_1 != str_0 );
  75   VERIFY( str_2 != str_0 );
  76   VERIFY( str_3 != str_0 );
  77   VERIFY( !(str_0 != str_4) );
  78   VERIFY( !(str_4 != str_0) );
  79
  80   VERIFY( str_0 > str_1 ); //true cuz r>m
  81   VERIFY( str_0 > str_2 );
  82   VERIFY( !(str_0 > str_3) );
  83   VERIFY( !(str_1 > str_0) ); //false cuz m<r
  84   VERIFY( !(str_2 > str_0) );
  85   VERIFY( str_3 > str_0 );
  86   VERIFY( !(str_0 > str_4) );
  87   VERIFY( !(str_4 > str_0) );
  88
  89   VERIFY( !(str_0 < str_1) ); //false cuz r>m
  90   VERIFY( !(str_0 < str_2) );
  91   VERIFY( str_0 < str_3 );
  92   VERIFY( str_1 < str_0 ); //true cuz m<r
  93   VERIFY( str_2 < str_0 );
  94   VERIFY( !(str_3 < str_0) );
  95   VERIFY( !(str_0 < str_4) );
  96   VERIFY( !(str_4 < str_0) );
  97
  98   VERIFY( str_0 >= str_1 ); //true cuz r>m
  99   VERIFY( str_0 >= str_2 );
 100   VERIFY( !(str_0 >= str_3) );
 101   VERIFY( !(str_1 >= str_0) );//false cuz m<r
 102   VERIFY( !(str_2 >= str_0) );
 103   VERIFY( str_3 >= str_0 );
 104   VERIFY( str_0 >= str_4 );
 105   VERIFY( str_4 >= str_0 );
 106
 107   VERIFY( !(str_0 <= str_1) );//false cuz r>m
 108   VERIFY( !(str_0 <= str_2) );
 109   VERIFY( str_0 <= str_3 );
 110   VERIFY( str_1 <= str_0 );//true cuz m<r
 111   VERIFY( str_2 <= str_0 );
 112   VERIFY( !(str_3 <= str_0) );
 113   VERIFY( str_0 <= str_4 );
 114   VERIFY( str_4 <= str_0 );
 115
 116   VERIFY( std::is_gt(str_0 <=> str_1) );
 117   VERIFY( std::is_gt(str_0 <=> str_2) );
 118   VERIFY( std::is_lt(str_0 <=> str_3) );
 119   VERIFY( std::is_eq(str_0 <=> str_4) );
 120   VERIFY( std::is_lt(str_1 <=> str_0) );
 121   VERIFY( std::is_lt(str_2 <=> str_0) );
 122   VERIFY( std::is_gt(str_3 <=> str_0) );
 123   VERIFY( std::is_eq(str_4 <=> str_0) );
 124
 125   //comparisons between string_view object and string_view literal
 126   VERIFY( !(str_0 == L"costa marbella") );
 127   VERIFY( !(str_0 == L"cost") );
 128   VERIFY( !(str_0 == L"costa ricans") );
 129   VERIFY( !(L"costa marbella" == str_0) );
 130   VERIFY( !(L"cost" == str_0) );
 131   VERIFY( !(L"costa ricans" == str_0) );
 132   VERIFY( L"costa rica" == str_0 );
 133   VERIFY( str_0 == L"costa rica" );
 134
 135   VERIFY( str_0 != L"costa marbella" );
 136   VERIFY( str_0 != L"cost" );
 137   VERIFY( str_0 != L"costa ricans" );
 138   VERIFY( L"costa marbella" != str_0 );
 139   VERIFY( L"cost" != str_0 );
 140   VERIFY( L"costa ricans" != str_0 );
 141   VERIFY( !(L"costa rica" != str_0) );
 142   VERIFY( !(str_0 != L"costa rica") );
 143
 144   VERIFY( str_0 > L"costa marbella" ); //true cuz r>m
 145   VERIFY( str_0 > L"cost" );
 146   VERIFY( !(str_0 > L"costa ricans") );
 147   VERIFY( !(L"costa marbella" > str_0) );//false cuz m<r
 148   VERIFY( !(L"cost" > str_0) );
 149   VERIFY( L"costa ricans" > str_0 );
 150   VERIFY( !(L"costa rica" > str_0) );
 151   VERIFY( !(str_0 > L"costa rica") );
 152
 153   VERIFY( !(str_0 < L"costa marbella") );//false cuz r>m
 154   VERIFY( !(str_0 < L"cost") );
 155   VERIFY( str_0 < L"costa ricans" );
 156   VERIFY( L"costa marbella" < str_0 );//true cuz m<r
 157   VERIFY( L"cost" < str_0 );
 158   VERIFY( !(L"costa ricans" < str_0) );
 159   VERIFY( !(L"costa rica" < str_0) );
 160   VERIFY( !(str_0 < L"costa rica") );
 161
 162   VERIFY( str_0 >= L"costa marbella" );//true cuz r>m
 163   VERIFY( str_0 >= L"cost" );
 164   VERIFY( !(str_0 >= L"costa ricans") );
 165   VERIFY( !(L"costa marbella" >= str_0) );//false cuz m<r
 166   VERIFY( !(L"cost" >= str_0) );
 167   VERIFY( L"costa ricans" >= str_0 );
 168   VERIFY( L"costa rica" >= str_0 );
 169   VERIFY( str_0 >= L"costa rica" );
 170
 171   VERIFY( !(str_0 <= L"costa marbella") );//false cuz r>m
 172   VERIFY( !(str_0 <= L"cost") );
 173   VERIFY( str_0 <= L"costa ricans" );
 174   VERIFY( L"costa marbella" <= str_0 );//true cuz m<r
 175   VERIFY( L"cost" <= str_0 );
 176   VERIFY( !(L"costa ricans" <= str_0) );
 177   VERIFY( L"costa rica" <= str_0 );
 178   VERIFY( str_0 <= L"costa rica" );
 179
 180   VERIFY( std::is_gt(str_0 <=> L"costa marbella") );
 181   VERIFY( std::is_gt(str_0 <=> L"cost") );
 182   VERIFY( std::is_lt(str_0 <=> L"costa ricans") );
 183   VERIFY( std::is_eq(str_0 <=> L"costa rica") );
 184   VERIFY( std::is_lt(L"costa marbella" <=> str_0) );
 185   VERIFY( std::is_lt(L"cost" <=> str_0) );
 186   VERIFY( std::is_gt(L"costa ricans" <=> str_0) );
 187   VERIFY( std::is_eq(L"costa rica" <=> str_0) );
 188 }
 189
 190 constexpr bool
 191 test02()
 192 {
 193   std::wstring_view     str_0(L"costa rica");
 194   std::wstring_view     str_1(L"costa marbella");
 195   std::wstring_view     str_2(L"cost");
 196   std::wstring_view     str_3(L"costa ricans");
 197   std::wstring_view  str_4;
 198
 199 #undef VERIFY
 200 #define VERIFY(x) if (!(x)) return false
 201
 202   str_4 = str_0;
 203   //comparisons between string_view objects
 204   VERIFY( !(str_0 == str_1) );
 205   VERIFY( !(str_0 == str_2) );
 206   VERIFY( !(str_0 == str_3) );
 207   VERIFY( !(str_1 == str_0) );
 208   VERIFY( !(str_2 == str_0) );
 209   VERIFY( !(str_3 == str_0) );
 210   VERIFY( str_4 == str_0 );
 211   VERIFY( str_0 == str_4 );
 212
 213   VERIFY( str_0 != str_1 );
 214   VERIFY( str_0 != str_2 );
 215   VERIFY( str_0 != str_3 );
 216   VERIFY( str_1 != str_0 );
 217   VERIFY( str_2 != str_0 );
 218   VERIFY( str_3 != str_0 );
 219   VERIFY( !(str_0 != str_4) );
 220   VERIFY( !(str_4 != str_0) );
 221
 222   VERIFY( str_0 > str_1 ); //true cuz r>m
 223   VERIFY( str_0 > str_2 );
 224   VERIFY( !(str_0 > str_3) );
 225   VERIFY( !(str_1 > str_0) ); //false cuz m<r
 226   VERIFY( !(str_2 > str_0) );
 227   VERIFY( str_3 > str_0 );
 228   VERIFY( !(str_0 > str_4) );
 229   VERIFY( !(str_4 > str_0) );
 230
 231   VERIFY( !(str_0 < str_1) ); //false cuz r>m
 232   VERIFY( !(str_0 < str_2) );
 233   VERIFY( str_0 < str_3 );
 234   VERIFY( str_1 < str_0 ); //true cuz m<r
 235   VERIFY( str_2 < str_0 );
 236   VERIFY( !(str_3 < str_0) );
 237   VERIFY( !(str_0 < str_4) );
 238   VERIFY( !(str_4 < str_0) );
 239
 240   VERIFY( str_0 >= str_1 ); //true cuz r>m
 241   VERIFY( str_0 >= str_2 );
 242   VERIFY( !(str_0 >= str_3) );
 243   VERIFY( !(str_1 >= str_0) );//false cuz m<r
 244   VERIFY( !(str_2 >= str_0) );
 245   VERIFY( str_3 >= str_0 );
 246   VERIFY( str_0 >= str_4 );
 247   VERIFY( str_4 >= str_0 );
 248
 249   VERIFY( !(str_0 <= str_1) );//false cuz r>m
 250   VERIFY( !(str_0 <= str_2) );
 251   VERIFY( str_0 <= str_3 );
 252   VERIFY( str_1 <= str_0 );//true cuz m<r
 253   VERIFY( str_2 <= str_0 );
 254   VERIFY( !(str_3 <= str_0) );
 255   VERIFY( str_0 <= str_4 );
 256   VERIFY( str_4 <= str_0 );
 257
 258   VERIFY( std::is_gt(str_0 <=> str_1) );
 259   VERIFY( std::is_gt(str_0 <=> str_2) );
 260   VERIFY( std::is_lt(str_0 <=> str_3) );
 261   VERIFY( std::is_eq(str_0 <=> str_4) );
 262   VERIFY( std::is_lt(str_1 <=> str_0) );
 263   VERIFY( std::is_lt(str_2 <=> str_0) );
 264   VERIFY( std::is_gt(str_3 <=> str_0) );
 265   VERIFY( std::is_eq(str_4 <=> str_0) );
 266
 267   //comparisons between string_view object and string_view literal
 268   VERIFY( !(str_0 == L"costa marbella") );
 269   VERIFY( !(str_0 == L"cost") );
 270   VERIFY( !(str_0 == L"costa ricans") );
 271   VERIFY( !(L"costa marbella" == str_0) );
 272   VERIFY( !(L"cost" == str_0) );
 273   VERIFY( !(L"costa ricans" == str_0) );
 274   VERIFY( L"costa rica" == str_0 );
 275   VERIFY( str_0 == L"costa rica" );
 276
 277   VERIFY( str_0 != L"costa marbella" );
 278   VERIFY( str_0 != L"cost" );
 279   VERIFY( str_0 != L"costa ricans" );
 280   VERIFY( L"costa marbella" != str_0 );
 281   VERIFY( L"cost" != str_0 );
 282   VERIFY( L"costa ricans" != str_0 );
 283   VERIFY( !(L"costa rica" != str_0) );
 284   VERIFY( !(str_0 != L"costa rica") );
 285
 286   VERIFY( str_0 > L"costa marbella" ); //true cuz r>m
 287   VERIFY( str_0 > L"cost" );
 288   VERIFY( !(str_0 > L"costa ricans") );
 289   VERIFY( !(L"costa marbella" > str_0) );//false cuz m<r
 290   VERIFY( !(L"cost" > str_0) );
 291   VERIFY( L"costa ricans" > str_0 );
 292   VERIFY( !(L"costa rica" > str_0) );
 293   VERIFY( !(str_0 > L"costa rica") );
 294
 295   VERIFY( !(str_0 < L"costa marbella") );//false cuz r>m
 296   VERIFY( !(str_0 < L"cost") );
 297   VERIFY( str_0 < L"costa ricans" );
 298   VERIFY( L"costa marbella" < str_0 );//true cuz m<r
 299   VERIFY( L"cost" < str_0 );
 300   VERIFY( !(L"costa ricans" < str_0) );
 301   VERIFY( !(L"costa rica" < str_0) );
 302   VERIFY( !(str_0 < L"costa rica") );
 303
 304   VERIFY( str_0 >= L"costa marbella" );//true cuz r>m
 305   VERIFY( str_0 >= L"cost" );
 306   VERIFY( !(str_0 >= L"costa ricans") );
 307   VERIFY( !(L"costa marbella" >= str_0) );//false cuz m<r
 308   VERIFY( !(L"cost" >= str_0) );
 309   VERIFY( L"costa ricans" >= str_0 );
 310   VERIFY( L"costa rica" >= str_0 );
 311   VERIFY( str_0 >= L"costa rica" );
 312
 313   VERIFY( !(str_0 <= L"costa marbella") );//false cuz r>m
 314   VERIFY( !(str_0 <= L"cost") );
 315   VERIFY( str_0 <= L"costa ricans" );
 316   VERIFY( L"costa marbella" <= str_0 );//true cuz m<r
 317   VERIFY( L"cost" <= str_0 );
 318   VERIFY( !(L"costa ricans" <= str_0) );
 319   VERIFY( L"costa rica" <= str_0 );
 320   VERIFY( str_0 <= L"costa rica" );
 321
 322   VERIFY( std::is_gt(str_0 <=> L"costa marbella") );
 323   VERIFY( std::is_gt(str_0 <=> L"cost") );
 324   VERIFY( std::is_lt(str_0 <=> L"costa ricans") );
 325   VERIFY( std::is_eq(str_0 <=> L"costa rica") );
 326   VERIFY( std::is_lt(L"costa marbella" <=> str_0) );
 327   VERIFY( std::is_lt(L"cost" <=> str_0) );
 328   VERIFY( std::is_gt(L"costa ricans" <=> str_0) );
 329   VERIFY( std::is_eq(L"costa rica" <=> str_0) );
 330
 331   return true;
 332 }
 333
 334 int
 335 main()
 336 {
 337   test01();
 338   static_assert( test02() );
 339 }