命名空间
变体
操作

std::numeric_limits<T>::tinyness_before

来自 cppreference.cn
< cpp‎ | 类型‎ | 数值限制
 
 
 
 
 
static const bool tinyness_before;
(C++11 前)
static constexpr bool tinyness_before;
(C++11 起)

对于所有浮点类型 T,如果浮点表达式在舍入之前测试下溢结果,则 std::numeric_limits<T>::tinyness_before 的值为 true

目录

[edit] 标准特化

T std::numeric_limits<T>::tinyness_before 的值
/* 未特化 */ false
bool false
char false
signed char false
unsigned char false
wchar_t false
char8_t (C++20起) false
char16_t (C++11起) false
char32_t (C++11起) false
short false
unsigned short false
int false
unsigned int false
long false
unsigned long false
long long (C++11起) false
unsigned long long (C++11起) false
float 实现定义
double 实现定义
long double 实现定义

[edit] 注意

符合标准的 IEEE 754 浮点实现要求检测浮点下溢,并且可以在两种替代情况下完成此操作

  1. 如果计算结果的绝对值(在指数范围和精度都无限的情况下计算)小于 std::numeric_limits<T>::min(),则发生下溢(并且可能引发 FE_UNDERFLOW)。此类实现会在舍入之前检测到“微小性”(例如 UltraSparc、POWER)。
  2. 如果将结果舍入到目标浮点类型(即舍入到 std::numeric_limits<T>::digits 位)后,结果的绝对值小于 std::numeric_limits<T>::min(),则发生下溢(并且可能引发 FE_UNDERFLOW)。形式上,非零结果的绝对值(在指数范围无限的情况下计算)小于 std::numeric_limits<T>::min()。此类实现会在舍入之后检测到“微小性”(例如 SuperSparc)。

[edit] 示例

将最大的非规范化数乘以比 1.0 大一个机器 epsilon 的数,在舍入之前得到微小值 0x0.fffffffffffff8p-1022,但在舍入之后得到正常值 1p-1022。用于执行此测试的实现(IBM Power7)在舍入之前检测到“微小性”。

#include <iostream>
#include <limits>
#include <cmath>
#include <cfenv>
 
int main()
{
    std::cout << "Tinyness before: " << std::boolalpha
              << std::numeric_limits<double>::tinyness_before << '\n';
 
    double denorm_max = std::nextafter(std::numeric_limits<double>::min(), 0);
    double multiplier = 1 + std::numeric_limits<double>::epsilon();
 
    std::feclearexcept(FE_ALL_EXCEPT);
 
    double result = denorm_max * multiplier; // Underflow only if tinyness_before
 
    if (std::fetestexcept(FE_UNDERFLOW))
        std::cout << "Underflow detected\n";
 
    std::cout << std::hexfloat << denorm_max << " x " << multiplier  <<  " = "
              << result << '\n';
}

可能的输出

Tinyness before: true
Underflow detected
0xf.ffffffffffffp-1030 x 0x1.0000000000001p+0 = 0x1p-1022

[edit] 另请参阅

确定将精度损失检测为非正规化损失而非不精确结果的浮点类型
(public static member constant) [edit]
[静态]
确定浮点类型所用的非正规化样式
(public static member constant) [edit]