std:: add_sat

Berechnet die Sättigungs- Addition x + y . Diese Operation (im Gegensatz zu eingebauten arithmetischen Operationen auf Ganzzahlen ) verhält sich so, als wäre sie eine mathematische Operation mit einem unendlichen Wertebereich. Sei q das Ergebnis einer solchen Operation. Gibt zurück:

• q , falls q als Wert vom Typ T darstellbar ist. Andernfalls,
• den größten oder kleinsten Wert vom Typ T , je nachdem, welcher näher an q liegt.

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 für std::min oder std::max .

Die meisten modernen Hardware-Architekturen bieten effiziente Unterstützung für Saturation Arithmetic bei SIMD-Vektoren , einschließlich SSE2 für x86 und NEON für ARM .

Mögliche Implementierung

Siehe libstdc++ (gcc) .

Beispiel

#include <climits>
#include <limits>
#include <numeric>
static_assert(CHAR_BIT == 8);
static_assert(UCHAR_MAX == 255);
int main()
{
    constexpr int a = std::add_sat(3, 4); // keine Sättigung tritt auf, T = int
    static_assert(a == 7);
    constexpr unsigned char b = std::add_sat<unsigned char>(UCHAR_MAX, 4); // gesättigt
    static_assert(b == UCHAR_MAX);
    constexpr unsigned char c = std::add_sat(UCHAR_MAX, 4); // nicht gesättigt, T = int
        // add_sat(int, int) gibt int tmp == 259 zurück,
        // dann schneidet die Zuweisung 259 % 256 == 3 ab
    static_assert(c == 3);
//  unsigned char d = std::add_sat(252, c); // Fehler: inkonsistente Ableitungen für T
    constexpr unsigned char e = std::add_sat<unsigned char>(251, a); // gesättigt
    static_assert(e == UCHAR_MAX);
        // 251 hat den Typ T = unsigned char, `a` wird in unsigned char-Wert konvertiert;
        // könnte eine int -> unsigned char Konvertierungswarnung für `a` erzeugen
    constexpr signed char f = std::add_sat<signed char>(-123, -3); // nicht gesättigt
    static_assert(f == -126);
    constexpr signed char g = std::add_sat<signed char>(-123, -13); // gesättigt
    static_assert(g == std::numeric_limits<signed char>::min()); // g == -128
}

Siehe auch

Externe Links