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

feat: quantity_point binary operators are now constrained to prevent weakening of the origin

Browse Source
This commit is contained in:
Mateusz Pusz
2023-08-01 11:55:39 +02:00
parent 1e81069d53
commit 823fe26a13
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/core/include/mp-units/quantity_point.h
View File

@@ -214,6 +214,8 @@ explicit quantity_point(QP)
typename quantity_point_like_traits<QP>::rep>; typename quantity_point_like_traits<QP>::rep>;
template<auto R1, auto PO1, typename Rep1, auto R2, typename Rep2> template<auto R1, auto PO1, typename Rep1, auto R2, typename Rep2>
// TODO simplify when gcc catches up
requires ReferenceOf<std::remove_const_t<decltype(R2)>, get_quantity_spec(R1)>
[[nodiscard]] constexpr QuantityPoint auto operator+(const quantity_point<R1, PO1, Rep1>& lhs, [[nodiscard]] constexpr QuantityPoint auto operator+(const quantity_point<R1, PO1, Rep1>& lhs,
const quantity<R2, Rep2>& rhs) const quantity<R2, Rep2>& rhs)
requires requires { lhs.relative() + rhs; } requires requires { lhs.relative() + rhs; }
@@ -224,6 +226,8 @@ template<auto R1, auto PO1, typename Rep1, auto R2, typename Rep2>
} }
template<auto R1, typename Rep1, auto R2, auto PO2, typename Rep2> template<auto R1, typename Rep1, auto R2, auto PO2, typename Rep2>
// TODO simplify when gcc catches up
requires ReferenceOf<std::remove_const_t<decltype(R1)>, get_quantity_spec(R2)>
[[nodiscard]] constexpr QuantityPoint auto operator+(const quantity<R1, Rep1>& lhs, [[nodiscard]] constexpr QuantityPoint auto operator+(const quantity<R1, Rep1>& lhs,
const quantity_point<R2, PO2, Rep2>& rhs) const quantity_point<R2, PO2, Rep2>& rhs)
requires requires { rhs + lhs; } requires requires { rhs + lhs; }
@@ -232,6 +236,8 @@ template<auto R1, typename Rep1, auto R2, auto PO2, typename Rep2>
} }
template<auto R1, auto PO1, typename Rep1, auto R2, typename Rep2> template<auto R1, auto PO1, typename Rep1, auto R2, typename Rep2>
// TODO simplify when gcc catches up
requires ReferenceOf<std::remove_const_t<decltype(R2)>, get_quantity_spec(R1)>
[[nodiscard]] constexpr QuantityPoint auto operator-(const quantity_point<R1, PO1, Rep1>& lhs, [[nodiscard]] constexpr QuantityPoint auto operator-(const quantity_point<R1, PO1, Rep1>& lhs,
const quantity<R2, Rep2>& rhs) const quantity<R2, Rep2>& rhs)
requires requires { lhs.relative() - rhs; } requires requires { lhs.relative() - rhs; }