std::numeric_limits<T>::signaling_NaN
static T signaling_NaN() throw(); | (до C++11) | |
static constexpr T signaling_NaN() noexcept; | (начиная с C++11) |
Возвращает специальное значение «сигнальное не число», представленное типом с плавающей точкой T. Имеет смысл только в том случае, если std::numeric_limits<T>::has_signaling_NaN == true. В IEEE 754, наиболее распространённом двоичном представлении чисел с плавающей точкой, любое значение, у которого все биты экспоненты установлены и хотя бы один бит мантиссы установлен, представляет собой NaN. Реализацией определяется, какие значения мантиссы представляют тихие или сигнальные NaN и имеет ли значение знаковый бит.
Возвращаемое значение
T |
std::numeric_limits<T>::signaling_NaN() |
|---|---|
| /* non-specialized */ |
T() |
| bool |
false |
| char |
0 |
| signedchar |
0 |
| unsignedchar |
0 |
| wchar_t |
0 |
| char8_t (начиная с C++20) |
0 |
| char16_t (начиная с C++11) |
0 |
| char32_t (начиная с C++11) |
0 |
| short |
0 |
| unsignedshort |
0 |
| int |
0 |
| unsignedint |
0 |
| long |
0 |
| unsignedlong |
0 |
| longlong (начиная с C++11) |
0 |
| unsignedlonglong (начиная с C++11) |
0 |
| float | определяется реализацией (может быть FLT_SNAN) |
| double | определяется реализацией (может быть DBL_SNAN) |
| longdouble | определяется реализацией (может быть LDBL_SNAN) |
Примечания
NaN никогда не сравнивается как равный самому себе. Согласно IEEE-754, при копировании NaN не обязательно сохраняется его битовое представление (знак и полезная нагрузка), хотя большинство реализаций это делают.
При использовании сигнального NaN в качестве аргумента арифметического выражения может возникнуть соответствующее исключение с плавающей точкой, а NaN становится «тихим», то есть выражение возвращает тихий NaN.
Пример
Демонстрирует использование сигнального NaN для возникновения исключения с плавающей точкой:
#include <cfenv>
#include <iostream>
#include <limits>
#pragma STDC FENV_ACCESS ON
void show_fe_exceptions()
{
int n = std::fetestexcept(FE_ALL_EXCEPT);
if (n & FE_INVALID)
std::cout << "FE_INVALID is raised\n";
else if (n == 0)
std::cout << "no exceptions are raised\n";
std::feclearexcept(FE_ALL_EXCEPT);
}
int main()
{
double snan = std::numeric_limits<double>::signaling_NaN();
std::cout << "After sNaN was obtained, ";
show_fe_exceptions();
double qnan = snan * 2.0;
std::cout << "After sNaN was multiplied by 2, ";
show_fe_exceptions();
qnan *= 2.0;
std::cout << "After the quieted NaN was multiplied by 2, ";
show_fe_exceptions();
std::cout << "The result is " << qnan << '\n';
}
Вывод:
After sNaN was obtained, no exceptions are raised After sNaN was multiplied by 2, FE_INVALID is raised After the quieted NaN was multiplied by 2, no exceptions are raised The result is nan
См. также
|
[static] | определяет типы с плавающей точкой, способные представлять специальное значение «сигнальное не число» (NaN) (открытая статическая константа-член) |
|
[static] | возвращает значение тихого NaN заданного типа с плавающей точкой (открытая статическая функция-член) |
|
(C++11) | проверяет, является ли заданное число NaN (функция) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/types/numeric_limits/signaling_NaN