Pascal（スクリプト）と例外制御フロー

Question

私はPascalScriptのinnosetupインストーラを使っています。次のブロックの制御がどこに流れているのか分かりません。

function Foo(): String; 
begin 
    Result := 'foo'; 
    RaiseException('...'); 
end; 

procedure Test(); 
var 
    Z : String; 
begin 
    Z := ''; 
    try 
    Z := Foo(); 
    except 
    Log(Z); 
    end 
end; 

私のインストーラがZがFoo機能のResultで設定されていることを示しているようです。私が「ほとんどの」プログラミング言語で例外を理解すると、例外の場合にはZ := Foo()という代入が行われてはならないことがわかります。

Foo関数が呼び出されたときには、Zはまだ割り当てられていますか？

Answer 1

おそらく、結果値を暗黙的な第1引数として参照によって扱います。しかし、これが起こる可能性があります。これは、コード生成/最適化の法則とみなすことができます。なぜなら、これは戻り値を処理する一般的な方法であるからです。

しかし、オブジェクトパスカルで定義されているのは、x86とx86_64の実装だけであるため、デルファイの動作が暗い領域ではないことです。そして、Delphiはeaxの値を返します。そのロジックに従えば、これは違法です。後で追加

---

：

をIは、構造化タイプとデルファイをテストし、それが基準を通過しながら、それを渡すためにスタックにコピーを作成します。

これは、構造化型でコードを最適化するのが難しくなる可能性がありますが、戻り値の型constを宣言するための修飾子/属性は必要に応じて修正できます。

Answer 2

デルファイでは、結果の値としての文字列は、varのように扱われます。

procedure Foo(var Result: string); 
begin 
    Result := 'Foo'; 
    RaiseException(...); 
end; 

これはZ（参照パラメータを介して）は、直ちに値'Foo'が割り当てられ、すなわち前に例外が発生したことを意味する。換言すれば、Fooのような機能は、実際にコンパイルされます。

つまり、関数結果はResultというローカル変数に保持されず、関数が終了するときに返されます。例外によって防止されます。すぐに代入されます。

これは、PascalScriptでもまさにこれが起こっていると思います。