Adds a safe_int to 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 sum of the underlying values

Note

The return value should not be discarded.

Parameters

Name

Description

lhs

the constrained value to add

rhs

the safe_int to add

Created with MrDocs