mpusz/mp-units
1
0
Fork 1
mirror of https://github.com/mpusz/mp-units.git synced 2025-08-03 20:34:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

feat: UnitOf concept now supports dimensionless[radian]

Browse Source
This commit is contained in:
Mateusz Pusz
2023-05-22 17:55:32 +02:00
parent 6975a02570
commit 5b2978b89a
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -164,8 +164,12 @@ concept AssociatedUnit = Unit<U> && detail::has_associated_quantity(U{});
* 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);
template<typename U, auto QS>
concept UnitOf = AssociatedUnit<U> && QuantitySpec<std::remove_const_t<decltype(QS)>> &&
implicitly_convertible(get_quantity_spec(U{}), QS) &&
// the below is to make `dimensionless[radian]` invalid
(get_kind(QS) == get_kind(get_quantity_spec(U{})) ||
!std::derived_from<std::remove_const_t<decltype(get_quantity_spec(U{}))>,
std::remove_const_t<decltype(get_kind(QS))>>);
} // namespace mp_units