5

Мне нужно отловить переполнение int не прибегая к математике.
Но как показала практика получить ошибку о переполнении нереально. После того как тип переполнен программа не выбрасывает исключение или ошибку, что бы ее можно было обработать.
Как посоветуете поступить?, вариант сравнения: если значение больше то сообщение об ошибке, не подходит.

2
  • Как я знаю это можно сделать с asm вместе. как сделано здесь firststeps.ru/mfc/steps/r.php?393 так как Ассамблер создает флаг при переполнении
    – Saidolim
    18 дек 2015 в 19:46
  • 4
    Может быть лучше использовать template<typename T, typename E = _SAFEINT_DEFAULT_ERROR_POLICY> class SafeInt; - Extends the integer primitives to help prevent integer overflow and lets you compare different types of integers.
    – cpp_user
    18 дек 2015 в 19:51

2 ответа 2

11

Переполнение типа int приводит к неопределенному поведению (UB), и по этому в С++ программе его не может быть.

На практике, компилятор С++ может удалять код проверяющий переполнение int, т.к. переполнения не может происходить.

Если же переполнение int произойдет, то дальнейшее поведение программы не определено, и любые пост-фактум проверки бессмысленны, т.к. программа уже находится в невалидном состоянии.

По этому возможность переполнения можно проверить только до выполнения операции, которая может его вызвать, например:

int x;
if (x != INT_MAX) {
  ++x;
} else {
  // будет переполнение
}

Примечание:
На платформе x86 есть инструкция into, но она не доступна из С++.


В компиляторе gcc есть опция -fstrict-overflow, которая позволяет отключить оптимизации, связанные с невозможностью переполнения знаковых типов. Это позволяет компилировать старый код, нарушающий запрет на переполнение int. Впрочем в новом коде эту опцию лучше не использовать, и писать код, соответствующий требованиям стандарта.

5
  • Это если int по умолчанию знаковый, ЕМНИП. Ддя беззнакового int по стандарту wrap-around.
    – VladD
    18 дек 2015 в 19:55
  • 1
    Хм. Не удержался и полез в стандарт. Нашёл 3.9.1/2. Век живи, век учись.
    – VladD
    18 дек 2015 в 20:04
  • 1
    @Abyx Где вы вычитали, что переполнение типа int приводит к UB? 18 дек 2015 в 20:09
  • @Abyx Есть некоторое противоречие в стандарте когда говорится что преобразование из одного типа в другой, когда исходный тип не умещается в результирующем, то это implementation-defined для знаковых типов. 18 дек 2015 в 20:28
  • 2
    Единственное, что на это хочется сказать -- "ф топку" такие стандарты и компиляторы.
    – avp
    18 дек 2015 в 20:36
2

Для gcc есть вот такие встроенные функции проверки переполнения

2
  • 1
    Хотя по ссылке можно найти ответ на вопрос, лучше указать здесь самое главное, а ссылку приводить в качестве источника. Если страница, на которую ведет ссылка, будет изменена, ответ-ссылка может стать недействительным. - Из очереди проверок
    – Saidolim
    19 дек 2015 в 9:12
  • @Saidolim, Вы имели в виду запрос в гугл: gcc overflow functions ?
    – avp
    19 дек 2015 в 16:17

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.