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

@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;

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

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Логарифм записывается как: (x-2)log(x^2+2) - означает логарифм (x^2+2) по основанию (x-2). Унарный минус обозначается как ! */ #include <iostream> #include <stack> #include <cctype>. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

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

	Как отловить переполнения? 02.10.2014, 14:10. Показов 1614. Ответов 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,243
	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