Subtracts a safe_int from a constrained value

Synopsis

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

template<
    typename U,
    typename CP>
requires detail::integral<U>
[[nodiscard]]
constexpr
safe_int</* implementation-defined */, ErrorPolicy>
operator‐(
    constrained<U, CP> 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