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

feat: quantity_of and weak_quantity_of now support references

Browse Source
This commit is contained in:
Mateusz Pusz
2022-11-30 17:57:27 +01:00
parent 872caf460a
commit 77a124a3d9
1 changed files with 13 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
src/core/include/units/concepts.h
View File

@@ -101,22 +101,25 @@ inline constexpr bool is_quantity<quantity<R, Rep>> = true;
} // namespace detail
/**
* @brief A concept matching all quantities with provided dimension
* @brief A concept matching all quantities with provided dimension or reference
*
* Satisfied by all quantities with a dimension being the instantiation derived from
* the provided dimension type.
* Satisfied by all quantities with a dimension/reference being the instantiation derived from
* the provided dimension/reference type.
*/
template<typename Q, Dimension auto D>
concept quantity_of = Quantity<Q> && Dimension<std::remove_const_t<decltype(D)>> && (Q::dimension == D);
template<typename Q, auto V>
concept quantity_of = Quantity<Q> && ((Dimension<std::remove_const_t<decltype(V)>> && Q::dimension == V) ||
(Reference<std::remove_const_t<decltype(V)>> && Q::reference == V));
/**
* @brief A concept matching all quantities with provided dimension or reference
*
* Satisfied by all quantities with a dimension being the instantiation derived from
* the provided dimension type.
* Satisfied by all quantities with a dimension/reference being the instantiation derived from
* the provided dimension/reference type.
*/
template<typename Q, Dimension auto D>
concept weak_quantity_of = Quantity<Q> && Dimension<std::remove_const_t<decltype(D)>> &&
(interconvertible(Q::dimension, D));
template<typename Q, auto V>
concept weak_quantity_of = Quantity<Q> &&
((Dimension<std::remove_const_t<decltype(V)>> && interconvertible(Q::dimension, V)) ||
(Reference<std::remove_const_t<decltype(V)>> &&
interconvertible(Q::dimension, V.dimension) && Q::unit == V.unit));
} // namespace units