std::numeric_limits<T>::is_modulo

static const bool is_modulo;

static constexpr bool is_modulo;

La valeur de std::numeric_limits<T>::is_modulo est true pour tous les types arithmétiques T qui gèrent les débordements avec une arithmétique modulo, c'est-à-dire si le résultat d'une addition, d'une soustraction, d'une multiplication ou d'une division de ce type sort de l'intervalle [min(), max()], la valeur renvoyée par une telle opération diffère de la valeur attendue par un multiple de max() - min() + 1.

is_modulo est false pour les types entiers signés, sauf si l'implémentation définit le débordement d'entier signé comme un wrapping.

Spécialisations standards

Notes

La norme indiquait « Sur la plupart des machines, ceci est true pour les entiers signés. » avant la résolution de LWG issue 2422 . Voir GCC PR 22200 pour une discussion connexe.

Exemple

#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

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

1. ↑ La définition est "l'addition de deux nombres positifs peut avoir un résultat qui boucle vers un troisième nombre qui est inférieur". Elle présente les problèmes suivants :
   • Elle ne définit pas la valeur enveloppée.
   • Elle ne précise pas si le résultat est reproductible.
   • Elle n'exige pas que l'exécution d'additions, de soustractions et d'autres opérations sur toutes les valeurs ait un comportement défini.

Voir aussi