Namespaces
Variants

std::numeric_limits<T>::tinyness_before

Aus de.cppreference.net
 
 
Dienstprogrammbibliothek
Sprachunterstützung
Typunterstützung (grundlegende Typen, RTTI)
Bibliotheks-Feature-Test-Makros (C++20)
Programm-Dienstprogramme
Funktionen mit variabler Argumentanzahl
Koroutinen-Unterstützung (C++20)
Vertragsunterstützung (C++26)
Drei-Wege-Vergleich
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

Allgemeine Dienstprogramme
Relationale Operatoren (veraltet in C++20)
Ganzzahlvergleichsfunktionen
(C++20)(C++20)(C++20)    
(C++20)
Swap und Typoperationen
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
Allgemeine Vokabular-Typen
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)



 
 
 
static const bool tinyness_before;
(bis C++11)
static constexpr bool tinyness_before;
(seit C++11)

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

Standardspezialisierungen

T Wert von std:: numeric_limits < T > :: tinyness_before
/* non-specialized */ false
bool false
char false
signed char false
unsigned char false
wchar_t false
char8_t (seit C++20) false
char16_t (seit C++11) false
char32_t (seit C++11) false
short false
unsigned short false
int false
unsigned int false
long false
unsigned long false
long long (seit C++11) false
unsigned long long (seit C++11) false
float implementierungsdefiniert
double implementierungsdefiniert
long double implementierungsdefiniert

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

Multiplikation der größten subnormalen Zahl mit der Zahl, die um ein Maschinen-Epsilon größer als 1.0 ist, ergibt vor dem Runden den winzigen Wert 0x0.fffffffffffff8p-1022, aber nach dem Runden den normalen Wert 1p-1022. Die für diesen Test verwendete Implementierung ( IBM Power7 ) erkennt Tinyness vor dem Runden.

#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';
}

Mögliche Ausgabe:

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

Siehe auch

identifiziert die Gleitkommatypen, die Genauigkeitsverlust als Denormalisierungsverlust statt als ungenaues Ergebnis erkennen
(öffentliche statische Member-Konstante)
[static]
identifiziert den von dem Gleitkommatyp verwendeten Denormalisierungsstil
(öffentliche statische Member-Konstante)