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

可能它通过引用作为隐式第一个参数来处理结果值。但这可能会发生。它可以被认为是某些代码生成/优化的合法方法，因为它是处理返回值的一种非常常见的方式。

然而，除了测试 Delphi 所做的事情之外，Object Pascal 中确切定义的内容是模糊的领域，因为只有 x86 和 x86_64 实现。 Delphi 会返回 eax 中的值，所以如果你遵循这个逻辑，这是非法的。

---

稍后添加：

我用结构化类型测试了 Delphi，当它传递一个引用时，它会在堆栈上创建一个副本来传递它。

虽然这可能会使使用结构化类型优化代码变得困难，但如果需要，声明返回类型 const 的修饰符/属性可以解决此问题。

Answer 2

在 Delphi 中，字符串作为结果值被视为 var 参数。换句话说，像 Foo 这样的函数实际上编译为：

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

这意味着Z（通过引用参数）立即被赋值'Foo'，即在引发异常之前。

换句话说，函数结果不只是保存在名为Result 的局部变量中，然后在函数结束时返回——这将被异常阻止——它是立即赋值的。

我认为这正是 PascalScript 中发生的事情。