Namespaces
Variants

std:: sub_sat

From cppreference.net
C++
Numerics library
Saturation arithmetic
Functions
(C++26)
sub_sat
(C++26)
(C++26)
(C++26)
(C++26)
Definiert im Header <numeric>
template < class T >
constexpr T sub_sat ( T x, T y ) noexcept ;
(seit C++26)

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

  • q , falls q als Wert des Typs T darstellbar ist. Andernfalls,
  • den größten oder kleinsten Wert des Typs 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.

Inhaltsverzeichnis

Parameter

x, y - Ganzzahlwerte

Rückgabewert

Gesättigt 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-Argumentableitung ist dasselbe wie für std::min oder std::max .

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

Feature-Test Makro Wert Standard Funktion
__cpp_lib_saturation_arithmetic 202311L (C++26) Sättigungsarithmetik

Mögliche Implementierung

Siehe libstdc++ (gcc) .

Beispiel

Kann auf Compiler Explorer vorgezeigt werden

Diesen Code ausführen 
#include <climits>
#include <numeric>
static_assert
(""
    && (std::sub_sat<int>(INT_MIN + 4, 3) == INT_MIN + 1) // not saturated
    && (std::sub_sat<int>(INT_MIN + 4, 5) == INT_MIN) // saturated
    && (std::sub_sat<int>(INT_MAX - 4, -3) == INT_MAX - 1) // not saturated
    && (std::sub_sat<int>(INT_MAX - 4, -5) == INT_MAX) // saturated
    && (std::sub_sat<unsigned>(4, 3) == 1) // not saturated
    && (std::sub_sat<unsigned>(4, 5) == 0) // saturated
);
int main() {}

Siehe auch

(C++26)
Sättigende Additionsoperation für zwei Ganzzahlen
(Funktionsschablone)
(C++26)
Sättigende Multiplikationsoperation für zwei Ganzzahlen
(Funktionsschablone)
(C++26)
Sättigende Divisionsoperation für zwei Ganzzahlen
(Funktionsschablone)
(C++26)
Gibt einen auf den Wertebereich eines anderen Ganzzahltyps begrenzten Ganzzahlwert zurück
(Funktionsschablone)
(C++17)
Begrenzt einen Wert zwischen einem Paar von Grenzwerten
(Funktionsschablone)
(C++20)
Prüft, ob ein Ganzzahlwert im Wertebereich eines gegebenen Ganzzahltyps liegt
(Funktionsschablone)
[static]
Gibt den kleinsten endlichen Wert des gegebenen Nicht-Gleitkommatyps oder den kleinsten positiven Normalwert des gegebenen Gleitkommatyps zurück
(öffentliche statische Elementfunktion von std::numeric_limits<T> )
[static]
Gibt den größten endlichen Wert des gegebenen Typs zurück
(öffentliche statische Elementfunktion von std::numeric_limits<T> )

Externe Links

1. Eine verzweigungsfreie Implementierung von Saturation Arithmetic — Locklessinc.com, 2012
2. C++ Weekly - Ep 459 - C++26's Saturating Math Operations — Youtube.com, 2024-12-16