Деление на ноль происходит без ошибок

[Dim4]

Вроде не новичок, но с подобным сталкиваюсь впервые.
Следующий кусок кода выполняется Delphi7 без обработки исключения, более того, если убрать try..except - выполняется без ошибок, в Х - INF.

var
  x:real;
begin
      try
      x:=1/0;
      except
      ShowMessage('x= '+floattostr(x));
      end;
end;

НО! Стоит поменять тип real на comp - и все как надо (ошибки и пр.)
В чем может быть дело?

[Valio]

Дело в том, что x при делении на ноль даст положительную бесконечность ибо real это число с точкой.

Тоесть после выполнения x будет равен +inf - положительная бесконечность.

http://www.delphisources.ru/pages/fa...inity.php.html

[Dim4]

Valio, спасибо за ответ.
Получается все действительные типы, кроме Comp и Currency, ошибку деления на ноль не выдадут.
Но почему именно на цифру ноль? Если ноль присвоить переменной хоть целочисленного типа, хоть действительного и на него поделить, то ошибка будет.
Разве цифра 0 и значение 0 целочисленной переменной, например integer, не одно и то же в машинном представлении?

Повторюсь, просто не сталкивался с такими нюансами, для меня все таки немного странно это. Видимо, что-то где-то я упустил о типах данных.

[Valio]

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

Повторюсь, просто не сталкивался с такими нюансами, для меня все таки немного странно это. Видимо, что-то где-то я упустил о типах данных.

Тут дело не только в самом делении, но и в способности Делфи оптимизировать программу.

Код ниже делает деление на ноль. Но ошибки не произойдёт ибо Делфи оптимизирует код и деление не будет произведено. Ибо дальше x не используется. И даже если y будет integer, оптимизатор уберёт.

procedure TForm1.Button1Click(Sender: TObject);
var
  x, y : real;
begin
y := 0;
x := 1/y;
//ShowMessage('x= '+floattostr(x));
end;

Но стоит откоментировать ShowMessage как оптимизатор тутже вернёт всё в зад и ему придётся устроить это деление. В результате бла бла бла деление на ноль.

[Dim4]

Да-да, про оптимизатор я знаю, но чтобы было проще, проверил так.

var
  x:real;  i:integer;
begin
      x:=0;i:=0;
      x:=1/0;
      ShowMessage('x= '+floattostr(x));
end;

и так

var
  x:real;  i:integer;
begin
      x:=0;i:=0;
      x:=1/i;
      ShowMessage('x= '+floattostr(x));
end;

В первом случае бесконечность, во втором - ошибка

[GunSmoker]

В чем может быть дело?

Потому что это выражение вообще не вычисляется при прогоне программы. Исключению взяться неоткуда. Это же константа, она вычисляется на этапе компиляции. И равна она бесконечности.

С Comp/Currency ситуация иная, видимо потому что нужно преобразование типов.

[GunSmoker]

Стоит поменять тип real на comp - и все как надо (ошибки и пр.)

Вообще-то непонятно, как это скомпилировал. У меня для Comp/Currency даёт "[DCC Error] E2099 Overflow in conversion or arithmetic operation".

[Dim4]

Это же константа, она вычисляется на этапе компиляции

GunSmoker, да, точно, об этом я забыл, спасибо.

Вообще-то непонятно, как это скомпилировал.

Теперь и мне непонятно. Может по запарке не обратил внимания, что ошибка другая и компиляции не произошло. Ну это ладно, главное с основным разобрался ).

[s-andriano]

Вообще-то FPU на аппаратном уровне поддерживает бесконечность, но в большинстве случаев ЯВУ считают появление бесконечности ошибкой (что, в общем-то, правильно).

Разве цифра 0 и значение 0 целочисленной переменной, например integer, не одно и то же в машинном представлении?

Да, это совершенно различные сущности. Отличаются буквально всем: назначением, длиной, двоичным представлением.
Достаточно сказать, что код цифры 0 равен 48.

[Utkin]

Деление на ноль происходит без ошибок

ОФФТОП: Поздравляю . Еще один прозрел, добро пожаловать в Матрицу.