std::numeric_limits<T>:: is_modulo

El valor de std:: numeric_limits < T > :: is_modulo es true para todos los tipos aritméticos T que manejan desbordamientos con aritmética modular, es decir, si el resultado de suma, resta, multiplicación o división de este tipo caería fuera del rango [ min() , max() ] , el valor devuelto por dicha operación difiere del valor esperado por un múltiplo de max ( ) - min ( ) + 1 .

is_modulo es false para tipos enteros con signo, a menos que la implementación defina que el desbordamiento de enteros con signo se ajuste.

Especializaciones estándar

Notas

El estándar decía "En la mayoría de las máquinas, esto es true para enteros con signo." antes de la resolución de LWG issue 2422 . Consulte GCC PR 22200 para una discusión relacionada.

Ejemplo

#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

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

1. ↑ La definición es "sumar dos números positivos puede tener un resultado que se desborda hacia un tercer número que es menor". Tiene los siguientes problemas:
   • No define el valor desbordado.
   • No establece si el resultado es repetible.
   • No requiere que realizar suma, resta y otras operaciones con todos los valores tenga un comportamiento definido.

Véase también