std::numeric_limits<T>:: tinyness_before

对于所有在舍入前检测浮点表达式结果是否下溢的浮点类型 T ， std:: numeric_limits < T > :: tinyness_before 的值为 true 。

标准特化

注释

符合标准的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）。

示例

#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

参见