1 /////////////////////////////////////////////////////////////////////////////// 2 // Copyright 2015 John Maddock. Distributed under the Boost 3 // Software License, Version 1.0. (See accompanying file 4 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) 5 6 #include <boost/multiprecision/gmp.hpp> 7 #include <boost/type_traits/is_nothrow_move_constructible.hpp> 8 #include <boost/type_traits/is_nothrow_move_assignable.hpp> 9 #include <boost/type_traits/has_nothrow_constructor.hpp> 10 #include <boost/type_traits/has_nothrow_assign.hpp> 11 #include <boost/type_traits/has_nothrow_copy.hpp> 12 #include <boost/static_assert.hpp> 13 14 #ifndef BOOST_NO_CXX11_NOEXCEPT 15 16 #if !defined(BOOST_NO_CXX11_NOEXCEPT) && !defined(BOOST_NO_SFINAE_EXPR) || defined(BOOST_IS_NOTHROW_MOVE_CONSTRUCT) 17 // 18 // Move construct: 19 // 20 BOOST_STATIC_ASSERT(boost::is_nothrow_move_constructible<boost::multiprecision::mpz_int>::value); 21 BOOST_STATIC_ASSERT(boost::is_nothrow_move_constructible<boost::multiprecision::mpq_rational>::value); 22 BOOST_STATIC_ASSERT(boost::is_nothrow_move_constructible<boost::multiprecision::mpf_float>::value); 23 24 #endif 25 26 #if !defined(BOOST_NO_CXX11_NOEXCEPT) && !defined(BOOST_NO_SFINAE_EXPR) || defined(BOOST_IS_NOTHROW_MOVE_ASSIGN) 27 // 28 // Move assign: 29 // 30 BOOST_STATIC_ASSERT(boost::is_nothrow_move_assignable<boost::multiprecision::mpz_int>::value); 31 BOOST_STATIC_ASSERT(boost::is_nothrow_move_assignable<boost::multiprecision::mpq_rational>::value); 32 BOOST_STATIC_ASSERT(boost::is_nothrow_move_assignable<boost::multiprecision::mpf_float>::value); 33 34 #endif 35 36 #endif // noexcept 37