Delphi Tokyo 异常阻止设置函数结果

Question

发现 Delphi Tokyo 中的异常处理行为与以前的 Delphi 版本略有不同。

function FuncTest: integer;
begin
  Result := 1;
  try
    raise Exception.Create('Error Message');
  finally
    Result := 2;
  end;
end;

function Test:integer;
begin
  Result:=0;
  try
    Result:=FuncTest;
  finally
    ShowMessage(Result.ToString);
  end;
end;

在早期的 Delphi 版本中，消息框在此处显示“2”，东京 - “0”。这是东京错误还是异常不应该这样处理？

Answer 1

东京的行为是正确的。引发异常的函数不会返回值。迄今为止，您一直依赖于实现细节。

考虑这段代码:

Result:=FuncTest;

执行如下:

1. FuncTest 被调用。
2. 结果已分配。

现在，由于步骤 1 引发异常，因此步骤 2 不会执行。

如果有的话，我会说您从早期版本报告的行为是可疑的。在此函数中:

function Test:integer;
begin
  Result:=0;
  try
    Result:=FuncTest;
  finally
    ShowMessage(Result.ToString);
  end;
end;

语句 Result:=FuncTest 引发异常，因此 Result 不应被该语句修改。另一种思考方式是调用函数但不执行赋值。

<小时/>

Delphi ABI 的问题之一是函数返回值有时被实现为隐式 var 参数。这意味着分配可能会也可能不会发生。演示:

{$APPTYPE CONSOLE}

uses
  System.SysUtils;

type
  TRec1 = record
    X1: NativeInt;
  end;

  TRec2 = record
    X1: NativeInt;
    X2: NativeInt;
  end;

function GetRec1: TRec1;
begin
  Result.X1 := 1;
  raise Exception.Create('');
end;

function GetRec2: TRec2;
begin
  Result.X1 := 1;
  raise Exception.Create('');
end;

procedure Main;
var
  Rec1: TRec1;
  Rec2: TRec2;
begin
  Rec1 := Default(TRec1);
  Writeln(Rec1.X1);
  try
    Rec1 := GetRec1;
  except
  end;
  Writeln(Rec1.X1);

  Rec2 := Default(TRec2);
  Writeln(Rec2.X1);
  try
    Rec2 := GetRec2;
  except
  end;
  Writeln(Rec2.X1);
end;

begin
  Main;
  Readln;
end.

输出:

0001

这相当令人失望。应该不可能修改调用者的变量，但是使用隐式 var 参数而不是返回值允许这种泄漏。在我看来，这是 Delphi ABI 设计中的一个严重缺陷，在大多数其他语言中都找不到这个缺陷。

<小时/>

在您的代码中，没有 var 参数，因为返回类型在寄存器中传输。在这种情况下，任何输出 2 的 Delphi 版本都会损坏。

但从根本上来说，您的代码的预期是错误的。如果函数引发异常，那么您必须假设返回值是不明确定义的。

最后，您的代码在 XE3 和 XE7 中输出 0，所以我想知道您需要回溯多远才能看到 2 的值。