Add noexcept to tuple<> and simplify tuple<T1,T2> noexcept-specifiers

	* include/std/tuple (tuple<>): Add noexcept to allocator-extended
	constructors.
	(tuple<T1, T2>::__nothrow_default_constructible()): New helper
	function.
	(tuple<T1, T2>::tuple(), explicit tuple<T1, T2>::tuple()): Use helper.

From-SVN: r271814

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 7dc8e5813183be9f8ca5b0e24683373cda63349c..3d9d5919e5b7981c0e06edf3247863948de6996d 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,11 @@
+2019-05-31  Jonathan Wakely  <jwakely@redhat.com>
+
+       * include/std/tuple (tuple<>): Add noexcept to allocator-extended
+       constructors.
+       (tuple<T1, T2>::__nothrow_default_constructible()): New helper
+       function.
+       (tuple<T1, T2>::tuple(), explicit tuple<T1, T2>::tuple()): Use helper.
+
 2019-05-31  Jonathan Wakely  <jwakely@redhat.com>
 
        * src/c++98/bitmap_allocator.cc: Add using-declaration for size_t.

diff --git a/libstdc++-v3/include/std/tuple b/libstdc++-v3/include/std/tuple
index b81157c097bea07b44fb7e6d718ce2c15e0888a7..64516b1dece1f266534946a2eacac46a4a5d7bd7 100644 (file)
--- a/libstdc++-v3/include/std/tuple
+++ b/libstdc++-v3/include/std/tuple
@@ -898,9 +898,9 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
       tuple() = default;
       // No-op allocator constructors.
       template<typename _Alloc>
-       tuple(allocator_arg_t, const _Alloc&) { }
+       tuple(allocator_arg_t, const _Alloc&) noexcept { }
       template<typename _Alloc>
-       tuple(allocator_arg_t, const _Alloc&, const tuple&) { }
+       tuple(allocator_arg_t, const _Alloc&, const tuple&) noexcept { }
     };
 
   /// Partial specialization, 2-element tuple.
@@ -925,11 +925,17 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
        }
 
       template<typename _U1, typename _U2>
-    static constexpr bool __nothrow_constructible()
-    {
-      return __and_<is_nothrow_constructible<_T1, _U1>,
-                       is_nothrow_constructible<_T2, _U2>>::value;
-    }
+       static constexpr bool __nothrow_constructible()
+       {
+         return __and_<is_nothrow_constructible<_T1, _U1>,
+                           is_nothrow_constructible<_T2, _U2>>::value;
+       }
+
+      static constexpr bool __nothrow_default_constructible()
+      {
+       return __and_<is_nothrow_default_constructible<_T1>,
+                     is_nothrow_default_constructible<_T2>>::value;
+      }
 
     public:
       template <typename _U1 = _T1,
@@ -939,8 +945,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
                                      __is_implicitly_default_constructible<_U2>>
                                    ::value, bool>::type = true>
        constexpr tuple()
-       noexcept(__and_<is_nothrow_default_constructible<_T1>,
-                       is_nothrow_default_constructible<_T2>>::value)
+       noexcept(__nothrow_default_constructible())
        : _Inherited() { }
 
       template <typename _U1 = _T1,
@@ -954,8 +959,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
                              __is_implicitly_default_constructible<_U2>>>>
                   ::value, bool>::type = false>
        explicit constexpr tuple()
-       noexcept(__and_<is_nothrow_default_constructible<_T1>,
-                       is_nothrow_default_constructible<_T2>>::value)
+       noexcept(__nothrow_default_constructible())
        : _Inherited() { }
 
       // Shortcut for the cases where constructors taking _T1, _T2
@@ -1108,7 +1112,6 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
                  && _TCC<_Dummy>::template
                    _ImplicitlyConvertibleTuple<_T1, _T2>(),
                bool>::type=true>
-
        tuple(allocator_arg_t __tag, const _Alloc& __a,
              const _T1& __a1, const _T2& __a2)
        : _Inherited(__tag, __a, __a1, __a2) { }