ThreadAbortException内部实现

Question

众所周知，.NET框架提供了一些ThreadAbortException处理的具体实现。意味着无法通过try-catch-finally块捕获此异常。更深入地看一下，我们知道这个异常实际上是catch，但在catch块的末尾再次抛出。(实际上我们可以通过使用Thread.ResetAbort()方法来防止堆栈展开)。

但让我们看看MSIL：

    .try
    {
      IL_0001:  nop
      IL_0002:  call       void WCFTemp.Program::Method()
      IL_0007:  nop
      IL_0008:  nop
      IL_0009:  leave.s    IL_0010
    }  // end .try
    catch [mscorlib]System.Exception 
    {
      IL_000b:  stloc.0
      IL_000c:  nop
      IL_000d:  nop
      IL_000e:  leave.s    IL_0010
    }  // end handler
    IL_0010:  nop
    IL_0011:  leave.s    IL_0016
  }  // end .try
  finally
  {
    IL_0013:  nop
    IL_0014:  nop
    IL_0015:  endfinally
  }  // end handler

正如我们所看到的，没有指令让运行时重新抛出这种类型的异常。

所以我的问题是它是如何实现的？

Answer 1

这和IL没有任何关系。异常是由CLR实现的，它们利用Windows对SEH (结构化异常处理)的本地支持。引发异常时运行的第一个代码是CLR内的代码。然后它就可以随心所欲地使用它了。查找catch块并运行它的代码只是它的任务之一。代码运行后会发生什么取决于CLR。

您可以通过阅读SSCLI20源代码来更深入地了解这一点。但要注意，clr/src/vm/excep.cpp绝对是最难处理的代码块之一。