]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/20_util/tuple/make_from_tuple/2.cc
1 // Copyright (C) 2019-2022 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-do compile { target c++17 } }
20 // Test noexcept-specifier on std::make_from_tuple
24 using std::make_from_tuple
;
30 static_assert( !noexcept(make_from_tuple
<T1
>(declval
<tuple
<>>())) );
31 static_assert( !noexcept(make_from_tuple
<T1
>(declval
<tuple
<>&>())) );
32 static_assert( !noexcept(make_from_tuple
<T1
>(declval
<const tuple
<>>())) );
33 static_assert( !noexcept(make_from_tuple
<T1
>(declval
<const tuple
<>&>())) );
37 static_assert( noexcept(make_from_tuple
<T2
>(declval
<tuple
<>>())) );
38 static_assert( noexcept(make_from_tuple
<T2
>(declval
<tuple
<>&>())) );
39 static_assert( noexcept(make_from_tuple
<T2
>(declval
<const tuple
<>>())) );
40 static_assert( noexcept(make_from_tuple
<T2
>(declval
<const tuple
<>&>())) );
45 T3(const int&) noexcept
;
49 static_assert( noexcept(make_from_tuple
<T3
>(declval
<tuple
<int>>())) );
50 static_assert( !noexcept(make_from_tuple
<T3
>(declval
<tuple
<int>&>())) );
51 static_assert( !noexcept(make_from_tuple
<T3
>(declval
<const tuple
<int>>())) );
52 static_assert( noexcept(make_from_tuple
<T3
>(declval
<const tuple
<int>&>())) );
56 T4(int&&, int&&) noexcept
;
59 static_assert( noexcept(make_from_tuple
<T4
>(declval
<tuple
<int, int>>())) );
60 static_assert( !noexcept(make_from_tuple
<T4
>(declval
<tuple
<int, int>&>())) );
61 static_assert( !noexcept(make_from_tuple
<T4
>(declval
<tuple
<int&, const int>>())) );
62 static_assert( !noexcept(make_from_tuple
<T4
>(declval
<tuple
<int, const int>&>())) );