Merge pull request #347 from cppalliance/concepts

Implement concepts
cppalliance · Nov 22, 2023 · a17135d · a17135d
2 parents beb2ad6 + ea1a1e1
commit a17135d
Show file tree

Hide file tree

Showing 58 changed files with 926 additions and 433 deletions.
diff --git a/include/boost/decimal/decimal128.hpp b/include/boost/decimal/decimal128.hpp
diff --git a/include/boost/decimal/decimal32.hpp b/include/boost/decimal/decimal32.hpp
diff --git a/include/boost/decimal/decimal64.hpp b/include/boost/decimal/decimal64.hpp
diff --git a/include/boost/decimal/detail/cmath/abs.hpp b/include/boost/decimal/detail/cmath/abs.hpp
@@ -8,12 +8,14 @@
 #include <boost/decimal/fwd.hpp>
 #include <boost/decimal/detail/config.hpp>
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <type_traits>
 #include <cmath>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template <typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto abs BOOST_DECIMAL_PREVENT_MACRO_SUBSTITUTION (T rhs) noexcept
     -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {

diff --git a/include/boost/decimal/detail/cmath/acosh.hpp b/include/boost/decimal/detail/cmath/acosh.hpp
@@ -11,11 +11,13 @@
 
 #include <boost/decimal/fwd.hpp> // NOLINT(llvm-include-order)
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <boost/decimal/numbers.hpp>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template<typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto acosh(T x) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {
     const auto fpc = fpclassify(x);

diff --git a/include/boost/decimal/detail/cmath/asinh.hpp b/include/boost/decimal/detail/cmath/asinh.hpp
@@ -11,11 +11,13 @@
 
 #include <boost/decimal/fwd.hpp> // NOLINT(llvm-include-order)
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <boost/decimal/numbers.hpp>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template<typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto asinh(T x) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T> // NOLINT(misc-no-recursion)
 {
     T result { };

diff --git a/include/boost/decimal/detail/cmath/atanh.hpp b/include/boost/decimal/detail/cmath/atanh.hpp
@@ -11,11 +11,13 @@
 
 #include <boost/decimal/fwd.hpp> // NOLINT(llvm-include-order)
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <boost/decimal/numbers.hpp>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template<typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto atanh(T x) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {
     T result { };

diff --git a/include/boost/decimal/detail/cmath/ceil.hpp b/include/boost/decimal/detail/cmath/ceil.hpp
@@ -10,14 +10,16 @@
 #include <boost/decimal/detail/type_traits.hpp>
 #include <boost/decimal/detail/power_tables.hpp>
 #include <boost/decimal/detail/apply_sign.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <boost/decimal/detail/cmath/fpclassify.hpp>
 #include <boost/decimal/detail/cmath/frexp10.hpp>
 #include <type_traits>
 #include <cmath>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template <typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto ceil BOOST_DECIMAL_PREVENT_MACRO_SUBSTITUTION (T val) noexcept
     -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {

diff --git a/include/boost/decimal/detail/cmath/cos.hpp b/include/boost/decimal/detail/cmath/cos.hpp
@@ -9,16 +9,18 @@
 #include <boost/decimal/fwd.hpp>
 #include <boost/decimal/numbers.hpp>
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <boost/decimal/detail/cmath/cos.hpp>
 #include <boost/decimal/detail/cmath/remquo.hpp>
 #include <boost/decimal/detail/cmath/impl/sin_impl.hpp>
 #include <boost/decimal/detail/cmath/impl/cos_impl.hpp>
 #include <type_traits>
 #include <cstdint>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template<typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto cos(T x) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T> // NOLINT(misc-no-recursion)
 {
     T result { };

diff --git a/include/boost/decimal/detail/cmath/cosh.hpp b/include/boost/decimal/detail/cmath/cosh.hpp
@@ -11,11 +11,13 @@
 
 #include <boost/decimal/fwd.hpp> // NOLINT(llvm-include-order)
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <boost/decimal/numbers.hpp>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template<typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto cosh(T x) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T> // NOLINT(misc-no-recursion)
 {
     const auto fpc = fpclassify(x);

diff --git a/include/boost/decimal/detail/cmath/exp.hpp b/include/boost/decimal/detail/cmath/exp.hpp
@@ -12,11 +12,13 @@
 #include <boost/decimal/fwd.hpp> // NOLINT(llvm-include-order)
 #include <boost/decimal/detail/cmath/impl/pow_impl.hpp>
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <boost/decimal/numbers.hpp>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template<typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto exp(T x) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T> // NOLINT(misc-no-recursion)
 {
     const auto fpc = fpclassify(x);

diff --git a/include/boost/decimal/detail/cmath/exp2.hpp b/include/boost/decimal/detail/cmath/exp2.hpp
@@ -6,12 +6,13 @@
 #define BOOST_DECIMAL_DETAIL_CMATH_EXP2_HPP
 
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <boost/decimal/detail/cmath/pow.hpp>
 
 namespace boost {
 namespace decimal {
 
-template <typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto exp2(T num) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {
     constexpr T two {2, 0};

diff --git a/include/boost/decimal/detail/cmath/expm1.hpp b/include/boost/decimal/detail/cmath/expm1.hpp
@@ -11,11 +11,13 @@
 
 #include <boost/decimal/fwd.hpp> // NOLINT(llvm-include-order)
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <boost/decimal/numbers.hpp>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template<typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto expm1(T x) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T> // NOLINT(misc-no-recursion)
 {
     const auto fpc = fpclassify(x);

diff --git a/include/boost/decimal/detail/cmath/fabs.hpp b/include/boost/decimal/detail/cmath/fabs.hpp
@@ -7,15 +7,15 @@
 
 #include <boost/decimal/fwd.hpp>
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <type_traits>
 #include <cmath>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-// TODO(mborland): Allow conversion between decimal types via a promotion system
-
-template<typename T, std::enable_if_t<detail::is_decimal_floating_point_v<T>, bool> = true>
-constexpr auto fabs(T a) noexcept -> T
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
+constexpr auto fabs(T a) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {
     return abs(a);
 }

diff --git a/include/boost/decimal/detail/cmath/fdim.hpp b/include/boost/decimal/detail/cmath/fdim.hpp
@@ -7,14 +7,16 @@
 
 #include <boost/decimal/fwd.hpp>
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <type_traits>
 #include <limits>
 #include <cmath>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template<typename T, std::enable_if_t<detail::is_decimal_floating_point_v<T>, bool> = true>
-constexpr auto fdim(T x, T y) noexcept -> T
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
+constexpr auto fdim(T x, T y) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {
     constexpr T zero {0, 0};
 

diff --git a/include/boost/decimal/detail/cmath/floor.hpp b/include/boost/decimal/detail/cmath/floor.hpp
@@ -13,12 +13,14 @@
 #include <boost/decimal/detail/cmath/fpclassify.hpp>
 #include <boost/decimal/detail/cmath/frexp10.hpp>
 #include <boost/decimal/detail/emulated128.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <type_traits>
 #include <cmath>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template <typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto floor BOOST_DECIMAL_PREVENT_MACRO_SUBSTITUTION (T val) noexcept
     -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {

diff --git a/include/boost/decimal/detail/cmath/fmax.hpp b/include/boost/decimal/detail/cmath/fmax.hpp
@@ -7,15 +7,16 @@
 
 #include <boost/decimal/fwd.hpp>
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
+#include <boost/decimal/detail/promotion.hpp>
 #include <type_traits>
 #include <cmath>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-// TODO(mborland): Allow conversion between decimal types via a promotion system
-
-template<typename T, std::enable_if_t<detail::is_decimal_floating_point_v<T>, bool> = true>
-constexpr auto fmax(T lhs, T rhs) noexcept -> T
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
+constexpr auto fmax(T lhs, T rhs) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {
     if (isnan(lhs) && !isnan(rhs))
     {

diff --git a/include/boost/decimal/detail/cmath/fmin.hpp b/include/boost/decimal/detail/cmath/fmin.hpp
@@ -7,13 +7,15 @@
 
 #include <boost/decimal/fwd.hpp>
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <type_traits>
 #include <cmath>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template<typename T, std::enable_if_t<detail::is_decimal_floating_point_v<T>, bool> = true>
-constexpr auto fmin(T lhs, T rhs) noexcept -> T
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
+constexpr auto fmin(T lhs, T rhs) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {
     if (isnan(lhs) && !isnan(rhs))
     {

diff --git a/include/boost/decimal/detail/cmath/fmod.hpp b/include/boost/decimal/detail/cmath/fmod.hpp
@@ -7,12 +7,14 @@
 
 #include <boost/decimal/fwd.hpp>
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <type_traits>
 #include <cmath>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template<typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto fmod(T lhs, T rhs) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {
     return lhs % rhs;

diff --git a/include/boost/decimal/detail/cmath/fpclassify.hpp b/include/boost/decimal/detail/cmath/fpclassify.hpp
@@ -8,12 +8,14 @@
 #include <boost/decimal/fwd.hpp>
 #include <boost/decimal/detail/config.hpp>
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <type_traits>
 #include <cmath>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template <typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto fpclassify BOOST_DECIMAL_PREVENT_MACRO_SUBSTITUTION (T rhs) noexcept
     -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, int>
 {

diff --git a/include/boost/decimal/detail/cmath/frexp.hpp b/include/boost/decimal/detail/cmath/frexp.hpp
@@ -12,11 +12,13 @@
 #include <boost/decimal/fwd.hpp> // NOLINT(llvm-include-order)
 #include <boost/decimal/detail/cmath/impl/pow_impl.hpp>
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template<typename T, std::enable_if_t<detail::is_decimal_floating_point_v<T>, bool> = true>
-constexpr auto frexp(T v, int* expon) noexcept -> T
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
+constexpr auto frexp(T v, int* expon) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {
     // This implementation of frexp follows closely that of eval_frexp
     // in Boost.Multiprecision's cpp_dec_float template class.

diff --git a/include/boost/decimal/detail/cmath/frexp10.hpp b/include/boost/decimal/detail/cmath/frexp10.hpp
@@ -11,6 +11,7 @@
 #include <boost/decimal/detail/type_traits.hpp>
 #include <boost/decimal/detail/normalize.hpp>
 #include <boost/decimal/detail/emulated128.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 
 namespace boost {
 namespace decimal {
@@ -19,7 +20,7 @@ namespace decimal {
 // Returns num in the range [1'000'000, 9'999'999]
 //
 // If the conversion can not be performed returns UINT32_MAX and exp = 0
-template <typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto frexp10(T num, int* expptr) noexcept
     -> std::enable_if_t<detail::is_decimal_floating_point_v<T>,
            std::conditional_t<std::is_same<T, decimal32>::value, std::uint32_t,

diff --git a/include/boost/decimal/detail/cmath/hypot.hpp b/include/boost/decimal/detail/cmath/hypot.hpp
@@ -11,12 +11,14 @@
 #include <boost/decimal/detail/cmath/sqrt.hpp>
 #include <boost/decimal/detail/cmath/fmax.hpp>
 #include <boost/decimal/detail/utilities.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <type_traits>
 #include <cmath>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template <typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto hypot(T x, T y) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {
     constexpr T zero {0, 0};
@@ -60,7 +62,7 @@ constexpr auto hypot(T x, T y) noexcept -> std::enable_if_t<detail::is_decimal_f
     return x * sqrt(1 + rat * rat);
 }
 
-template <typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto hypot(T x, T y, T z) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, T>
 {
     if (isinf(x) || isinf(y) || isinf(z))

diff --git a/include/boost/decimal/detail/cmath/ilogb.hpp b/include/boost/decimal/detail/cmath/ilogb.hpp
@@ -10,11 +10,12 @@
 
 #include <boost/decimal/fwd.hpp> // NOLINT(llvm-include-order)
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 
 namespace boost {
 namespace decimal {
 
-template <typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto ilogb(T d) noexcept -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, int>
 {
     const auto fpc_d = fpclassify(d);

diff --git a/include/boost/decimal/detail/cmath/isfinite.hpp b/include/boost/decimal/detail/cmath/isfinite.hpp
@@ -8,12 +8,14 @@
 #include <boost/decimal/fwd.hpp>
 #include <boost/decimal/detail/config.hpp>
 #include <boost/decimal/detail/type_traits.hpp>
+#include <boost/decimal/detail/concepts.hpp>
 #include <type_traits>
 #include <cmath>
 
-namespace boost { namespace decimal {
+namespace boost {
+namespace decimal {
 
-template <typename T>
+template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE T>
 constexpr auto isfinite BOOST_DECIMAL_PREVENT_MACRO_SUBSTITUTION (T rhs) noexcept
     -> std::enable_if_t<detail::is_decimal_floating_point_v<T>, bool>
 {