mp_units::utility::operator‐

Subtracts a safe_int from a non‐integral constrained value

Synopsis

Declared in <mp‐units/utility/safe_int.h>

template<
    typename U,
    typename CP>
requires (!std::integral<U>)
[[nodiscard]]
constexpr
constrained<decltype(std::declval<U>() ‐ std::declval<T>()), CP>
operator‐(
    constrained<U, CP> const& lhs,
    safe_int rhs);

Note	This function is a hidden friend of safe_int, declared only inside that class: it can be found only through argument-dependent lookup.

Return Value

the wrapped difference of the underlying values

Note	The return value should not be discarded.

Parameters

Name

Description

lhs

the constrained value to subtract from

rhs

the safe_int to subtract

Created with MrDocs