OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Вторник, 19 Март, 2024 14:20

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Деление на ноль и бесконечность
СообщениеДобавлено: Среда, 30 Июнь, 2010 14:31 

Зарегистрирован: Пятница, 25 Сентябрь, 2009 13:10
Сообщения: 1177
Откуда: Мариуполь
Случайно наткнулся на одну статью ("Безвременно как бесконечность") и попробовал такой код:
Код:
MODULE TestZeroDiv;

   IMPORT Log := StdLog;

   PROCEDURE RealDiv*;
      VAR f, zero: REAL;
   BEGIN
      zero := 0.0;
      f := 123.0 / zero;
      Log.Real(f)
   END RealDiv;

   PROCEDURE IntDiv*;
      VAR i, zero: INTEGER;
   BEGIN
      zero := 0;
      i := 123 DIV zero;
      Log.Int(i)
   END IntDiv;

   PROCEDURE Do*;
   BEGIN
      RealDiv;
      IntDiv
   END Do;
   
END TestZeroDiv.

:!: TestZeroDiv.Do

Компилятор ББ сообщает уже на этапе компиляции о попытке деления на ноль, если указывать ноль константой.
При делении вещественных чисел на ноль получаем бесконечность (Inf), как и описано в стандарте IEEE (IEEE 754-1985). А при целочисленном делении на ноль срабатывает капкан.

Надеюсь, будет полезно всем.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 30 Июнь, 2010 14:38 
Модератор
Аватара пользователя

Зарегистрирован: Среда, 16 Ноябрь, 2005 00:53
Сообщения: 4625
Откуда: Россия, Орёл
Language Report писал(а):
8.2.2 Arithmetic operators
...
If the result of a real operation is too large to be represented as a real number, it is changed to the predeclared value INF with the same sign as the original result. Note that this also applies to 1.0/0.0, but not to 0.0/0.0 which has no defined result at all and leads to a run-time error...


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 3


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
cron
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB