mpusz/mp-units
1
0
Fork 1
mirror of https://github.com/mpusz/mp-units.git synced 2025-08-05 13:14:29 +02:00
Code Issues Packages Projects Releases Wiki Activity

feat: UnitOf concept added

Browse Source
This commit is contained in:
Mateusz Pusz
2023-05-17 10:35:18 +02:00
parent 7bad01fd45
commit 34a824b232
1 changed files with 11 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/core/include/mp_units/bits/unit_concepts.h
View File

@@ -140,8 +140,7 @@ template<typename... Us>
template<Unit U>
[[nodiscard]] consteval bool has_associated_quantity(U)
{
if constexpr (requires { U::quantity_spec; })
return true;
if constexpr (requires { U::quantity_spec; }) return true;
if constexpr (requires { U::reference_unit; })
return has_associated_quantity(U::reference_unit);
else if constexpr (requires { typename U::_num_; })
@@ -158,4 +157,14 @@ template<Unit U>
template<typename U>
concept AssociatedUnit = Unit<U> && detail::has_associated_quantity(U{});
/**
* @brief A concept matching all units associated with the provided quantity spec
*
* Satisfied by all units associated with the quantity_spec being the instantiation derived from
* the provided quantity_spec type.
*/
template<typename U, auto V>
concept UnitOf = AssociatedUnit<U> && QuantitySpec<std::remove_const_t<decltype(V)>> &&
implicitly_convertible(get_quantity_spec(U{}), V);
} // namespace mp_units