std:: div_sat

Berechnet die Sättigungsdivision x / y . Wenn T ein vorzeichenbehafteter Ganzzahltyp ist, x der kleinste (negativste) Wert von T ist und y == - 1 , wird der größte Wert von T zurückgegeben; andernfalls wird x / y zurückgegeben.

y darf nicht ​ 0 ​ sein, andernfalls ist das Verhalten undefiniert. Der Funktionsaufruf ist kein Core Constant Expression , wenn undefiniertes Verhalten auftritt.

Diese Überladung nimmt nur dann an der Überladungsauflösung teil, wenn T ein Ganzzahltyp ist, das heißt: signed char , short , int , long , long long , ein erweiterter Ganzzahltyp mit Vorzeichen oder eine vorzeichenlose Version solcher Typen. Insbesondere darf T nicht (möglicherweise cv-qualifiziert) bool , char , wchar_t , char8_t , char16_t oder char32_t sein, da diese Typen nicht für arithmetische Operationen vorgesehen sind.

Parameter

Rückgabewert

Saturated x / y .

Hinweise

Im Gegensatz zu den eingebauten arithmetischen Operatoren für Ganzzahlen findet keine integral promotion auf die x - und y -Argumente statt.

Wenn zwei Argumente unterschiedlichen Typs übergeben werden, schlägt der Aufruf zur Kompilierung fehl, d.h. das Verhalten in Bezug auf template argument deduction ist dasselbe wie bei std::min oder std::max .

Die meisten modernen Hardware-Architekturen bieten effiziente Unterstützung für Sättigungsarithmetik auf SIMD-Vektoren , einschließlich SSE2 für x86 und NEON für ARM .

Mögliche Implementierung

namespace detail {
template<class T>
concept standard_or_extended_integral =
     std::is_integral_v<T> &&
    !std::is_same_v<std::remove_cv_t<T>, bool> &&
    !std::is_same_v<std::remove_cv_t<T>, char> &&
    !std::is_same_v<std::remove_cv_t<T>, char8_t> &&
    !std::is_same_v<std::remove_cv_t<T>, char16_t> &&
    !std::is_same_v<std::remove_cv_t<T>, char32_t> &&
    !std::is_same_v<std::remove_cv_t<T>, wchar_t>;
} // namespace detail
template<detail::standard_or_extended_integral T>
constexpr T div_sat( T x, T y ) noexcept
{
    if constexpr (std::is_signed_v<T>)
        if (x == std::numeric_limits<T>::min() && y == -1)
            return std::numeric_limits<T>::max();
    return x / y;
}

Beispiel

#include <climits>
#include <numeric>
static_assert
(""
    && (std::div_sat<int>(6, 3) == 2) // not saturated
    && (std::div_sat<int>(INT_MIN, -1) == INT_MAX) // saturated
    && (std::div_sat<unsigned>(6, 3) == 2) // not saturated
);
int main() {}

Siehe auch

Externe Links