mpusz/mp-units
1
0
Fork 1
mirror of https://github.com/mpusz/mp-units.git synced 2025-08-02 11:54:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

fix: treat_as_floating_point and Scalable fixed for the case where the type has both value_type and element_type

Browse Source
This commit is contained in:
Mateusz Pusz
2023-06-17 06:44:20 +03:00
parent 6db8012513
commit faa4c203aa
2 changed files with 14 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/core/include/mp-units/bits/representation_concepts.h
View File

@@ -66,11 +66,12 @@ concept CastableNumber = CommonTypeWith<T, std::intmax_t> && ScalableNumber<std:
// TODO Fix it according to sudo_cast implementation // TODO Fix it according to sudo_cast implementation
template<typename T> template<typename T>
concept Scalable = CastableNumber<T> || concept Scalable =
(requires { typename T::value_type; } && CastableNumber<typename T::value_type> && CastableNumber<T> ||
ScalableNumber<T, std::common_type_t<typename T::value_type, std::intmax_t>>) || (requires { typename T::value_type; } && CastableNumber<typename T::value_type> &&
(requires { typename T::element_type; } && CastableNumber<typename T::element_type> && ScalableNumber<T, std::common_type_t<typename T::value_type, std::intmax_t>>) ||
ScalableNumber<T, std::common_type_t<typename T::element_type, std::intmax_t>>); (requires { typename T::element_type; } && CastableNumber<std::remove_reference_t<typename T::element_type>> &&
ScalableNumber<T, std::common_type_t<std::remove_reference_t<typename T::element_type>, std::intmax_t>>);
} // namespace detail } // namespace detail

14
src/core/include/mp-units/customization_points.h
View File

@@ -42,12 +42,14 @@ template<typename Rep>
inline constexpr bool treat_as_floating_point = std::is_floating_point_v<Rep>; inline constexpr bool treat_as_floating_point = std::is_floating_point_v<Rep>;
template<typename Rep> template<typename Rep>
requires requires { typename Rep::value_type; } requires requires { typename Rep::value_type; } || requires { typename Rep::element_type; }
inline constexpr bool treat_as_floating_point<Rep> = treat_as_floating_point<typename Rep::value_type>; inline constexpr bool treat_as_floating_point<Rep> = requires {
typename Rep::value_type;
template<typename Rep> requires treat_as_floating_point<typename Rep::value_type>;
requires requires { typename Rep::element_type; } } || requires {
inline constexpr bool treat_as_floating_point<Rep> = treat_as_floating_point<typename Rep::element_type>; typename Rep::element_type;
requires treat_as_floating_point<std::remove_reference_t<typename Rep::element_type>>;
};
/** /**
* @brief Specifies a type to have a scalar character * @brief Specifies a type to have a scalar character