Undefiniertes Verhalten vs. „schlecht geformt, keine Diagnose erforderlich': Was ist der Unterschied?

Unterschied zwischen undefiniertem Verhalten und „Schlecht geformt, keine Diagnose erforderlich“

Der C-Standard klassifiziert Programmverhalten in verschiedene Kategorien, darunter auch gut -geformt, schlecht geformt, nicht spezifiziert und undefiniert. „Undefiniertes Verhalten“ bezieht sich auf Situationen, in denen der Standard keine Anforderungen oder Annahmen über die Reaktion der Implementierung vorsieht. Im Gegensatz dazu verstoßen „schlecht geformte“ Programme gegen die Syntax- oder Semantikregeln und gelten nicht als wohlgeformt.

Der Ausdruck „schlecht geformt; keine Diagnose erforderlich“ erscheint im Standard und widerspricht scheinbar der Definition von ein schlecht formuliertes Programm. Gemäß dem Standard muss eine konforme Implementierung ein wohlgeformtes Programm akzeptieren und ausführen, während es keine Anforderungen für schlecht geformte Programme gibt, außer in Fällen der Verwendung von Erweiterungen.

Diese Inkonsistenz ergibt sich aus der Tatsache, dass die C Der Standard ist vom C-Standard inspiriert, der alle Fehler als undefiniertes Verhalten betrachtet, sofern nicht ausdrücklich anders angegeben. Der C-Standard zielte jedoch darauf ab, standardmäßig eine Diagnose für alle Fehler zu verlangen.

Letztendlich weist das Vorhandensein von „keine Diagnose erforderlich“ darauf hin, dass das betreffende Verhalten nicht als undefiniert gilt. Es unterscheidet sich vom „undefinierten Verhalten“ nur dadurch, dass der Standard dem Compiler ausdrücklich erlaubt, die Kompilierung und Ausführung fortzusetzen, ohne einen Fehler oder eine Warnung auszugeben. Diese Unterscheidung wird in erster Linie zur Beschreibung von Laufzeitproblemen und nicht von Grammatikfehlern verwendet.

Zusammenfassend lässt sich sagen, dass der Begriff „falsch formuliert; keine Diagnose erforderlich“ zwar verwirrend erscheinen mag, im Wesentlichen jedoch dasselbe wie undefiniertes Verhalten bedeutet. Dies stellt Situationen dar, in denen das Programm nicht wohlgeformt ist, der Compiler jedoch ohne Bereitstellung einer Diagnose fortfahren darf. Der Hauptunterschied besteht darin, dass sich „falsch formuliert; keine Diagnose erforderlich“ typischerweise auf Laufzeitprobleme bezieht, während „undefiniertes Verhalten“ sowohl Grammatikfehler als auch Laufzeitprobleme umfasst.

Das obige ist der detaillierte Inhalt vonUndefiniertes Verhalten vs. „schlecht geformt, keine Diagnose erforderlich': Was ist der Unterschied?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!