std::numeric_limits<T>:: tinyness_before

std:: numeric_limits < T > :: tinyness_before 의 값은 true 입니다. 이는 반올림 전에 부동 소수점 표현식의 결과에 대한 언더플로우를 테스트하는 모든 부동 소수점 타입 T 에 해당합니다.

표준 특수화

참고 사항

표준을 준수하는 IEEE 754 부동 소수점 구현은 부동 소수점 언더플로우를 감지해야 하며, 이를 수행할 수 있는 두 가지 대안 상황이 있습니다

1. 언더플로우는 (그리고 FE_UNDERFLOW 가 발생할 수 있음) 계산 결과의 절대값이 지수 범위와 정밀도가 무한하다고 가정하고 계산했을 때 std:: numeric_limits < T > :: min ( ) 보다 작은 경우 발생합니다. 이러한 구현은 반올림 전에 아주 작은 값(tinyness)을 감지합니다 (예: UltraSparc, POWER).
2. 언더플로우는 (그리고 FE_UNDERFLOW 가 발생할 수 있음) 결과를 대상 부동 소수점 타입으로 반올림한 후 (즉, std:: numeric_limits < T > :: digits 비트로 반올림), 결과의 절대값이 std:: numeric_limits < T > :: min ( ) 보다 작은 경우 발생합니다. 형식적으로, 지수 범위가 무한하다고 가정하고 계산된 0이 아닌 결과의 절대값이 std:: numeric_limits < T > :: min ( ) 보다 작은 경우입니다. 이러한 구현은 반올림 후에 아주 작은 값(tinyness)을 감지합니다 (예: 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

참고 항목