Ist es ein Fehler, der versucht, diesen Code zu kompilieren, führt dazu, dass die IDE beendet wird oder der Compiler nicht ausgeführt werden kann?

Question

Vorsicht vor Exit Befehl Verwendung in Inline-Funktionen! Ich habe Delphi XE3 hier benutzt.

Symptom

Unter bestimmten Umständen, wenn ein Anruf zu einer Inline-Funktion hergestellt ist, die Exit Befehl enthält, und den Rückgabewert der Inline-Funktion direkt in WriteLn() verwendet wird, meldet der Compiler einen Fehler Nachricht,

oder sogar am schlimmsten, die Delphi-IDE endet ohne Bestätigung.

function ProcessNumber(const iNumber: Integer): Boolean; inline; 
begin 
    if iNumber = 0 then begin 
    Result := False; 
    Exit; 
    end; 
    // some code here ... 
    Result := True; 
end; 

procedure Test; 
begin 
    writeln(ProcessNumber(0)); 
end; 

begin 
    Test; 
    ReadLn; 
end. 

Wenn jedoch der Rückgabewert der Inline-Funktion in einer Variable gespeichert wird, und dann wird die Variable in WriteLn() verwendet, ist das Problem nicht auftritt.

procedure Test; 
var 
    b: Boolean; 
begin 
    b := ProcessNumber(0); 
    writeln(b); 
end; 

Fragen

1. Ist das ein Compiler Fehler?
2. Wenn dies ein Fehler ist, gibt es eine Problemumgehung zum sicheren Beenden einer Inline-Funktion?

Answer 1

Dies ist sicherlich ein Fehler. Es tritt in allen IDE-Versionen auf, die ich getestet habe, XE3, XE7 und XE8. Ich glaube ehrlich gesagt nicht, dass du viel kannst. Für mich endet die IDE jedes Mal mit der Kompilierung. Ich denke, Sie müssen den Code nur so schreiben, dass er nicht zu IDE-Abstürzen führt.

Sie können die IDE-Option verwenden, die die Kompilierung zur Verwendung von msbuild erzwingt. Dies versetzt die Kompilierung in einen separaten Prozess und stellt so sicher, dass die IDE nicht abstürzt. Es wird Ihnen nicht viel helfen, denn obwohl Ihre IDE nicht weiter sterben wird, können Sie Ihr Programm nicht kompilieren!

Wenn Sie mit msbuild bauen, erhalten Sie einen Fehler dieser Form erhalten:

error F2084: Internal Error: GPFC00000FD-004D3F34-0

Der GPF steht für allgemeine Schutzverletzung, das ist eine Speicherzugriffsverletzung. Dies ist vermutlich eine unbehandelte Ausnahme, die die IDE zerstört, wenn die Kompilierung im Prozess ausgeführt wird.

Mein Rat ist, dass Sie einen Fehlerbericht an Quality Portal senden. Nur so kann der Defekt behoben werden. Erwarten Sie jedoch nicht, dass jemals ein Update zu XE3 kommt.

Answer 2

Eine Problemumgehung, die Sie hier verwenden können, besteht darin, die bedingte if-Implementierung umzukehren und somit die Verwendung des Befehls Beenden insgesamt zu vermeiden.

So anstelle von

function ProcessNumber(const iNumber: Integer): Boolean; inline; 
begin 
    if iNumber = 0 then begin 
    Result := False; 
    Exit; 
    end; 
    // some code here ... 
    Result := True; 
end; 

Verwendung

function ProcessNumber(const iNumber: Integer): Boolean; inline; 
begin 
    if iNumber <> 0 then begin 
    // some code here 
    Result := True; 
    end; 
    else 
    Result := False; 
    //No exit needed here as this is already at the end of your method 
end;