Apply optimization traits also to std::pair

Author: igaztanaga

include/boost/container/detail/pair.hpp

@@ -548,30 +548,55 @@ struct is_class< std::pair<T1, T2> >
 
 
 //Triviality of pair
+
+//
+// is_trivially_copy_assignable
+//
+
 template<class T>
-struct is_trivially_copy_constructible;
+struct is_trivially_copy_assignable;
+
+template<class A, class B>
+struct is_trivially_copy_assignable<boost::container::dtl::pair<A,B> >
+{
+   BOOST_STATIC_CONSTEXPR bool value = boost::move_detail::is_trivially_copy_assignable<A>::value &&
+                                       boost::move_detail::is_trivially_copy_assignable<B>::value;
+};
 
 template<class A, class B>
-struct is_trivially_copy_assignable
-   <boost::container::dtl::pair<A,B> >
+struct is_trivially_copy_assignable<std::pair<A,B> >
+   : is_trivially_copy_assignable<boost::container::dtl::pair<A,B> >
 {
    BOOST_STATIC_CONSTEXPR bool value = boost::move_detail::is_trivially_copy_assignable<A>::value &&
                                        boost::move_detail::is_trivially_copy_assignable<B>::value;
 };
 
+//
+// is_trivially_move_assignable
+//
+
 template<class T>
-struct is_trivially_move_constructible;
+struct is_trivially_move_assignable;
 
 template<class A, class B>
-struct is_trivially_move_assignable
-   <boost::container::dtl::pair<A,B> >
+struct is_trivially_move_assignable<boost::container::dtl::pair<A,B> >
 {
    BOOST_STATIC_CONSTEXPR bool value = boost::move_detail::is_trivially_move_assignable<A>::value &&
                                        boost::move_detail::is_trivially_move_assignable<B>::value;
 };
 
+template<class A, class B>
+struct is_trivially_move_assignable<std::pair<A,B> >
+   : is_trivially_move_assignable<boost::container::dtl::pair<A,B> >
+{};
+
+
+//
+// is_trivially_copy_constructible
+//
+
 template<class T>
-struct is_trivially_copy_assignable;
+struct is_trivially_copy_constructible;
 
 template<class A, class B>
 struct is_trivially_copy_constructible<boost::container::dtl::pair<A,B> >
@@ -580,8 +605,17 @@ struct is_trivially_copy_constructible<boost::container::dtl::pair<A,B> >
                                        boost::move_detail::is_trivially_copy_constructible<B>::value;
 };
 
+template<class A, class B>
+struct is_trivially_copy_constructible<std::pair<A,B> >
+   : is_trivially_copy_constructible<boost::container::dtl::pair<A,B> >
+{};
+
+//
+// is_trivially_move_constructible
+//
+
 template<class T>
-struct is_trivially_move_assignable;
+struct is_trivially_move_constructible;
 
 template<class A, class B>
 struct is_trivially_move_constructible<boost::container::dtl::pair<A,B> >
@@ -590,6 +624,11 @@ struct is_trivially_move_constructible<boost::container::dtl::pair<A,B> >
                                        boost::move_detail::is_trivially_move_constructible<B>::value;
 };
 
+template<class A, class B>
+struct is_trivially_move_constructible<std::pair<A,B> >
+   : is_trivially_move_constructible<boost::container::dtl::pair<A,B> >
+{};
+
 template<class T>
 struct is_trivially_destructible;
 
@@ -600,9 +639,28 @@ struct is_trivially_destructible<boost::container::dtl::pair<A,B> >
                                        boost::move_detail::is_trivially_destructible<B>::value;
 };
 
+template<class A, class B>
+struct is_trivially_destructible<std::pair<A,B> >
+   : is_trivially_destructible<boost::container::dtl::pair<A,B> >
+{};
 
 }  //namespace move_detail{
 
+template<class T>
+struct has_trivial_destructor_after_move;
+
+template<class A, class B>
+struct has_trivial_destructor_after_move<boost::container::dtl::pair<A,B> >
+{
+   BOOST_STATIC_CONSTEXPR bool value = boost::has_trivial_destructor_after_move<A>::value &&
+                                       boost::has_trivial_destructor_after_move<B>::value;
+};
+
+template<class A, class B>
+struct has_trivial_destructor_after_move<std::pair<A,B> >
+   : has_trivial_destructor_after_move<boost::container::dtl::pair<A,B> >
+{};
+
 }  //namespace boost {
 
 #include <boost/container/detail/config_end.hpp>