NaN in Math

[Sibedir]

Вот на что наткнулся в модуле Math:

const

...

  { The following constants should not be used for comparison, only
    assignments. For comparison please use the IsNan and IsInfinity functions
    provided below. }
  NaN         =  0.0 / 0.0;
  (*$EXTERNALSYM NaN*)
  (*$HPPEMIT 'static const Extended NaN = 0.0 / 0.0;'*)
  Infinity    =  1.0 / 0.0;
  (*$EXTERNALSYM Infinity*)
  (*$HPPEMIT 'static const Extended Infinity = 1.0 / 0.0;'*)
  NegInfinity = -1.0 / 0.0;
  (*$EXTERNALSYM NegInfinity*)
  (*$HPPEMIT 'static const Extended NegInfinity = -1.0 / 0.0;'*)

Что это такое и счем это едят? Вроде понятно, но хотелось бы услышать еще мнения.

[mihali4]

И вновь - просто поразительная лень!
Для чего умные люди выложили в интернете множественные объяснения?
http://www.delphisources.ru/pages/fa...IsNaN.php.html

[Sibedir]

Да нет, mihali4, это не лень. Естественно, что подобное приминение NaN - это первое, что я встретил в нэте. Просто возникло любопытство, а как еще люди пользуются этой возможностью, так сказать, кто во что гаразд.
Я когда этот NaN увидел, сначала до глудены моей души был возмущен такой безтактной постановкой вопроса. Эт значит нам делить на ноль нельзя, а ему можно . Стал гадать, как этой вновь открывшейся тайной за семью печатями () воспользоватся на полную катушку. Решил наверстать упущенное, так сказать. Заодно спросил на форуме. Но моей фантазии ни на что интересное не хватило. Эт я от волнения придал этому факту такое значение, но теперь вижу - гадится этот NaN только для указания на невозможность операции.
Но вот вопрос, это что такое получается? Перед любой арифметической операцией сначала идет проверка: А не с NaN'ом ли мы работаем? Не влияет ли это на скорость вычислений?

[B_N]

Sibedir, вообще на ноль "делить" как бы не возбраняется - однородные координаты, например. И потом в машинном представлении вещественных чисел самые крайние значения всегда обозначали бесконечности.

[Sibedir]

Sibedir, вообще на ноль "делить" как бы не возбраняется - однородные координаты, например. И потом в машинном представлении вещественных чисел самые крайние значения всегда обозначали бесконечности.

Вот и верь после этого препадам в универе и книжкам типа "Delphi для чайников".

Ну а на скорость это все-таки влияет или нет?

[Sibedir]

Во чё придумал:

type
  TArrExtended = array [0..9] of Byte;
var
  e: Extended;
begin
  e := NaN;
  TArrExtended(e)[6] := 0;
  ShowMessage (FloatToStr (e));
end;

Такая нехитрая запись показывает, что можно написать функцию, которая, используя с 0 по 6 байт типа Extended, вернет не только NaN, но и например код ошибки. То же самое можно провернуть и с другими типами.

Хм, а вы говорили.

[B_N]

Ну здесь, насколько я понимаю, не ничего общего с "настоящим" делением. Просто оператор, имеющий "привычную" форму, а в математике ведь запись 1/0 не является чем-то экстраординарным, когда известно, что под ней подразумевается не арифметика. Да и делить на ноль не то чтобы "нельзя", а, скорее, "не имеет смысла". Оператор этот эдесь скорее всего выполняет просто несколько сравнений и к обычному делению, конечно, не имеет отношения, посмотрите отладчиком.
-----------------------
Ну и до кучи:
http://en.wikipedia.org/wiki/Double_precision (обратите внимание, к чему применяется infinity)
http://en.wikipedia.org/wiki/NaN

[Sibedir]

Я был не понят.

[B_N]

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

Я был не понят.

Ну значит Вы плохо объяснили, что имеете в виду. NaN - это просто запись, обозначающая бесконечность и ей соответствует вполне определенный битовый набор в представлении чисел... Что не так?

[B_N]

Вот Вам еще пример - пишу вот такю "программу":

.............
double d = 1;
d /= 0;
............

Компилятор это мало волнует, он говорит только "warning C4723: potential divide by 0". "Программа" прекрасно выполняется, после деления переменная d выглядит таким образом:

00 00 00 00 00 00 f0 7f

- бесконечность.