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

fix: CommonlyInvocableQuantities was overconstrained for the current library design

Browse Source
This commit is contained in:
Mateusz Pusz
2023-10-20 09:39:24 +02:00
parent eaa2ddbf01
commit 15922b5bd8
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/core/include/mp-units/quantity.h
View File

@@ -68,9 +68,11 @@ concept InvocableQuantities =
template<typename Func, typename Q1, typename Q2>
concept CommonlyInvocableQuantities =
Quantity<Q1> && Quantity<Q2> && (Q1::quantity_spec.character == Q2::quantity_spec.character) && requires {
common_reference(Q1::reference, Q2::reference);
} && InvocableQuantities<Func, Q1, Q2, common_quantity_spec(Q1::quantity_spec, Q2::quantity_spec).character>;
Quantity<Q1> && Quantity<Q2> &&
// (Q1::quantity_spec.character == Q2::quantity_spec.character) && // TODO enable when vector quantities are handled
// correctly
requires { common_reference(Q1::reference, Q2::reference); } &&
InvocableQuantities<Func, Q1, Q2, common_quantity_spec(Q1::quantity_spec, Q2::quantity_spec).character>;
template<typename Func, Quantity Q1, Quantity Q2>