Warum keine Exception bei Division durch 0

[Robert Rossmair]

Zitat von woki:

Selbstverständlich löst Delphi bei Division durch Null immer auch bei allen Gleitkommazahlen einen Laufzeitfehler (EZeroDivide) aus.

Falsch. Weder löst Delphi die Exception aus, noch wird diese immer ausgelöst:
- Fließkommaarithmetik wird von der Fließkommaeinheit des Prozessors (der FPU) ausgeführt, die den IEEE-Standard 754 implementiert (http://grouper.ieee.org/groups/754/). Es ist auch die FPU, die ggf. eine Exception wirft. Delphi verpackt diese nur ansprechend.
- Fließkomma-Exceptions lassen sich in der FPU ausmaskieren, die Unit Jcl8087 stellt dazu Funktionen zur Verfügung. Ist eine Exception maskiert, wird statt dessen ein Flag im Statuswort der FPU gesetzt (Jcl8087: GetPending8087Exceptions) und evtl. ein spezieller Wert zurückgeliefert. Siehe dazu auch die Erläuterungen zum Typ JclMath.TFloatingPointClass in der Online Hilfe der JCL.
Die Exception bleibt latent, bis entweder die Maskierung aufgehoben wird, oder die latenten Exceptions gelöscht werden (Jcl8087: ClearPending8087Exceptions). Hebt man die Maskierung auf, ohne die Löschung vorzunehmen, dann werden die latenten Exceptions ausgelöst - evtl. an einer Stelle im Code, die nichts mit der Ursache zu tun hat.

Zitat von woki:

Da eine Division durch Null mathematisch gar nicht definiert ist, was sollte Delphi denn da auch für ein Ergebnis zurückliefern.

+/-Unendlich, falls Zähler <> 0, oder ein NaN (not a number), falls Zähler = 0.

Zitat von woki:

Aber Voraussetzung ist natürlich, daß der Code überhaupt ausgeführt wird, und nicht z.B. vom Optimizer wegoptimiert wurde.

Dass im gegebenen Fall irgendwelcher Beispielcode nicht kompiliert wird, ist ganz unerheblich. Es gäbe in keinem Fall eine Exception, weil zur Laufzeit(!) keine Division ausgeführt wird. Ausdrücke, die ausschließlich Konstanten enthalten, rechnet nämlich der Compiler aus.

- Robert