Модераторы: Daevaorn
  

Поиск:

Ответ в темуСоздание новой темы Создание опроса
> как сдетектировать переполнение? 
:(
    Опции темы
mrgloom
Дата 23.5.2013, 16:20 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 829
Регистрация: 8.6.2011

Репутация: нет
Всего: нет



Код

int dist= sqrt((double)(x_pr-n_x1)*(x_pr-n_x1)+(y_pr-n_y1)*(y_pr-n_y1));

в коде встречается такая строчка и dist получается отрицательным числом, я так предполагаю, что происходит переполнение из-за того что в sqrt слишком большое число?
как этого можно сдетектировать или избежать?
PM MAIL   Вверх
bsa
Дата 23.5.2013, 16:55 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Модератор
Сообщений: 9185
Регистрация: 6.4.2006
Где: Москва, Россия

Репутация: 63
Всего: 196



сначала результат присвоить переменной типа double, затем проверить на [0;INT_MAX] и уже после только присваивать целочисленной переменной.
PM   Вверх
mrgloom
Дата 23.5.2013, 17:16 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 829
Регистрация: 8.6.2011

Репутация: нет
Всего: нет



Цитата

затем проверить на [0;INT_MAX] 

ну так dist будет отрицательным же(т.е. достаточно проверить на <0), т.к. будет больше INT_MAX(или при преобразовании в дабл что измениться?).
а если число 2 раза выйдет за пределы и снова станет положительным? (или такого не может быть?)
PM MAIL   Вверх
baldina
Дата 23.5.2013, 17:18 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Завсегдатай
Сообщений: 3433
Регистрация: 5.12.2007
Где: Москва

Репутация: 32
Всего: 101



PM MAIL   Вверх
volatile
Дата 24.5.2013, 00:51 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Завсегдатай
Сообщений: 2107
Регистрация: 7.1.2011

Репутация: 37
Всего: 85



Цитата(mrgloom @  23.5.2013,  17:16 Найти цитируемый пост)
а если число 2 раза выйдет за пределы и снова станет положительным? (или такого не может быть?) 

Может быть что угодно. Если не ошибаюсь, приведение непомещающегося дабл к инт, это UB.

Цитата(baldina )

    if (d <= std::numeric_limits<int>::max()) {
      int dist = static_cast<int>(d);

точнее так
Код

    if (floor (d) <= std::numeric_limits<int>::max()) {
либо
    if (d < 1. + std::numeric_limits<int>::max()) {

ну и на нижнюю границу тоже, не помешает проверить.

а чтоб не изобретать велосипед, смотрите boost::numeric_cast<>

PM MAIL   Вверх
mrgloom
Дата 24.5.2013, 08:42 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 829
Регистрация: 8.6.2011

Репутация: нет
Всего: нет



isfinite только в c++11 ? как же раньше без этого жили?

и я не понял метод проверить int на переполнение это положить его в double и проверить на выход за границы int? а для double есть своя функция isfinite ? почему её тогда и для int нету?

Это сообщение отредактировал(а) mrgloom - 24.5.2013, 08:46
PM MAIL   Вверх
baldina
Дата 24.5.2013, 10:08 (ссылка) |    (голосов:1) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Завсегдатай
Сообщений: 3433
Регистрация: 5.12.2007
Где: Москва

Репутация: 32
Всего: 101



Цитата(mrgloom @  24.5.2013,  08:42 Найти цитируемый пост)
а для double есть своя функция isfinite ? почему её тогда и для int нету?

потому что в представлении чисел с плавающей запятой есть такое специальное значение, а все числа int правильные (по значению невозможно определить, было ли переполнение). в С/С++ нет средств проверки переполнения целочисленных арифметических операций, хотя процессор имеет такие средства (CF, OF).

Цитата(mrgloom @  24.5.2013,  08:42 Найти цитируемый пост)
isfinite только в c++11 ? как же раньше без этого жили?

можно выполнить проверку x==x, если x - NaN, должно быть false
фанаты могут опереться на стандарт и проверять биты 
PM MAIL   Вверх
xvr
Дата 24.5.2013, 13:14 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Комодератор
Сообщений: 7046
Регистрация: 28.8.2007
Где: Дублин, Ирландия

Репутация: 60
Всего: 223



Цитата(mrgloom @  24.5.2013,  08:42 Найти цитируемый пост)
и я не понял метод проверить int на переполнение это положить его в double

Наоборот - не класть его в double, а прямо в double и проверять. Double можно сравнить с int, в том числе и с max int, а вот int с max int уже сравнивать поздно  smile 

PM MAIL   Вверх
  
Ответ в темуСоздание новой темы Создание опроса
Правила форума "С++:Общие вопросы"
Earnest Daevaorn

Добро пожаловать!

  • Черновик стандарта C++ (за октябрь 2005) можно скачать с этого сайта. Прямая ссылка на файл черновика(4.4мб).
  • Черновик стандарта C (за сентябрь 2005) можно скачать с этого сайта. Прямая ссылка на файл черновика (3.4мб).
  • Прежде чем задать вопрос, прочтите это и/или это!
  • Здесь хранится весь мировой запас ссылок на документы, связанные с C++ :)
  • Не брезгуйте пользоваться тегами [code=cpp][/code].
  • Пожалуйста, не просите написать за вас программы в этом разделе - для этого существует "Центр Помощи".
  • C++ FAQ

Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, Earnest Daevaorn

 
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | C/C++: Общие вопросы | Следующая тема »


 




[ Время генерации скрипта: 0.0487 ]   [ Использовано запросов: 22 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.