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

refactor: non-zero contracts check in quantity improved

Browse Source 
Thanks @johelegp!
This commit is contained in:
Mateusz Pusz
2020-09-08 22:55:41 +02:00
parent c1d0354b24
commit 5d62dda479
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/include/units/quantity.h
View File

@@ -258,7 +258,7 @@ public:
requires std::regular_invocable<std::divides<>, Value, Rep> requires std::regular_invocable<std::divides<>, Value, Rep>
[[nodiscard]] friend constexpr Quantity auto operator/(const Value& v, const quantity& q) [[nodiscard]] friend constexpr Quantity auto operator/(const Value& v, const quantity& q)
{ {
Expects(q.count() != 0); Expects(q.count() != zero().count());
using dim = dim_invert<D>; using dim = dim_invert<D>;
using ret_unit = downcast_unit<dim, ratio(U::ratio.den, U::ratio.num, -U::ratio.exp)>; using ret_unit = downcast_unit<dim, ratio(U::ratio.den, U::ratio.num, -U::ratio.exp)>;
@@ -271,7 +271,7 @@ public:
requires std::regular_invocable<std::divides<>, Rep, Value> requires std::regular_invocable<std::divides<>, Rep, Value>
[[nodiscard]] friend constexpr Quantity auto operator/(const quantity& q, const Value& v) [[nodiscard]] friend constexpr Quantity auto operator/(const quantity& q, const Value& v)
{ {
Expects(v != Value{0}); Expects(v != zero().count());
using common_rep = decltype(q.count() / v); using common_rep = decltype(q.count() / v);
using ret = quantity<D, U, common_rep>; using ret = quantity<D, U, common_rep>;
@@ -282,7 +282,7 @@ public:
requires std::regular_invocable<std::divides<>, Rep, Rep2> requires std::regular_invocable<std::divides<>, Rep, Rep2>
[[nodiscard]] friend constexpr Quantity auto operator/(const quantity& lhs, const quantity<D2, U2, Rep2>& rhs) [[nodiscard]] friend constexpr Quantity auto operator/(const quantity& lhs, const quantity<D2, U2, Rep2>& rhs)
{ {
Expects(rhs.count() != 0); Expects(rhs.count() != zero().count());
using common_rep = decltype(lhs.count() / rhs.count()); using common_rep = decltype(lhs.count() / rhs.count());
using dim = dimension_divide<D, D2>; using dim = dimension_divide<D, D2>;