可以从引发异常的点恢复执行吗？

Question

有一个例子说明了我的问题：

procedure Test;
begin
  try
    ShowMessage('1');
    raise EWarning.Create(12345, 'Warning: something is happens!');
    ShowMessage('2');
  except
    on E: EWarning do
      if IWantToContinue(E.ErrorCode) then
        E.SkipThisWarning // shows '1' then '2'
      else
        E.StopExecution;  // shows '1'
  end;
end;

function IWantToContinue(const ErrorCode: Integer): Boolean;
begin
  //...
end;

我尝试使用这样的东西：

asm
  jmp ExceptAddr
end;

但它不会起作用......

有什么想法吗？

感谢。

Answer 1

不，这是不可能的：

有两种例外：程序员使用raise命令引发的逻辑异常，以及CPU针对各种条件启动的外部异常：除零，堆栈溢出，访问冲突。对于第一种，逻辑异常，你无能为力，因为它们是应用程序“流”的一部分。你不能搞乱第三方代码的流程，你甚至不能搞乱你自己代码的流程。

外部例外

当指令失败时，通常会因运行单个CPU指令而引发这些指令。在Delphi中，它们以EExternal后代的形式提供。该列表包括访问冲突，除零，堆栈溢出，特权指令和其他许多其他指令。理论上，对于其中一些异常，可以删除异常的原因条件并重试单CPU指令，允许原始代码继续，就像没有发生错误一样。例如，通过在发生错误的地址实际映射RAM页面，可能会“修复”某些访问冲突。

Windows提供的SEH（结构化异常处理）机制中有一些规定用于处理此类可重试错误，Delphi正在使用SEH。不幸的是，Delphi没有公开所需的元素以使其易于访问，因此使用它们即使不是不可能也是非常困难的。尽管如此，对于特定类型的EExternal错误，聪明的Delphinians可能会尝试编写自定义SEH代码并使其工作正常。如果是这种情况，请提出一个新问题，提到您正在获取的特定类型的错误以及您要删除错误条件的步骤：您将获得一些工作代码或定制解释为什么您的错误想法不会奏效。

通过使用raise

启动的逻辑异常

大多数例外属于此类别，因为大多数代码会在执行潜在危险的低级别操作之前检查其输入。例如，在尝试访问TList中的无效索引时，将检查索引并在尝试访问请求的索引之前引发无效索引异常。如果没有检查，访问无效索引将返回无效数据或引发访问冲突。这两个条件都很难跟踪错误，因此无效索引异常是一件非常好的事情。为了这个问题，即使代码被允许访问无效索引，导致访问冲突，也不可能“修复”代码并继续，因为无法猜测正确的索引应该是什么。 / p>

换句话说，修复“逻辑”异常不起作用，不应该起作用，而且它非常危险。如果引发错误的代码是您的，那么您可以简单地将其重组为不引发警告异常。如果那不是你的代码，那么继续异常就属于“疯狂危险”类别（更不用说它在技术上是不可能的）。查看已编写的代码时，请问自己：如果raise Exeption被ShowMessage替换，代码是否会正常运行？答案应该主要是"NO, the code would fail anyway"。对于非常罕见的非常错误的第三方代码，由于没有充分理由引发异常，您可能会要求在运行时修补代码以避免引发异常的具体帮助。

以下是第三方代码中的内容：

function ThirdPartyCode(A, B: Integer): Integer;
begin
  if B = 0 then raise Exception.Create('Division by zero is not possible, you called ThirdPartyCode with B=0!');
  Result := A div B;
end;

很明显，在异常之后继续使用该代码不会让内容“自我修复”。

第三方代码也可能如下所示：

procedure DoSomeStuff;
begin
  if SomeCondition then
    begin
      // do useful stuff
    end
  else
    raise Exception.Create('Ooops.');
end;

该代码“继续”在哪里？很明显不是"do usefull stuff"部分，除非代码是专门设计的。

当然，这些仅仅是表面上的简单例子。从技术角度来看，在你建议的异常之后“继续”比在跳转到错误地址要困难得多。方法调用使用堆栈空间来设置局部变量。在通往异常处理程序的路上，在错误之后“回滚”的过程中释放了该空间。执行了finally块，可能在需要时解除资源分配。跳回到原始地址将是非常错误的，因为调用代码不再具有它在堆栈上所期望的内容，它的局部变量不再是他们所希望的。

如果是你的代码提出异常

您的代码可以轻松修复。使用这样的东西：

procedure Warning(const ErrorText:string);
begin
  if not UserWantsToContinue(ErrorText) then
    raise Exception.Create(ErrorText);
end;

// in your raising code, replace:
raise Exception.Create('Some Text');

// with:
Warning('Some Text');

Answer 2

AFAIK没有。您必须将代码重组为

procedure Test;
begin
  ShowMessage('1');
  try
    raise EWarning.Create(12345, 'Warning: something is happens!');
  except
    on E: EWarning do
      if IWantToContinue(E.ErrorCode) then
        // shows '1' then '2'
      else
        raise; // shows '1'
  end;
  ShowMessage('2');
end;

Answer 3

在C ++中，可以使用__try/__except表达式求值为__except的SEH EXCEPTION_CONTINUE_EXECUTION块。

在Delphi中，不能直接使用SEH，AFAIK。

Answer 4

基本上，您的代码无法运行，因为ExceptAddr是功能，而不是变量。因此，您的代码段更改如下：

{$O-}
procedure TForm1.FormCreate(Sender: TObject);
begin
  try
    OutputDebugString('entering');
    raise Exception.Create('Error Message');
    OutputDebugString('leaving');
  except on E: Exception do
    begin
      OutputDebugString(PChar(Format('ExceptAddr = %p', [ExceptAddr])));
      asm
        CALL  ExceptAddr
        JMP   EAX
      end;
    end;
  end;
end;

Answer 5

..你可以嵌套多个try-except并确定是否在每个异常中继续：

try
  try
    some code
  except
    ret := message('want to continue?');
    if ret <> mrYes then
      exit;
  end;
  some other code to perform when no exception or user choose to continue
except
  etc..
end;