Как отловить переполнения?

@taras atavin · Регистрация: 24.11.2009

Студворк — интернет-сервис помощи студентам

Есть проект dll, в в нём экспортируемая функция, возвращающая BOOL, требуется при переполнении любой вещественной операции в теле этой функции вернуть FALSE.

HighPredator · 02.10.2014, 14:30

Ну а в чем проблема? Контролируйте арифметику в функции. Например для сложения контролируйте a+b < MAX_DOUBLE (образно, адаптируйте).

@taras atavin · 02.10.2014, 14:40 **[ТС]**

Сообщение от HighPredator

Например для сложения контролируйте a+b < MAX_DOUBLE (образно, адаптируйте).

И что это даст? Больше, чем до MAX_DOUBLE не увеличится. Ловить равенство? Так ведь и при переполнении может получиться меньше по аналогии с 17*790=457E, 17*798=4586, 457E+4586=8B04, 8B04=-29*948, -29*948<MAX_SHORT_INT.

@MakItSim · 02.10.2014, 14:40

В идеале проверять до операции, с чем имеешь дело. Или fetestexcept с FE_OVERFLOW попробовать.

@taras atavin · 02.10.2014, 14:41 **[ТС]**

Сообщение от MakItSim

Или fetestexcept с FE_OVERFLOW попробовать.

Что это такое?

@MakItSim · 02.10.2014, 14:47

Determines which of the specified subset of the floating point exceptions are currently set.

http://en.cppreference.com/w/c... testexcept

@MickeyBlueEyes · 02.10.2014, 14:48

Возможно как-то так:

C++
1
if ( ( ( a / 2 ) + ( b / 2 ) ) > ( MAX_DOUBLE / 2) ) return false;

@taras atavin · 02.10.2014, 14:58 **[ТС]**

Сообщение от MickeyBlueEyes

Возможно как-то так:
Код C++
1
if ( ( ( a / 2 ) + ( b / 2 ) ) > ( MAX_DOUBLE / 2) ) return false;

Не хотелось бы диапазон сужать.

HighPredator · 02.10.2014, 16:41

Сообщение от taras atavin

требуется при переполнении любой вещественной операции в теле этой функции вернуть FALSE.

Сообщение от HighPredator

контролируйте a+b < MAX_DOUBLE

Контролируем:

C++
1
2
3
4
5
6
7
8
9
10
11
12
double a = //....
double b = //....
 
if ((MAX_DOUBLE - b) < a)
{
  // эквивалентно a+b>MAX_DOUBLE --> 100% переполнится
  return FALSE;
}
else
{
  //складываем
}

Сообщение от taras atavin

И что это даст?

Такая логика даст решение.

@zss · 02.10.2014, 16:46

HighPredator, Это не решение.
Пусть b= -MAX_DOUBLE+1
тогда b-MAX_DOUBLE=-2*MAX_DOUBLE+1 - тоже переполнение.

HighPredator · 02.10.2014, 16:52

zss, внимательно посмотрите пожалуйста. Разность MAX_DOUBLE - b не переполнится для любых b.

Добавлено через 1 минуту
PS MAX_DOUBLE верхняя положительная граница если что

Добавлено через 1 минуту
А вы про это... Понял. Ну общая логика и так понятна.

@taras atavin · 02.10.2014, 16:55 **[ТС]**

Сообщение от HighPredator

if ((MAX_DOUBLE - b) < a)

При положительном b получаем переполнение уже в этой строке.

Добавлено через 1 минуту

Сообщение от HighPredator

Разность MAX_DOUBLE - b не переполнится для любых b.

Наоборот, переполнится при любом отрицательном b.

HighPredator · 02.10.2014, 16:56

Сообщение от taras atavin

if ((MAX_DOUBLE - b) < a)
При положительном b получаем переполнение уже в этой строке.

Да неужели)))

@taras atavin · 02.10.2014, 16:58 **[ТС]**

Сообщение от HighPredator

Да неужели)))

При отрицательном. Думал одно, написал другое. Но переполнение будет уже в этой строке.

