История изменений
Исправление quasimoto, (текущая версия) :
Это и есть переполнение
Там дальше написано
This implies that unsigned arithmetic does not overflow because a result that cannot be represented by the resulting unsigned integer type is reduced modulo the number that is one greater than the largest value that can be represented by the resulting unsigned integer type.
И ещё
If during the evaluation of an expression, the result is not mathematically defined or not in the range of representable values for its type, the behavior is undefined. [ Note: most existing implementations of C ++ ignore integer overflows.
В случае беззнаковых операции и mathematically defined, и in the range, причём mathematically defined они через shall obey the laws of arithmetic modulo 2^n (ну то есть вычеты, даже англоязычная вики про integer overflow упоминает про них).
Исходная версия quasimoto, :
Это и есть переполнение
Там дальше написано
This implies that unsigned arithmetic does not overflow because a result that cannot be represented by the resulting unsigned integer type is reduced modulo the number that is one greater than the largest value that can be represented by the resulting unsigned integer type.
И ещё
If during the evaluation of an expression, the result is not mathematically defined or not in the range of representable values for its type, the behavior is undefined. [ Note: most existing implementations of C ++ ignore integer overflows.
В случае беззнаковых операции и mathematically defined, и in the range, причём mathematically defined они через shall obey the laws of arithmetic modulo 2^n (ну то есть вычеты, даже англоязычная вики про integer overflow упоминает про них).