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

feat: ValuePreservingTo extended with the explicit convertibility requirement

Browse Source
This commit is contained in:
Mateusz Pusz
2024-07-14 18:06:02 +02:00
parent 73f7901329
commit 0dfd323c4b
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/core/include/mp-units/framework/quantity.h
View File

@@ -60,8 +60,11 @@ template<typename T>
concept IsFloatingPoint = treat_as_floating_point<T>;
template<typename FromRep, typename ToRep, auto FromUnit = one, auto ToUnit = one>
concept ValuePreservingTo =
IsFloatingPoint<ToRep> || (!IsFloatingPoint<FromRep> && (integral_conversion_factor(FromUnit, ToUnit)));
concept ValuePreservingTo = requires(FromRep&& from, ToRep to) {
{
to = std::forward<FromRep>(from)
} -> std::same_as<ToRep&>;
} && (IsFloatingPoint<ToRep> || (!IsFloatingPoint<FromRep> && (integral_conversion_factor(FromUnit, ToUnit))));
template<typename QFrom, typename QTo>
concept QuantityConvertibleTo =