Division durch null - c-Programmierung

Ich habe eine Frage zu folgenden code:

int main { 
double x = 0;
double y = 0/x;

if(y==1) {.....}
....
....
return 0;
}

Wenn ich den code auf meinem computer, ich bekomme kein runtime error und ich sehe, dass y = -nan(0x8000000000000). Warum es nicht zu einem Laufzeitfehler Division durch null?

Außerdem, wenn ich die erste Zeile zu int x = 0;
jetzt gibt es einen Laufzeitfehler. Was ist der Unterschied?

  • Nein, Anhang F der C99-standard setzt und Sie nicht bekommen, nicht definiertes Verhalten für floating point. Nicht alle Implementierungen unterstützen Anhang F, aber dein und mein tun.
InformationsquelleAutor wantToLearn | 2012-10-28
  1. 14

    Können Sie sich nicht darauf verlassen, dass diese "arbeiten" (d.h. die gleiche Sache die ganze Zeit, tragbar), es ist Undefiniertes Verhalten in C für den zweiten Fall, und auch für die erste, wenn Ihre Umsetzung nicht definieren __STDC_IEC_559__ (das ist, glaube ich, selten in diesen Tagen).

    C99, §6.5.5/5

    Das Ergebnis der /- operator ist der quotient aus der division des ersten Operanden durch den
    zweite; das Ergebnis des % - operators ist der Rest. In beiden Operationen, wenn der Wert des
    der zweite operand null ist, ist das Verhalten undefiniert.

    Die Tatsache, dass Sie immer eine "not a Number" im einen Fall und im anderen nicht, ist, dass man fertig ist in floating-point Arithmetik, wo, auf Ihre Umsetzung (gemäß der IEEE-754-division durch null-Semantik), 0/0 gibt ein NaN.

    Im zweiten Fall sind Sie mit integer-Arithmetik – Undefiniertes Verhalten, es gibt keine Möglichkeit vorherzusagen, was passieren wird.

    • Es sollte Hinzugefügt werden, dass das beobachtete Verhalten ist definiert durch die Plattform. Ix86 passiert implementieren Sie die division durch null in dieser Weise.
    • Das ist eigentlich falsch für die meisten Systeme: C99, §F. 1: "Eine Umsetzung, die definiert __STDC_IEC_559__ entsprechen den Spezifikationen in diesem Anhang. Wo eine Bindung zwischen der C-Sprache und IEC 60559 genannt, IEC60559 angegebene Verhalten wird übernommen durch Referenz, sofern nicht anders angegeben." §F. 3 "Die +, -, *, und / - Betreiber bieten die IEC-60559, addieren, subtrahieren, multiplizieren und dividieren Operationen."
    • jetzt besser?
    InformationsquelleAutor Mat
  2. 10

    Der Grund, warum Sie nicht bekommen, eine Ausnahme oder Fehler ist, weil für ein Doppelzimmer, infinity und NaN sind definiert (siehe IEEE floating point), aber wenn Sie versuchen, das gleiche für integer, erhalten Sie eine Fehlermeldung, da NaN/Unendlich nicht definiert

    • Sie wird nicht immer ein Fehler bei integer - 0/0 kommt es auf die Umsetzung.
    • Nicht unbedingt.
    • aber ich nur ändern Sie den Wert x und nicht den y-Wert. Also es ist wie gesagt nach wie vor . Nein ?
    • Nein, die compiler können auch Optimierungen, die auf die Tatsache, dass n/0 ist UB. Der compiler kann diese entfernen if-block n=a/b; if(!b) {/*This code will be removed*/}.
    InformationsquelleAutor Suhail Patel
  3. 4

    Dies ist, weil IEEE 754 standard definiert spezielle Werte für positive und negative Unendlichkeit zusammen mit "keine Nummer" für floating-point Werte.

    Nicht-floating-point-Typen wie int nicht über die spezielle Werte definiert und so die Laufzeit wird beendet durch un-behandelt Fehler.

    Dies ist nicht C-spezifisch ist, sehen Sie eine sehr ähnliche (wenn nicht gleiche) Verhalten auch in anderen Sprachen einfach, weil diese Funktionalität ist bis auf die hardware.

    InformationsquelleAutor
Schreibe einen Kommentar