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

feat: quantity compound assignment now preserves the value category

Browse Source
This commit is contained in:
Mateusz Pusz
2023-09-13 19:57:05 +02:00
parent 6d619d67ef
commit 6a1e600f65
1 changed files with 62 additions and 53 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -269,88 +269,97 @@ public:
}
// compound assignment operators
constexpr quantity& operator+=(const quantity& q)
requires requires(rep a, rep b) {
template<typename Q>
requires std::derived_from<std::remove_cvref_t<Q>, quantity> && requires(rep a, rep b) {
{
a += b
} -> std::same_as<rep&>;
}
friend constexpr decltype(auto) operator+=(Q&& lhs, const quantity& rhs)
{
numerical_value_ += q.numerical_value_ref_in(unit);
return *this;
lhs.numerical_value_ += rhs.numerical_value_;
return std::forward<Q>(lhs);
}
constexpr quantity& operator-=(const quantity& q)
requires requires(rep a, rep b) {
template<typename Q>
requires std::derived_from<std::remove_cvref_t<Q>, quantity> && requires(rep a, rep b) {
{
a -= b
} -> std::same_as<rep&>;
}
friend constexpr decltype(auto) operator-=(Q&& lhs, const quantity& rhs)
{
numerical_value_ -= q.numerical_value_ref_in(unit);
return *this;
lhs.numerical_value_ -= rhs.numerical_value_;
return std::forward<Q>(lhs);
}
constexpr quantity& operator%=(const quantity& q)
requires(!treat_as_floating_point<rep>) && requires(rep a, rep b) {
{
a %= b
} -> std::same_as<rep&>;
}
template<typename Q>
requires std::derived_from<std::remove_cvref_t<Q>, quantity> && (!treat_as_floating_point<rep>) &&
requires(rep a, rep b) {
{
a %= b
} -> std::same_as<rep&>;
}
friend constexpr decltype(auto) operator%=(Q&& lhs, const quantity& rhs)
{
gsl_ExpectsAudit(q != zero());
numerical_value_ %= q.numerical_value_ref_in(unit);
return *this;
gsl_ExpectsAudit(rhs != zero());
lhs.numerical_value_ %= rhs.numerical_value_;
return std::forward<Q>(lhs);
}
template<typename Value>
requires(!Quantity<Value>) && requires(rep a, const Value b) {
{
a *= b
} -> std::same_as<rep&>;
}
constexpr quantity& operator*=(const Value& v)
template<typename Q, typename Value>
requires std::derived_from<std::remove_cvref_t<Q>, quantity> && (!Quantity<Value>) &&
requires(rep a, const Value b) {
{
a *= b
} -> std::same_as<rep&>;
}
friend constexpr decltype(auto) operator*=(Q&& lhs, const Value& v)
{
numerical_value_ *= v;
return *this;
lhs.numerical_value_ *= v;
return std::forward<Q>(lhs);
}
template<QuantityOf<dimension_one> Q>
requires(Q::unit == ::mp_units::one) && requires(rep a, const typename Q::rep b) {
{
a *= b
} -> std::same_as<rep&>;
}
constexpr quantity& operator*=(const Q& rhs)
template<typename Q1, QuantityOf<dimension_one> Q2>
requires std::derived_from<std::remove_cvref_t<Q1>, quantity> && (Q2::unit == ::mp_units::one) &&
requires(rep a, const typename Q2::rep b) {
{
a *= b
} -> std::same_as<rep&>;
}
friend constexpr decltype(auto) operator*=(Q1&& lhs, const Q2& rhs)
{
numerical_value_ *= rhs.numerical_value_ref_in(::mp_units::one);
return *this;
lhs.numerical_value_ *= rhs.numerical_value_;
return std::forward<Q1>(lhs);
}
template<typename Value>
requires(!Quantity<Value>) && requires(rep a, const Value b) {
{
a /= b
} -> std::same_as<rep&>;
}
constexpr quantity& operator/=(const Value& v)
template<typename Q, typename Value>
requires std::derived_from<std::remove_cvref_t<Q>, quantity> && (!Quantity<Value>) &&
requires(rep a, const Value b) {
{
a /= b
} -> std::same_as<rep&>;
}
friend constexpr decltype(auto) operator/=(Q&& lhs, const Value& v)
{
gsl_ExpectsAudit(v != quantity_values<Value>::zero());
numerical_value_ /= v;
return *this;
lhs.numerical_value_ /= v;
return std::forward<Q>(lhs);
}
template<QuantityOf<dimension_one> Q>
requires(Q::unit == ::mp_units::one) && requires(rep a, const typename Q::rep b) {
{
a /= b
} -> std::same_as<rep&>;
}
constexpr quantity& operator/=(const Q& rhs)
template<typename Q1, QuantityOf<dimension_one> Q2>
requires std::derived_from<std::remove_cvref_t<Q1>, quantity> && (Q2::unit == ::mp_units::one) &&
requires(rep a, const typename Q2::rep b) {
{
a /= b
} -> std::same_as<rep&>;
}
friend constexpr decltype(auto) operator/=(Q1&& lhs, const Q2& rhs)
{
gsl_ExpectsAudit(rhs != rhs.zero());
numerical_value_ /= rhs.numerical_value_ref_in(::mp_units::one);
return *this;
lhs.numerical_value_ /= rhs.numerical_value_;
return std::forward<Q1>(lhs);
}
private: