std::isnan

Определён в заголовке `<cmath>`
bool isnan( float num ); bool isnan( double num ); bool isnan( long double num );	(1)	(начиная с C++11) (до C++23)
constexpr bool isnan( /floating-point-type/ num );	(1)		(начиная с C++23)
Перегрузка SIMD (начиная с C++26)
Определён в заголовке `<simd>`
template< /math-floating-point/ V > constexpr typename /deduced-simd-t/<V>::mask_type isnan ( const V& v_num );	(S)	(начиная с C++26)
Дополнительные перегрузки
Определён в заголовке `<cmath>`
template< class Integer > bool isnan( Integer num );	(A)	(начиная с C++11) (constexpr начиная с C++23)

1) Определяет, является ли заданное число с плавающей точкой num значением «не число» (NaN). Библиотека предоставляет перегрузки для всех типов с плавающей точкой без cv-квалификаторов в качестве типа параметра num.(начиная с C++23)

S) Перегрузка SIMD выполняет поэлементную операцию std::isnan над v_num. (Определения см. в разделах math-floating-point и deduced-simd-t.) (начиная с C++26)

A) Предоставляются дополнительные перегрузки для всех целочисленных типов, которые рассматриваются как double.

Параметры

num	-	значение с плавающей точкой или целочисленное значение
v_num	-	объект с параллельной обработкой данных специализации `std::basic_simd`, тип элемента которого является типом с плавающей точкой

Возвращаемое значение

1) true, если num является NaN, и false в противном случае.

S) Объект маски с параллельной обработкой данных, i^й элемент которого равен true, если v_num[i] является NaN, или false в противном случае для всех i в диапазоне [0, v_num.size()).

Примечания

Существует множество различных значений NaN с разными битами знака и полезной нагрузкой; см. std::nan и std::numeric_limits::quiet_NaN.

Значения NaN никогда не равны ни самим себе, ни другим значениям NaN. Согласно IEEE-754, при копировании NaN не обязательно сохранять его битовое представление (знак и полезную нагрузку), хотя большинство реализаций сохраняют его.

Ещё один способ проверить, является ли значение с плавающей точкой NaN, — сравнить его с самим собой: bool is_nan(double x) { return x != x; }.

GCC и Clang поддерживают параметр -ffinite-math (который также подразумевается параметром -ffast-math). Он позволяет соответствующему компилятору считать, что специальные значения с плавающей точкой IEEE-754, такие как NaN, бесконечность или отрицательный ноль, не существуют. Иными словами, при использовании этого параметра предполагается, что std::isnan всегда возвращает false.

Не требуется предоставлять дополнительные перегрузки точно в виде (A). Они должны лишь обеспечивать, чтобы для аргумента num целочисленного типа std::isnan(num) имело тот же эффект, что и std::isnan(static_cast<double>(num)).

Пример

#include <cfloat>
#include <cmath>
#include <iostream>

int main()
{
    std::cout << std::boolalpha
              << "isnan(NaN) = " << std::isnan(NAN) << '\n'
              << "isnan(Inf) = " << std::isnan(INFINITY) << '\n'
              << "isnan(0.0) = " << std::isnan(0.0) << '\n'
              << "isnan(DBL_MIN/2.0) = " << std::isnan(DBL_MIN / 2.0) << '\n'
              << "isnan(0.0 / 0.0)   = " << std::isnan(0.0 / 0.0) << '\n'
              << "isnan(Inf - Inf)   = " << std::isnan(INFINITY - INFINITY) << '\n';
}

Вывод:

isnan(NaN) = true
isnan(Inf) = false
isnan(0.0) = false
isnan(DBL_MIN/2.0) = false
isnan(0.0 / 0.0)   = true
isnan(Inf - Inf)   = true

См. также

nannanfnanl (C++11)(C++11)(C++11)	значение «не число» (NaN) (функция)
fpclassify (C++11)	определяет категорию заданного значения с плавающей точкой (функция)
isfinite (C++11)	проверяет, является ли заданное число конечным (функция)
isinf (C++11)	проверяет, является ли заданное число бесконечным (функция)
isnormal (C++11)	проверяет, является ли заданное число нормальным (функция)
isunordered (C++11)	проверяет, являются ли два значения с плавающей точкой неупорядоченными (функция)
Документация по C для `isnan`

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/numeric/math/isnan