]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/testsuite/20_util/function_objects/identity/1.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 20_util / function_objects / identity / 1.cc
CommitLineData
8d9254fc 1// Copyright (C) 2019-2020 Free Software Foundation, Inc.
da8ddcec
JW
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 <functional>
22
23// C++20 [func.identity]
24static_assert( std::is_default_constructible_v<std::identity> );
25static_assert( std::is_copy_constructible_v<std::identity> );
26static_assert( std::is_move_constructible_v<std::identity> );
27static_assert( std::is_copy_assignable_v<std::identity> );
28static_assert( std::is_move_assignable_v<std::identity> );
29
30static_assert( !std::is_invocable_v<std::identity> );
31static_assert( !std::is_invocable_v<std::identity, int&, int&> );
32static_assert( std::is_nothrow_invocable_r_v<int&, std::identity&, int&> );
33static_assert( std::is_nothrow_invocable_r_v<const long&, std::identity, const long&> );
34static_assert( std::is_nothrow_invocable_r_v<short&&, const std::identity&, short> );
35static_assert( std::is_nothrow_invocable_r_v<const char&&, const std::identity, const char> );
36
37int i;
38static_assert( std::addressof(std::identity{}(i)) == std::addressof(i) );
39
40using T = std::identity::is_transparent; // required typedef