a2863bde75
Swapping non-swappable types and LWG 2749, swappable traits for variants. * include/bits/move.h (swap(_Tp&, _Tp&)): Constrain with __is_tuple_like. * include/bits/stl_pair.h (swap(pair<_T1, _T2>&, pair<_T1, _T2>&)): Add a deleted overload. * include/bits/unique_ptr.h (swap(unique_ptr<_Tp, _Dp>&, unique_ptr<_Tp, _Dp>&)): Likewise. * include/std/array (swap(array<_Tp, _Nm>&, array<_Tp, _Nm>&)): Likewise. * include/std/optional (swap(optional<_Tp>&, optional<_Tp>&)): Likewise. * include/std/tuple (__is_tuple_like_impl, __is_tuple_like): Move to type_traits. (swap(tuple<_Elements...>&, tuple<_Elements...>&)): Add a deleted overload. * include/std/type_traits (__is_tuple_like_impl, __is_tuple_like): New. (swap(_Tp&, _Tp&)): Constrain with __is_tuple_like. * include/std/utility (__is_tuple_like_impl): Move to type_traits. * include/std/variant (swap(variant<_Types...>&, variant<_Types...>&)): Add a deleted overload. * testsuite/20_util/optional/swap/2.cc: Add tests for disabled swaps. * testsuite/20_util/pair/swap_cxx17.cc: New. * testsuite/20_util/tuple/swap_cxx17.cc: Likewise. * testsuite/20_util/unique_ptr/specialized_algorithms/swap_cxx17.cc: Likewise. * testsuite/20_util/variant/compile.cc: Add tests for disabled swaps. * testsuite/23_containers/array/specialized_algorithms/swap_cxx17.cc: New. * testsuite/23_containers/array/tuple_interface/get_neg.cc: Adjust. * testsuite/23_containers/array/tuple_interface/tuple_element_neg.cc: Likewise. From-SVN: r243120
44 lines
1.7 KiB
C++
44 lines
1.7 KiB
C++
// { dg-options "-std=gnu++17" }
|
|
// { dg-do compile }
|
|
|
|
// Copyright (C) 2016 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/>.
|
|
|
|
|
|
// NOTE: This makes use of the fact that we know how moveable
|
|
// is implemented on tuple. If the implementation changed
|
|
// this test may begin to fail.
|
|
|
|
#include <tuple>
|
|
|
|
// Not swappable, and tuple not swappable via the generic std::swap.
|
|
struct C { };
|
|
void swap(C&, C&) = delete;
|
|
|
|
static_assert( !std::is_swappable_v<std::tuple<int, C>> );
|
|
static_assert( !std::is_swappable_v<std::tuple<C, int>> );
|
|
static_assert( !std::is_swappable_v<std::tuple<int, int, C>> );
|
|
static_assert( !std::is_swappable_v<std::tuple<C, int, int>> );
|
|
|
|
// Not swappable, and tuple not swappable via the generic std::swap.
|
|
struct D { D(D&&) = delete; };
|
|
|
|
static_assert( !std::is_swappable_v<std::tuple<int, D>> );
|
|
static_assert( !std::is_swappable_v<std::tuple<D, int>> );
|
|
static_assert( !std::is_swappable_v<std::tuple<int, int, D>> );
|
|
static_assert( !std::is_swappable_v<std::tuple<D, int, int>> );
|