std::numeric_limits<T>::signaling_NaN

来自cppreference.com
 
 
工具库
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
初等字符串转换
(C++17)
(C++17)
 
 
 
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 中,任何所有指数位都是 1 且至少有一位尾数位是 1 的值都表示 NaN。哪些尾数值表示安静或发信的 NaN,及符号位是否有意义都由实现定义。

返回值

T std::numeric_limits<T>::signaling_NaN()
/* 未特化 */ T()
bool false
char 0
signed char 0
unsigned char 0
wchar_t 0
char8_t (C++20 起) 0
char16_t (C++11 起) 0
char32_t (C++11 起) 0
short 0
unsigned short 0
int 0
unsigned int 0
long 0
unsigned long 0
long long (C++11 起) 0
unsigned long long (C++11 起) 0
float 由实现定义(可以是 FLT_SNAN
double 由实现定义(可以是 DBL_SNAN
long double 由实现定义(可以是 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\n";
    else if (n == 0)
        std::cout << "没有引发异常\n";
 
    std::feclearexcept(FE_ALL_EXCEPT);
}
 
int main()
{
    double snan = std::numeric_limits<double>::signaling_NaN();
    std::cout << "在获取 sNaN 后,";
    show_fe_exceptions();
 
    double qnan = snan * 2.0;
    std::cout << "在将 sNaN 乘以 2 后,";
    show_fe_exceptions();
 
    double qnan2 = qnan * 2.0;
    std::cout << "在将安静的 NaN 乘以 2 后,";
    show_fe_exceptions();
 
    std::cout << "结果是 " << qnan2 << '\n';
}

输出:

在获取 sNaN 后,没有引发异常
在将 sNaN 乘以 2 后,引发了 FE_INVALID
在将安静的 NaN 乘以 2 后,没有引发异常
结果是 nan

参阅

鉴别能表示特殊值“发信的非数”(NaN)的浮点类型
(公开静态成员常量)
[静态]
返回给定浮点类型的安静 NaN 值
(公开静态成员函数)
(C++11)
检查给定的数是否 NaN
(函数)