PR libstdc++/86963 Remove use of __tuple_base in std::tuple
authorJonathan Wakely <jwakely@redhat.com>
Mon, 20 Aug 2018 13:53:56 +0000 (14:53 +0100)
committerJonathan Wakely <redi@gcc.gnu.org>
Mon, 20 Aug 2018 13:53:56 +0000 (14:53 +0100)
commita2c5e1ae5988cef25799a569f3255ac14c8ba41a
tree02e1aebc861f087b2cc513bd35717069a19b42f4
parentea379c9ec3776b9d4f72d5d8c8987e2e43c7baae
PR libstdc++/86963 Remove use of __tuple_base in std::tuple

The _Tuple_impl base class can be used to disable copy/move assignment,
without requiring an extra base class.

Exception specifications on std::tuple assignment and swap functions can
be defined directly using is_nothrow_swappable, instead of querying the
base classes.

PR libstdc++/86963
* include/std/tuple (_Tuple_impl::operator=): Define as deleted.
(_Tuple_impl::_M_assign): New functions to perform assignment instead
of assignment operators.
(_Tuple_impl::_M_swap): Remove exception specification.
(_Tuple_impl<_Idx, _Head>): Likewise.
(_TC::_NonNestedTuple, _TC::_NotSameTuple): Use __remove_cvref_t.
(__tuple_base): Remove.
(tuple, tuple<_T1, _T2>): Remove inheritance from __tuple_base.
(tuple::operator=, tuple<_T1, _T2>::operator=): Call _M_assign.
(tuple::swap, tuple<_T1, _T2>::swap): Define exception specification
using __is_nothrow_swappable.
(tuple<_T1, _T2>::tuple(_U1&&, _U2&&)): Use __remove_cvref_t.

From-SVN: r263661
libstdc++-v3/ChangeLog
libstdc++-v3/include/std/tuple