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

feat: explicit quantity_spec conversion support added to quantity constructor

Browse Source
This commit is contained in:
Mateusz Pusz
2023-02-13 18:33:19 +01:00
parent 41043c25f2
commit 6b2606a8aa
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -61,7 +61,8 @@ concept Harmonic = // exposition only
template<typename QFrom, typename QTo> template<typename QFrom, typename QTo>
concept QuantityConvertibleTo = // exposition only concept QuantityConvertibleTo = // exposition only
Quantity<QFrom> && Quantity<QTo> && requires(QFrom q) { detail::sudo_cast<QTo>(q); } && Quantity<QFrom> && Quantity<QTo> && explicitly_convertible_to(QFrom::quantity_spec, QTo::quantity_spec) &&
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, QTo>)); (!treat_as_floating_point<typename QFrom::rep> && Harmonic<QFrom, QTo>));
@@ -122,7 +123,8 @@ public:
quantity(quantity&&) = default; quantity(quantity&&) = default;
template<detail::QuantityConvertibleTo<quantity> Q> template<detail::QuantityConvertibleTo<quantity> Q>
constexpr explicit(false) quantity(const Q& q) : number_(detail::sudo_cast<quantity>(q).number()) constexpr explicit(!implicitly_convertible_to(Q::quantity_spec, quantity_spec)) quantity(const Q& q) :
number_(detail::sudo_cast<quantity>(q).number())
{ {
} }