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

refactor: more constraints added to floor and ceil

Browse Source
This commit is contained in:
Mateusz Pusz
2021-11-13 21:53:53 +01:00
parent b881b56480
commit 3f28b55ab1
1 changed files with 12 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
src/core/include/units/math.h
View File

@@ -155,9 +155,13 @@ template<Quantity Q>
*/ */
template<Unit To, typename D, typename U, typename Rep> template<Unit To, typename D, typename U, typename Rep>
[[nodiscard]] constexpr quantity<D, To, Rep> floor(const quantity<D, U, Rep>& q) noexcept [[nodiscard]] constexpr quantity<D, To, Rep> floor(const quantity<D, U, Rep>& q) noexcept
requires (!treat_as_floating_point<Rep>) || requires ((!treat_as_floating_point<Rep>) ||
requires { floor(q.number()); } || requires { floor(q.number()); } ||
requires { std::floor(q.number()); } requires { std::floor(q.number()); }) &&
(std::same_as<To, U> || requires {
::units::quantity_cast<To>(q);
quantity<D, To, Rep>::one();
})
{ {
const auto handle_signed_results = [&]<typename T>(const T& res) { const auto handle_signed_results = [&]<typename T>(const T& res) {
if (res > q) if (res > q)
@@ -191,9 +195,13 @@ template<Unit To, typename D, typename U, typename Rep>
*/ */
template<Unit To, typename D, typename U, typename Rep> template<Unit To, typename D, typename U, typename Rep>
[[nodiscard]] constexpr quantity<D, To, Rep> ceil(const quantity<D, U, Rep>& q) noexcept [[nodiscard]] constexpr quantity<D, To, Rep> ceil(const quantity<D, U, Rep>& q) noexcept
requires (!treat_as_floating_point<Rep>) || requires ((!treat_as_floating_point<Rep>) ||
requires { ceil(q.number()); } || requires { ceil(q.number()); } ||
requires { std::ceil(q.number()); } requires { std::ceil(q.number()); }) &&
(std::same_as<To, U> || requires {
::units::quantity_cast<To>(q);
quantity<D, To, Rep>::one();
})
{ {
const auto handle_signed_results = [&]<typename T>(const T& res) { const auto handle_signed_results = [&]<typename T>(const T& res) {
if (res < q) if (res < q)