feedc0de/mp-units
1
0
Fork 0
forked from mpusz/mp-units
Code Pull Requests Activity

refactor: simplify is_derived_from_{scaled_unit,base_dimension}

Browse Source
This commit is contained in:
Johel Ernesto Guerrero Peña
2020-09-07 01:53:19 -04:00
committed by Mateusz Pusz
parent 7c00b196a3
commit 9299131174
1 changed files with 7 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/include/units/concepts.h
View File

@@ -80,14 +80,11 @@ struct scaled_unit;
// TODO: Remove when P1985 accepted
namespace detail {
struct is_derived_from_scaled_unit_impl {
template<ratio R, typename U>
static constexpr std::true_type check_base(const scaled_unit<R, U>&);
static constexpr std::false_type check_base(...);
};
void to_base_scaled_unit(const volatile scaled_unit<R, U>*);
template<typename T>
inline constexpr bool is_derived_from_scaled_unit = decltype(is_derived_from_scaled_unit_impl::check_base(std::declval<T>()))::value;
concept is_derived_from_scaled_unit = requires { to_base_scaled_unit(std::declval<const volatile T*>()); };
} // namespace detail
@@ -99,20 +96,18 @@ inline constexpr bool is_derived_from_scaled_unit = decltype(is_derived_from_sca
template<typename T>
concept Unit = detail::is_derived_from_scaled_unit<T>;
// BaseDimension
template<basic_fixed_string Symbol, Unit U>
requires U::is_named
struct base_dimension;
namespace detail {
struct is_derived_from_base_dimension_impl {
template<basic_fixed_string Symbol, typename U>
static constexpr std::true_type check_base(const base_dimension<Symbol, U>&);
static constexpr std::false_type check_base(...);
};
void to_base_base_dimension(const volatile base_dimension<Symbol, U>*);
template<typename T>
inline constexpr bool is_derived_from_base_dimension = decltype(is_derived_from_base_dimension_impl::check_base(std::declval<T>()))::value;
concept is_derived_from_base_dimension = requires { to_base_base_dimension(std::declval<const volatile T*>()); };
} // namespace detail