std::numeric_limits<T>:: is_modulo

Der Wert von std:: numeric_limits < T > :: is_modulo ist true für alle arithmetischen Typen T , die Überläufe mit Modulo-Arithmetik behandeln, das heißt, wenn das Ergebnis einer Addition, Subtraktion, Multiplikation oder Division dieses Typs außerhalb des Bereichs [ min() , max() ] liegen würde, unterscheidet sich der von einer solchen Operation zurückgegebene Wert vom erwarteten Wert um ein Vielfaches von max ( ) - min ( ) + 1 .

is_modulo ist false für vorzeichenbehaftete Ganzzahltypen, es sei denn, die Implementierung definiert den Überlauf vorzeichenbehafteter Ganzzahlen als Wrap-Around.

Standardspezialisierungen

Hinweise

Der Standard sagte "Auf den meisten Maschinen trifft dies true für vorzeichenbehaftete Ganzzahlen zu." vor der Lösung von LWG Issue 2422 . Siehe GCC PR 22200 für eine verwandte Diskussion.

Beispiel

#include <iostream>
#include <type_traits>
#include <limits>
template<class T>
typename std::enable_if<std::numeric_limits<T>::is_modulo>::type
    check_overflow()
{
    std::cout << "max value is " << std::numeric_limits<T>::max() << '\n'
              << "min value is " << std::numeric_limits<T>::min() << '\n'
              << "max value + 1 is " << std::numeric_limits<T>::max()+1 << '\n';
}
int main()
{
    check_overflow<int>();
    std::cout << '\n';
    check_overflow<unsigned long>();
//  check_overflow<float>(); // compile-time error, not a modulo type
}

max value is 2147483647
min value is -2147483648
max value + 1 is -2147483648
max value is 18446744073709551615
min value is 0
max value + 1 is 0

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

1. ↑ Die Definition lautet: "Das Addieren zweier positiver Zahlen kann zu einem Ergebnis führen, das auf eine dritte Zahl umschlägt, die kleiner ist". Sie hat folgende Probleme:
   • Sie definiert nicht den umgeschlagenen Wert.
   • Sie legt nicht fest, ob das Ergebnis wiederholbar ist.
   • Sie erfordert nicht, dass die Ausführung von Addition, Subtraktion und anderen Operationen mit allen Werten ein definiertes Verhalten aufweist.

Siehe auch