Wenn eine Float-Variable die Float-Grenzen verlässt, was passiert?

Question

bemerkte ich zwei Dinge:

1. std::numeric_limits<float>::max()+(a small number)gibt:std::numeric_limits<float>::max().

2. std::numeric_limits<float>::max()+(a large number wie: std::numeric_limits<float>::max()/3)gibt inf.

Warum dieser Unterschied? Führt 1 oder 2 zu einem OVERFLOW und damit zu einem undefinierten Verhalten?

Edit:-Code für diese Prüfung:

1.

float d = std::numeric_limits<float>::max(); 
float q = d + 100; 
cout << "q: " << q << endl; 

2.

float d = std::numeric_limits<float>::max(); 
float q = d + (d/3); 
cout << "q: " << q << endl; 

Answer 1

Formal ist das Verhalten nicht definiert. Bei einer Maschine mit IEEE Gleitkomma wird jedoch der Überlauf nach der Rundung in Inf ergeben. Die Genauigkeit ist jedoch begrenzt und die Ergebnisse nach der Rundung von FLT_MAX + 1 sind FLT_MAX.

Sie können den gleichen Effekt mit Werten gut unter FLT_MAX sehen. Versuchen Sie so etwas wie:

float f1 = 1e20;  // less than FLT_MAX 
float f2 = f1 + 1.0; 
if (f1 == f2) ... 

Die if zu true bewerten, zumindest mit IEEE-Arithmetik. (Es existieren oder zumindest bestanden haben, Maschinen, bei denen float zu genug Präzision für die if zu bewerten hat false, aber sie sind nicht sehr verbreitet heute.)

Answer 2

Es hängt davon ab, was Sie tun. Wenn der Float- "Überlauf" in einen Ausdruck kommt, der direkt zurückgegeben wird, d. H. Der Vorgang führt möglicherweise nicht zu einem Überlauf. Ich zitiere aus der C-Norm [ISO/IEC 9899: 2011]:

Die Rückgabeanweisung ist keine Aufgabe. Die Überlappungsbeschränkung von Abschnitt 6.5.16.1 gilt nicht für den Fall der Funktionsrückgabe. Die Darstellung von Fließkommawerten kann einen größeren Bereich haben oder Genauigkeit als vom Typ impliziert; Ein Guss kann verwendet werden, um diese zusätzliche Reichweite und Präzision zu entfernen.

Weitere Informationen finden Sie unter here.