Как можно определить переполнение при выполнении арифметических операций. Понятно, что при делении на 0 в С++ будет порождено исключение. А как отловить случай, когда происходит переполнение, т.е. результат не умещается в переменную. Например, если при суммировании INT16 результат уместиться в INT32.

LeonMtry{....}
Либо я чего-то не понял, либо не поняли меня. Меня не интересует, как отловить ситуацию с делением на 0 - это просто. Да и в моем случае try... не поможет.

Я имел ввиду:
unsigned int i1 = 0xFFFFFFFF;
unsigned int i2 = 0xFFFFFFFF;
unsigned int i3 = i1+i2;

В i3 будет помещено значение FFFFFFFE, когда как правильным является 1FFFFFFFE
Это правильно. Это произошло из-за переполнения. И это не вызывает исключения. Да и не должно. На асме это можно посмотреть соответсвующую установку флага процессора. Но в асм лезть не хочу. При вызове функций sin и т.п из math. можно сравнить взвращаемый результат с некоторым значением, если выполняется равенство - произошла переполнение. Кроме того, можно переопределить поведение, напрмер, порождать исключение, но такого богатства мне не надо.

Мне бы просто узнать, что результат является математически ошибочным (не всегда это нежелательный эффект - часто работают в поле 2^32 таким способом.)

PS
Я специально использовал такой размер int, чтобы не советовали взять тип большей разрядности. В общем случае можно лишь утверждать соотношение sizeof(char)<=sizeof(short)<=sizeof(int)<=sizeof(long), причем разрядность каждого типа зависит как от компилятора, так и от системы (программно-аппаратной). И гарантировать чего-либо другого нельзя. Аналогична ситуация и с действительными числами.

ZrenBy http://www.firststeps.ru/mfc/steps/r.php?393
Пока я писал ранее, поступил ответ. Просто очень уж не хотелось вспоминать забытый асм. Потом, можно было бы эту К разместь глобально или статически.

И потом, эта штука не сработает в примере i1+i2+i3+i4, если произойдет переполнение при первом или втором суммировании, а при третьем - нет. Флаги-то обрабатыаем(в примере) после последней операции, а изменяются они при каждой мат. операции.
Втыкать проверку после каждого выражения, да еще и разбивать выражения на части - слишком уж для кучи существующего кода.

Просто (так и сам камень отмечает, да и в фортране) определены след. правила
Число + число = число или NaN(смотрим по флагам)
Число +NaN = NaN + Число = NaN.

Тогда результат(конечный) достаточно проверить на равенство NaN. Конечно, при этом теряется одно значение, обычно, наибольшее возможное.

Решить-то это можно переопределением операторов +-/* для стандартных типов, только в стандарте написано, что делать это никак не разрешается. И мой компилер не пропускает - значит, в этом следует стандарту.
PS
Придется писать свой класс INT. И везде по тексту - заменить -(...

Совсем забыл комментарий к коду по ссылке:
Мы там суммируем в асме - то есть повторно выполняем операцию. Проще тогда сразу результат проверить (иногда требуется коррекция, но это - в асм, в камень) и в переменную-назначение писать.
А то у меня софтина полчаса считает. С такой проверочкой - вдвое увеличивать время - тяжело.
PS
этому форуму не хватает возможности редактировать сообщения.

White Owl а какие вообще могут быть задачи в которых надо складывать такие большие числа?
Например, расчет высыпаний высокоэнергичных частиц по всему шарику в период магнитной бури (или в спокойный период - не важно).

Просто с фортране (в старом - вылетала программа), в новом, втыкается NaN. А тут вот захотелось кое-кому С++ попробовать.

PS
Придется-таки копать в сторону библиотек.
PPS
Или напишу собственные классы для стандартных типов (ведь такое и для чисел с плавающей точкой возможно), только тогда придется суммировать самому в асме - а как неохота.

MasterZivТы навернае пирипутал друх, такие вещи в флоат считают.
int я взял только для примера. Такое же перполнение происходит и с флоат (а еще extended и currency, просто смени типы в примере - увидишь ту же фишку). И его тоже можно отловить в асме. Хотя осталась у нас от одного человечка забавная рутина, считающая значения падения потенциала через полярную шапку в виде числитель/знаменатель(правда, в ней емкости int хватает), переводящая к флоат только окончательный результат.