mpusz/mp-units
1
0
Fork 1
mirror of https://github.com/mpusz/mp-units.git synced 2025-07-31 10:57:16 +02:00
Code Issues Packages Projects Releases Wiki Activity

fix: more constraints added to ReferenceOf to provide support for corner cases of dimensionless quantity tree

Browse Source
This commit is contained in:
Mateusz Pusz
2023-06-13 17:34:37 +03:00
parent 8ed82dfe96
commit 74ad0f6f68
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/core/include/mp-units/bits/reference_concepts.h
View File

@ -74,6 +74,9 @@ template<typename T, auto V>
concept ReferenceOf = concept ReferenceOf =
Reference<T> && Reference<T> &&
((Dimension<std::remove_const_t<decltype(V)>> && get_quantity_spec(T{}).dimension == V) || ((Dimension<std::remove_const_t<decltype(V)>> && get_quantity_spec(T{}).dimension == V) ||
(QuantitySpec<std::remove_const_t<decltype(V)>> && implicitly_convertible(get_quantity_spec(T{}), V))); (QuantitySpec<std::remove_const_t<decltype(V)>> && implicitly_convertible(get_quantity_spec(T{}), V) &&
!detail::DerivedFromQuantityKindSpecOf<get_quantity_spec(T{}), V> &&
(detail::QuantityKindSpec<std::remove_const_t<decltype(get_quantity_spec(T{}))>> ||
!detail::DerivedFromQuantityKindSpecOf<V, get_quantity_spec(T{})>)));
} // namespace mp_units } // namespace mp_units