HighPredator · 02.10.2014, 16:59

taras atavin, вы же вроде образованный человек, такие заумные вещи задвигаете на форуме, а тут простую идею понять не можете....
Я вас пытаюсь вот к чему подвести: пишете шаблонный класс, подцепляете туда диапазоны из лимитс, переопределяете арифметику как я показал, только учтя что если например оператор- вызывается с отрицательным аргументом, то надо вызвать оператор+ с положительным и будет счастье)

@taras atavin · 02.10.2014, 17:11 **[ТС]**

А проще ни как? Это ведь по всему тексту отлавливать. И там не только сложение, но и деление/умножение. Делить на ноль, например, нельзя, это уже отлавливается. А делить на очень мало? Например $https://www.cyberforum.ru/cgi-bin/latex.cgi?10^{200}/10^{-200}$ ? Получится $https://www.cyberforum.ru/cgi-bin/latex.cgi?10^{400}$ , а граница диапазона $https://www.cyberforum.ru/cgi-bin/latex.cgi?1.7976931348623158*10^{308}$ , что меньше, при этом и оба операнда представимы, так как и нижняя граница положительных чисел $https://www.cyberforum.ru/cgi-bin/latex.cgi?2.2250738585072014*10^{308}$ меньше делителя, и $https://www.cyberforum.ru/cgi-bin/latex.cgi?1.7976931348623158*10^{308}$ больше делимого. Значит

C++
1
2
3
double a=1.0e+200;
double b=1.0e-200;
double c=a/b;

даст переполнение в третьей строке.

Новые блоги и статьи Все статьи Все блоги /
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .
Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .

@taras atavin 4226 / 1796 / 211 Регистрация: 24.11.2009 Сообщений: 27,562

	Как отловить переполнения? 02.10.2014, 14:10. Показов 1617. Ответов 15 Метки нет (Все метки) Есть проект dll, в в нём экспортируемая функция, возвращающая BOOL, требуется при переполнении любой вещественной операции в теле этой функции вернуть FALSE. 0

HighPredator 6045 / 2160 / 753 Регистрация: 10.12.2010 Сообщений: 6,005 Записей в блоге: 3
	02.10.2014, 14:30
	Ну а в чем проблема? Контролируйте арифметику в функции. Например для сложения контролируйте a+b < MAX_DOUBLE (образно, адаптируйте). 0

@MakItSim 19 / 19 / 14 Регистрация: 23.09.2014 Сообщений: 117
	02.10.2014, 14:40
	В идеале проверять до операции, с чем имеешь дело. Или fetestexcept с FE_OVERFLOW попробовать. 0

@zss Модератор 13773 / 10966 / 6491 Регистрация: 18.12.2011 Сообщений: 29,244
	02.10.2014, 16:46
	HighPredator, Это не решение. Пусть b= -MAX_DOUBLE+1 тогда b-MAX_DOUBLE=-2*MAX_DOUBLE+1 - тоже переполнение. 0

HighPredator 6045 / 2160 / 753 Регистрация: 10.12.2010 Сообщений: 6,005 Записей в блоге: 3
	02.10.2014, 16:52
	zss, внимательно посмотрите пожалуйста. Разность MAX_DOUBLE - b не переполнится для любых b. Добавлено через 1 минуту PS MAX_DOUBLE верхняя положительная граница если что Добавлено через 1 минуту А вы про это... Понял. Ну общая логика и так понятна. 0

HighPredator 6045 / 2160 / 753 Регистрация: 10.12.2010 Сообщений: 6,005 Записей в блоге: 3
	02.10.2014, 16:59
	taras atavin, вы же вроде образованный человек, такие заумные вещи задвигаете на форуме, а тут простую идею понять не можете.... Я вас пытаюсь вот к чему подвести: пишете шаблонный класс, подцепляете туда диапазоны из лимитс, переопределяете арифметику как я показал, только учтя что если например оператор- вызывается с отрицательным аргументом, то надо вызвать оператор+ с положительным и будет счастье) 0