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/float128.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::float128>::value); 21 22 #endif 23 24 #if !defined(BOOST_NO_CXX11_NOEXCEPT) && !defined(BOOST_NO_SFINAE_EXPR) || defined(BOOST_IS_NOTHROW_MOVE_ASSIGN) 25 // 26 // Move assign: 27 // 28 BOOST_STATIC_ASSERT(boost::is_nothrow_move_assignable<boost::multiprecision::float128>::value); 29 30 #endif 31 32 // 33 // Construct: 34 // 35 #ifdef BOOST_HAS_NOTHROW_CONSTRUCTOR 36 BOOST_STATIC_ASSERT(boost::has_nothrow_constructor<boost::multiprecision::float128>::value); 37 #endif 38 // 39 // Copy construct: 40 // 41 #ifdef BOOST_HAS_NOTHROW_COPY 42 BOOST_STATIC_ASSERT(boost::has_nothrow_copy<boost::multiprecision::float128>::value); 43 #endif 44 // 45 // Assign: 46 // 47 #ifdef BOOST_HAS_NOTHROW_ASSIGN 48 BOOST_STATIC_ASSERT(boost::has_nothrow_assign<boost::multiprecision::float128>::value); 49 #endif 50 51 BOOST_STATIC_ASSERT(noexcept(boost::multiprecision::float128())); 52 BOOST_STATIC_ASSERT(noexcept(boost::multiprecision::float128(std::declval<const boost::multiprecision::float128&>()))); 53 BOOST_STATIC_ASSERT(noexcept(boost::multiprecision::float128(std::declval<boost::multiprecision::float128>()))); 54 BOOST_STATIC_ASSERT(noexcept(boost::multiprecision::float128(std::declval<const float128_type&>()))); 55 BOOST_STATIC_ASSERT(noexcept(boost::multiprecision::float128(std::declval<float128_type>()))); 56 BOOST_STATIC_ASSERT(noexcept(boost::multiprecision::float128(std::declval<const double&>()))); 57 BOOST_STATIC_ASSERT(noexcept(boost::multiprecision::float128(std::declval<double>()))); 58 BOOST_STATIC_ASSERT(noexcept(std::declval<boost::multiprecision::float128&>() = std::declval<const boost::multiprecision::float128&>())); 59 BOOST_STATIC_ASSERT(noexcept(std::declval<boost::multiprecision::float128&>() = std::declval<boost::multiprecision::float128>())); 60 BOOST_STATIC_ASSERT(noexcept(std::declval<boost::multiprecision::float128&>() = std::declval<const float128_type&>())); 61 BOOST_STATIC_ASSERT(noexcept(std::declval<boost::multiprecision::float128&>() = std::declval<float128_type>())); 62 BOOST_STATIC_ASSERT(noexcept(std::declval<boost::multiprecision::float128&>() = std::declval<const double&>())); 63 BOOST_STATIC_ASSERT(noexcept(std::declval<boost::multiprecision::float128&>() = std::declval<double>())); 64 65 struct any_convert 66 { 67 template <class T> 68 operator T() const; // Can throw! 69 }; 70 71 BOOST_STATIC_ASSERT(!noexcept(boost::multiprecision::float128(std::declval<const any_convert&>()))); 72 BOOST_STATIC_ASSERT(!noexcept(boost::multiprecision::float128(std::declval<any_convert>()))); 73 BOOST_STATIC_ASSERT(!noexcept(std::declval<boost::multiprecision::float128&>() = std::declval<const any_convert&>())); 74 BOOST_STATIC_ASSERT(!noexcept(std::declval<boost::multiprecision::float128&>() = std::declval<any_convert>())); 75 76 #endif // noexcept 77