Spec-Zone.ru › C++

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

См. также

has_signaling_NaN
[static]
определяет типы с плавающей точкой, способные представлять специальное значение «сигнальное не число» (NaN)
(открытая статическая константа-член)
quiet_NaN
[static]
возвращает значение тихого NaN заданного типа с плавающей точкой
(открытая статическая функция-член)
isnan
(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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API