mp_units::utility::operator‐

Subtracts a non‐integral constrained value from a safe_int

Synopsis

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

template<
    typename U,
    typename CP>
requires (!std::integral<U>)
[[nodiscard]]
constexpr
constrained<decltype(std::declval<T>() ‐ std::declval<U>()), CP>
operator‐(
    safe_int lhs,
    constrained<U, CP> const& 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 safe_int to subtract from

rhs

the constrained value to subtract

Created with MrDocs