【C#】try-catch-finally语句的执行顺序，以及在发生异常时的执行顺序

try-catch-finally语句

执行顺序

1. 执行 try 块：程序首先尝试执行 try 块中的代码。如果在此期间没有发生异常，则跳过 catch 块，直接执行 finally 块（如果存在）。

2. 发生异常时的处理：

   • 如果在 try 块中发生了异常，并且有匹配的 catch 块可以处理该异常，那么程序会立即跳转到对应的 catch 块。
   • catch 块会处理异常，即执行异常处理逻辑。
   • 在 catch 块执行完毕后，无论是否抛出了新的异常或重新抛出原始异常，都会接着执行 finally 块（如果有）。
   • 如果在 catch 块中抛出了异常（无论是新异常还是通过 throw; 重新抛出原始异常），这个异常会在 finally 块执行之后继续向上层传播。

3. 执行 finally 块：不论是否发生异常，也不论异常是否被处理，finally 块中的代码总是会在 try 和所有 catch 块执行完毕后被执行。这是确保资源清理和状态恢复的重要机制。

4. 后续执行：finally 块执行完成后，程序会根据是否有未捕获的异常来决定接下来的行为。如果没有未捕获的异常，程序将继续正常执行；如果有未捕获的异常，异常将向上传播给调用栈中的上一级方法，直到找到合适的异常处理器或者程序终止。

 

特殊情况

• 如果 finally 块中有 return 语句、throw 语句、goto 语句等控制转移语句，这可能会改变正常的执行流程，但一般不推荐这样做，因为这会使代码行为变得复杂和难以预测。
• 如果 try 或 catch 块中有 return 语句，finally 块仍然会在返回值计算完毕但尚未返回给调用者之前执行。
• 强制退出应用程序（如调用 Environment.Exit()）、线程被中止、计算机断电等情况会导致 finally 块可能不会被执行。

 

注意点

在 catch 块中使用 throw 语句重新抛出异常或抛出一个新的异常时，finally 块仍然会在异常传播之前执行。这是编程语言（如 Java 和 C#）的正常行为，确保了资源可以被正确清理。

执行顺序如下：

1. 首先尝试执行 try 块中的代码。
2. 如果 try 块中发生了异常，并且有匹配的 catch 块，则执行该 catch 块。
3. 在 catch 块执行完毕后，不论是否在其中抛出了新的异常，都会执行 finally 块。
4. 最后，如果在 catch 中抛出了异常，这个异常会继续向上层传播。

因此，在 catch 块中抛出异常不会阻止 finally 块的执行；finally 块总是会在控制流离开 try-catch 结构之前被执行。

需要注意的是，finally 块中的代码应该尽量避免再次抛出未捕获的异常，因为这可能会掩盖原始异常。此外，如果 finally 块中有返回语句或抛出异常，它可能会影响从 try 或 catch 块中已经发生的返回或抛出操作。在大多数情况下，应该避免这种情况，以保持代码的行为可预测。

 

代码示例

展示了 try-catch-finally 的使用以及在发生异常时的执行顺序：

using System;class Program
{static void Main(){Console.WriteLine("程序开始");try{Console.WriteLine("尝试执行可能引发异常的代码...");// 模拟一个异常throw new InvalidOperationException("这是一个测试异常。");}catch (InvalidOperationException ex){Console.WriteLine($"捕获到异常: {ex.Message}");// 在这里处理特定类型的异常// 重新抛出异常throw;}finally{Console.WriteLine("无论是否发生异常，都会执行这个finally块。");}Console.WriteLine("程序结束");}
}

 输出结果将会是： 

程序开始
尝试执行可能引发异常的代码...
捕获到异常: 这是一个测试异常。
无论是否发生异常，都会执行这个finally块。
未处理的异常：System.InvalidOperationException: 这是一个测试异常。在 Program.Main() ...

请注意，最后一行 "程序结束" 不会打印出来，因为异常没有被最终处理（在 catch 中通过 throw; 重新抛出了），并且该异常导致了程序终止。然而，finally 块中的语句仍然被执行了。

这个例子说明了即使发生了异常并且在 catch 块中再次抛出，finally 块也会按照预期执行。这确保了任何必要的清理代码都能运行，比如关闭文件或网络连接等操作。