std::numeric_limits<T>:: tinyness_before

Der Wert von std:: numeric_limits < T > :: tinyness_before ist true für alle Gleitkommatypen T , die Ergebnisse von Gleitkommaausdrücken auf Unterlauf vor dem Runden prüfen.

Standardspezialisierungen

Hinweise

Standardkonforme IEEE 754-Gleitkomma-Implementierungen müssen das Gleitkomma-Unterlauf erkennen und bieten zwei alternative Situationen, in denen dies erfolgen kann

1. Unterlauf tritt auf (und FE_UNDERFLOW kann ausgelöst werden), wenn eine Berechnung ein Ergebnis produziert, dessen absoluter Wert, berechnet als ob sowohl der Exponentenbereich als auch die Präzision unbegrenzt wären, kleiner ist als std:: numeric_limits < T > :: min ( ) . Solche Implementierungen erkennen Winzigkeit vor dem Runden (z.B. UltraSparc, POWER).
2. Unterlauf tritt auf (und FE_UNDERFLOW kann ausgelöst werden), wenn nach dem Runden des Ergebnisses auf den Ziel-Gleitkommatyp (d.h. Runden auf std:: numeric_limits < T > :: digits Bits) der absolute Wert des Ergebnisses kleiner ist als std:: numeric_limits < T > :: min ( ) . Formal ist der absolute Wert eines von Null verschiedenen Ergebnisses, berechnet als ob der Exponentenbereich unbegrenzt wäre, kleiner als std:: numeric_limits < T > :: min ( ) . Solche Implementierungen erkennen Winzigkeit nach dem Runden (z.B. SuperSparc).

Beispiel

#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

Siehe auch