boostorg/multiprecision
1
0
Fork 0
mirror of https://github.com/boostorg/multiprecision.git synced 2026-07-21 13:23:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix type_traits usage with clang.

Browse Source 
Prevents recursive instantiation of is_constructible.
Fixes https://github.com/boostorg/multiprecision/issues/383.
This commit is contained in:
jzmaddock
2021-10-19 19:21:10 +01:00
parent ae22ab59c8
commit 1d89a3e966
3 changed files with 58 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
include/boost/multiprecision/detail/number_base.hpp
+6
View File
@@ -1555,6 +1555,12 @@ BOOST_MP_CXX14_CONSTEXPR typename expression<tag, Arg1, Arg2, Arg3, Arg4>::resul
template <class tag, class Arg1, class Arg2, class Arg3, class Arg4>
BOOST_MP_CXX14_CONSTEXPR typename expression<tag, Arg1, Arg2, Arg3, Arg4>::result_type evaluate_if_expression(expression<tag, Arg1, Arg2, Arg3, Arg4>&& val) { return val; }
template <class T>
struct convertible_to
{
operator T () const;
};
} // namespace detail
//
include/boost/multiprecision/number.hpp
+1 -1
View File
@@ -1045,7 +1045,7 @@ class number
#if BOOST_WORKAROUND(BOOST_MSVC, < 1900) || (defined(__apple_build_version__) && BOOST_WORKAROUND(__clang_major__, < 9))
template <class T>
#else
template <class T, class = typename std::enable_if<std::is_enum<T>::value || !(std::is_constructible<T, self_type const&>::value || !std::is_default_constructible<T>::value || (!boost::multiprecision::detail::is_arithmetic<T>::value && !boost::multiprecision::detail::is_complex<T>::value)), T>::type>
template <class T, class = typename std::enable_if<std::is_enum<T>::value || !(std::is_constructible<T, detail::convertible_to<self_type const&> >::value || !std::is_default_constructible<T>::value || (!boost::multiprecision::detail::is_arithmetic<T>::value && !boost::multiprecision::detail::is_complex<T>::value)), T>::type>
#endif
explicit BOOST_MP_CXX14_CONSTEXPR operator T() const
{
test/test_nothrow_cpp_int.cpp
+51
View File
@@ -225,3 +225,54 @@ static_assert(!noexcept(std::declval<checked_uint30_t>() = std::declval<std::uin
static_assert(!noexcept(std::declval<checked_int32_t>() = std::declval<std::uint64_t>()), "noexcept test");
static_assert(!noexcept(std::declval<checked_uint32_t>() = std::declval<std::uint64_t>()), "noexcept test");
//
// Check regular construct/assign as well, see https://github.com/boostorg/multiprecision/issues/383
//
//
// Move assign:
//
static_assert(std::is_move_assignable<boost::multiprecision::cpp_int>::value, "noexcept test");
static_assert(std::is_move_assignable<boost::multiprecision::int128_t>::value, "noexcept test");
static_assert(std::is_move_assignable<boost::multiprecision::checked_int128_t>::value, "noexcept test");
static_assert(std::is_move_assignable<boost::multiprecision::uint128_t>::value, "noexcept test");
static_assert(std::is_move_assignable<boost::multiprecision::checked_uint128_t>::value, "noexcept test");
static_assert(std::is_move_assignable<boost::multiprecision::int512_t>::value, "noexcept test");
static_assert(std::is_move_assignable<boost::multiprecision::checked_int512_t>::value, "noexcept test");
static_assert(std::is_move_assignable<boost::multiprecision::uint512_t>::value, "noexcept test");
static_assert(std::is_move_assignable<boost::multiprecision::checked_uint512_t>::value, "noexcept test");
//
// Construct:
//
static_assert(std::is_default_constructible<boost::multiprecision::cpp_int>::value, "noexcept test");
static_assert(std::is_default_constructible<boost::multiprecision::int128_t>::value, "noexcept test");
static_assert(std::is_default_constructible<boost::multiprecision::checked_int128_t>::value, "noexcept test");
static_assert(std::is_default_constructible<boost::multiprecision::uint128_t>::value, "noexcept test");
static_assert(std::is_default_constructible<boost::multiprecision::checked_uint128_t>::value, "noexcept test");
static_assert(std::is_default_constructible<boost::multiprecision::int512_t>::value, "noexcept test");
static_assert(std::is_default_constructible<boost::multiprecision::checked_int512_t>::value, "noexcept test");
static_assert(std::is_default_constructible<boost::multiprecision::uint512_t>::value, "noexcept test");
static_assert(std::is_default_constructible<boost::multiprecision::checked_uint512_t>::value, "noexcept test");
//
// Copy construct:
//
static_assert(std::is_copy_constructible<boost::multiprecision::cpp_int>::value, "noexcept test");
static_assert(std::is_copy_constructible<boost::multiprecision::int128_t>::value, "noexcept test");
static_assert(std::is_copy_constructible<boost::multiprecision::checked_int128_t>::value, "noexcept test");
static_assert(std::is_copy_constructible<boost::multiprecision::uint128_t>::value, "noexcept test");
static_assert(std::is_copy_constructible<boost::multiprecision::checked_uint128_t>::value, "noexcept test");
static_assert(std::is_copy_constructible<boost::multiprecision::int512_t>::value, "noexcept test");
static_assert(std::is_copy_constructible<boost::multiprecision::checked_int512_t>::value, "noexcept test");
static_assert(std::is_copy_constructible<boost::multiprecision::uint512_t>::value, "noexcept test");
static_assert(std::is_copy_constructible<boost::multiprecision::checked_uint512_t>::value, "noexcept test");
//
// Assign:
//
static_assert(std::is_copy_assignable<boost::multiprecision::cpp_int>::value, "noexcept test");
static_assert(std::is_copy_assignable<boost::multiprecision::int128_t>::value, "noexcept test");
static_assert(std::is_copy_assignable<boost::multiprecision::checked_int128_t>::value, "noexcept test");
static_assert(std::is_copy_assignable<boost::multiprecision::uint128_t>::value, "noexcept test");
static_assert(std::is_copy_assignable<boost::multiprecision::checked_uint128_t>::value, "noexcept test");
static_assert(std::is_copy_assignable<boost::multiprecision::int512_t>::value, "noexcept test");
static_assert(std::is_copy_assignable<boost::multiprecision::checked_int512_t>::value, "noexcept test");
static_assert(std::is_copy_assignable<boost::multiprecision::uint512_t>::value, "noexcept test");
static_assert(std::is_copy_assignable<boost::multiprecision::checked_uint512_t>::value, "noexcept test");