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

feat: pre-increment and pre-decrement operators now preserve value category

Browse Source
This commit is contained in:
Mateusz Pusz
2023-09-14 12:42:45 +02:00
parent ff4755d5e5
commit b76337d5bb
2 changed files with 20 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -210,15 +210,16 @@ public:
return make_quantity<reference>(-numerical_value_);
}
constexpr quantity& operator++()
requires requires(rep v) {
template<typename Q>
friend constexpr decltype(auto) operator++(Q&& q)
requires std::derived_from<std::remove_cvref_t<Q>, quantity> && requires(rep v) {
{
++v
} -> std::same_as<rep&>;
}
{
++numerical_value_;
return *this;
++q.numerical_value_;
return std::forward<Q>(q);
}
[[nodiscard]] constexpr Quantity auto operator++(int)
@@ -231,15 +232,16 @@ public:
return make_quantity<reference>(numerical_value_++);
}
constexpr quantity& operator--()
requires requires(rep v) {
template<typename Q>
friend constexpr decltype(auto) operator--(Q&& q)
requires std::derived_from<std::remove_cvref_t<Q>, quantity> && requires(rep v) {
{
--v
} -> std::same_as<rep&>;
}
{
--numerical_value_;
return *this;
--q.numerical_value_;
return std::forward<Q>(q);
}
[[nodiscard]] constexpr Quantity auto operator--(int)

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

@@ -183,11 +183,12 @@ public:
}
// member unary operators
constexpr quantity_point& operator++()
requires requires { ++quantity_from_origin_; }
template<typename QP>
friend constexpr decltype(auto) operator++(QP&& qp)
requires std::derived_from<std::remove_cvref_t<QP>, quantity_point> && requires { ++qp.quantity_from_origin_; }
{
++quantity_from_origin_;
return *this;
++qp.quantity_from_origin_;
return std::forward<QP>(qp);
}
[[nodiscard]] constexpr quantity_point operator++(int)
@@ -196,11 +197,12 @@ public:
return quantity_point(quantity_from_origin_++);
}
constexpr quantity_point& operator--()
requires requires { --quantity_from_origin_; }
template<typename QP>
friend constexpr decltype(auto) operator--(QP&& qp)
requires std::derived_from<std::remove_cvref_t<QP>, quantity_point> && requires { --qp.quantity_from_origin_; }
{
--quantity_from_origin_;
return *this;
--qp.quantity_from_origin_;
return std::forward<QP>(qp);
}
[[nodiscard]] constexpr quantity_point operator--(int)