delphi - 是否可以从引发异常的点恢复执行？

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 针对各种条件发起的外部异常:被零除、堆栈溢出、访问冲突。对于第一种，逻辑异常，您无能为力，因为它们是应用程序“流程”的一部分。你不能搞乱 3rd 方代码的流程，你甚至不能搞乱自己的代码流程。
外部异常
当该指令失败时，这些通常是由于运行单个 CPU 指令而引发的。在 Delphi 中，这些可用作为 EExternal后代。该列表包括访问冲突、被零除、堆栈溢出、特权指令和其他一些。从理论上讲，对于其中一些异常，可以删除异常的原因并重试单个 CPU 指令，从而允许原始代码继续执行，就好像没有发生错误一样。例如，通过在发生错误的地址实际映射 RAM 页面，可以“修复”某些访问冲突。
Windows 提供的 SEH(结构化异常处理)机制中有处理此类可重试错误的规定，Delphi 正在使用 SEH。不幸的是，Delphi 没有公开所需的元素以使其易于访问，因此使用它们即使不是不可能也是非常困难的。尽管如此，对于特定类型的 EExternal错误，聪明的 Delphinians 可能会尝试编写自定义 SEH 代码并使其正常工作。如果是这种情况，请提出一个新问题，提及您遇到的特定错误类型以及您希望采取的消除错误条件的步骤:您将获得一些工作代码或自定义解释，说明为什么想法行不通。
通过使用 raise 启动的逻辑异常
大多数异常都属于这一类，因为大多数代码会在执行潜在危险的低级操作之前检查它的输入。例如，当试图访问 TList 中的无效索引时，在尝试访问请求的索引之前，将检查索引并引发无效索引异常。如果没有检查，访问无效索引将返回无效数据或引发访问冲突。这两种情况都很难跟踪错误，因此无效索引异常是一件非常好的事情。对于这个问题，即使允许代码访问无效索引，导致访问冲突，也不可能“修复”代码并继续，因为无法猜测正确的索引应该是什么。
换句话说，修复“逻辑”异常不起作用，不应该起作用，而且非常危险。如果引发错误的代码是您的代码，那么您可以简单地将其重构为不引发警告异常。如果这不是您的代码，那么继续异常属于“非常危险”的类别(更不用说在技术上是不可能的)。在查看已编写的代码时，问问自己:如果 raise Exeption 代码是否正常运行？被替换为 ShowMessage ?答案应该是"NO, the code would fail anyway" .对于 3rd 方代码无缘无故引发异常的非常罕见、非常错误的情况，您可以寻求特定帮助以在运行时修补代码以永远不会引发异常。
以下是某些 3rd 方代码中可能包含的内容:

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');