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

refactor: Harmonic concept renamed to IntegralConversionFactor

Browse Source
This commit is contained in:
Mateusz Pusz
2023-05-16 16:58:16 +02:00
parent 9322aa25e4
commit 7bad01fd45
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/core/include/mp_units/quantity.h
View File

@@ -50,9 +50,8 @@ template<typename T, typename Arg>
concept RepSafeConstructibleFrom = // exposition only concept RepSafeConstructibleFrom = // exposition only
std::constructible_from<T, Arg> && (treat_as_floating_point<T> || !treat_as_floating_point<Arg>); std::constructible_from<T, Arg> && (treat_as_floating_point<T> || !treat_as_floating_point<Arg>);
// UFrom ratio is an exact multiple of UTo
template<auto UFrom, auto UTo> template<auto UFrom, auto UTo>
concept Harmonic = // exposition only concept IntegralConversionFactor = // exposition only
Unit<decltype(UFrom)> && Unit<decltype(UTo)> && Unit<decltype(UFrom)> && Unit<decltype(UTo)> &&
is_integral(get_canonical_unit(UFrom).mag / get_canonical_unit(UTo).mag); is_integral(get_canonical_unit(UFrom).mag / get_canonical_unit(UTo).mag);
@@ -61,7 +60,7 @@ concept QuantityConvertibleTo = // exposition only
Quantity<QFrom> && Quantity<QTo> && implicitly_convertible(QFrom::quantity_spec, QTo::quantity_spec) && Quantity<QFrom> && Quantity<QTo> && implicitly_convertible(QFrom::quantity_spec, QTo::quantity_spec) &&
convertible(QFrom::unit, QTo::unit) && requires(QFrom q) { detail::sudo_cast<QTo>(q); } && convertible(QFrom::unit, QTo::unit) && requires(QFrom q) { detail::sudo_cast<QTo>(q); } &&
(treat_as_floating_point<typename QTo::rep> || (treat_as_floating_point<typename QTo::rep> ||
(!treat_as_floating_point<typename QFrom::rep> && Harmonic<QFrom::unit, QTo::unit>)); (!treat_as_floating_point<typename QFrom::rep> && IntegralConversionFactor<QFrom::unit, QTo::unit>));
template<quantity_character Ch, typename Func, typename T, typename U> template<quantity_character Ch, typename Func, typename T, typename U>
concept InvokeResultOf = std::regular_invocable<Func, T, U> && RepresentationOf<std::invoke_result_t<Func, T, U>, Ch>; concept InvokeResultOf = std::regular_invocable<Func, T, U> && RepresentationOf<std::invoke_result_t<Func, T, U>, Ch>;