Почему операция 0.0 / 0.0 выдает ошибку?

Question

[versidue]

В книге написано что 0.0 / 0.0 возвращает литерал nan, но у меня выдает ошибку "divide or mod by zero".
Тоже самое с операциями (-)n / 0.0, которые должны были возвращать inf, однако выдает ошибку. В чем проблема? Компилятор Visual Studio 2019.

std::cout << 0.0 / 0.0 << "\n\n";

Comments

[Евгений Шатунов]

versidue , в какой конкретно книге написано что данная операция должна всегда возвращать исключительно и только nan?

[versidue]

Евгений Шатунов, https://ravesli.com/urok-33-tip-dannyh-s-plavayush...

[Евгений Шатунов]

versidue, это не та книга, по которой тебе стоит учиться. Автор заблуждается.
В общем случае деление на ноль - это неопределенное поведение.

[res2001]

Ошибку можно увидеть целиком?

На типичных процессорах (Intel/AMD и др.) деление с плавающей точкой выполняется аппаратно. Соответственно код на С++ просто использует результат аппаратных вычислений.
При делении на 0, обычно, возможно 2 варианта развития событий:
1. Аппаратно возвращается NaN. В большинстве случаев так и происходит
2. Генерируется исключение FE_DIVBYZERO
Это поведение регулируется стандартной библиотекой. Как правило используется 1 вариант. Но в своей программе вы можете использовать и второй. По ссылке представлены функции стандартной библиотеки, которыми можно управлять этим поведением.

[versidue]

res2001,
Если сделать так:
double a = 0.0 / 0.0;
Выбрасывает ошибку
https://docs.microsoft.com/en-us/cpp/error-message...

А если операнды переменные а не литералы, то ошибки нет:

double a = 0.0;
double b = a / a;

и возвращается -nan(ind)

[res2001]

versidue, Дык это же ошибка компиляции, а не ошибка выполнения.
Понятное дело - компилятор видит явное использование деления на ноль и сообщает об этом. Стоит только немного спрятать код, то он уже не обращает на это внимания.
Кстати, считать ту или иную ошибку ошибкой или предупреждением можно с помощью опций компилятора: https://docs.microsoft.com/en-us/cpp/build/referen...
Если сделаете так, то компилятор ругнется, но программу скомпилирует (если не будет других ошибок).

[versidue]

res2001, спасибо, терь понятнее стало

Answer 1

[Wataru]

В какой книге написано про nan? По стандарту C++ деление на ноль - это неопределенное поведение:

If the second operand is zero, the behavior is undefined,

Правда, есть одно исключение:

except that if floating-point division is taking place and the type supports IEEE floating-point arithmetic

Вот только этот стандарт IEEE 754 не постулируется стандартом C++ (потому что зависит от аппаратной реализации чисел с плавающей запятой).

Какие-то компиляторы с каким-то уровнем оптимизации могут действительно выдавать nan. Но не все и не всегда.

Comments

[versidue]

Про числа с плавающей точкой я и говорил как раз

[Wataru]

versidue, Ну, в стандерте написано, "числа с плавающей точкой, поддерживающие стандарт IEEE". Там не сказано, что он всегда поддерживается. Там даже есть ссылка на метод определения, поддерживается ли этот стандарт и напротив float написано "usually true". Т.е. не всегда.