1 // Copyright (C) 2019-2020 Free Software Foundation, Inc.
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)
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.
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/>.
18 // { dg-options "-std=gnu++2a" }
19 // { dg-do run { target c++2a } }
22 #include <testsuite_hooks.h>
26 using F
= std::ranges::equal_to
;
27 static_assert( std::is_default_constructible_v
<F
> );
28 static_assert( std::is_copy_constructible_v
<F
> );
29 static_assert( std::is_move_constructible_v
<F
> );
30 static_assert( std::is_copy_assignable_v
<F
> );
31 static_assert( std::is_move_assignable_v
<F
> );
33 static_assert( ! std::is_invocable_v
<F
> );
34 static_assert( ! std::is_invocable_v
<F
, int&> );
35 static_assert( ! std::is_invocable_v
<F
, int, void> );
36 static_assert( ! std::is_invocable_v
<F
, int, void*> );
37 static_assert( std::is_nothrow_invocable_r_v
<bool, F
&, int&, int> );
38 static_assert( std::is_nothrow_invocable_r_v
<bool, F
, const long&, char> );
39 static_assert( std::is_nothrow_invocable_r_v
<bool, const F
&, short, int&> );
40 static_assert( std::is_nothrow_invocable_r_v
<bool, const F
, const char, char> );
42 using T
= F::is_transparent
; // required typedef
44 static_assert( std::ranges::equal_to
{}(99, 99.0) );
45 static_assert( ! std::ranges::equal_to
{}(99, 99.01) );
46 static_assert( ! std::ranges::equal_to
{}(99, 140L) );
53 VERIFY( f(&a
, (void*)&a
[0]) );
54 VERIFY( ! f(&a
, (void*)&a
[1]) );
55 VERIFY( f(&a
+ 1, (void*)(a
+ 2)) );
59 int operator==(X
, X
) noexcept
{ return 2; }
60 int operator!=(X
, X
) { return 0; }
62 static_assert( std::is_nothrow_invocable_r_v
<bool, F
&, X
, X
> );