一次Rust重写基础软件的实践（三）
内容提要
本文介绍了作者在将一款C语言开发的基础软件转化为Rust语言过程中遇到的问题以及解决方法。作者主要讨论了Rust的错误处理机制和如何处理运行时的不可恢复错误。作者通过使用std::panic::catch_unwind函数来处理panic错误，并提供了样本代码进行演示。然而，需要注意的是，该函数并不能捕获所有的panic错误，因此在使用时需要谨慎。
延伸解读
C与Rust混合项目中的panic处理挑战
在将C代码逐步迁移到Rust的过程中，混合项目会长期存在。C语言中数组越界等行为不可预测，而Rust会触发panic导致程序终止。这种差异使得原本在C中可能不会崩溃的代码，在Rust中却可能引发不可恢复错误。因此，在混合项目中，处理隐式panic错误、避免程序意外终止，成为迁移过程中必须面对的实际问题。
catch_unwind的适用场景与限制
std::panic::catch_unwind可以捕获闭包中展开的panic，使程序在发生除零、无效数字、数组越界等错误时继续执行。但它并非万能：只能捕获展开式panic，无法处理终止进程的情况；若设置了自定义panic hook，hook会在捕获前被调用；从C++等外部异常展开进入Rust代码属于未定义行为。因此，使用时需明确其边界，不可依赖它处理所有错误。
使用catch_unwind的实践要点
在闭包中使用catch_unwind时，需注意变量捕获和数据类型限制。闭包中使用的变量不能是可变的，否则可能因未实现UnwindSafe trait而编译失败。若需返回结果，可通过闭包返回值传递，并用match处理Ok和Err。建议闭包内只包含必要逻辑，以减少传入数据类型，使panic捕获更精准，同时降低误捕风险。
Q&A
Rust 中不可恢复错误和可恢复错误有什么区别？
Rust 的错误处理机制分为不可恢复错误（Unrecoverable Errors）和可恢复错误（Recoverable Errors）。不可恢复错误通常由 panic! 宏创建，或由运行时隐式错误（如除零、数组越界）引发，会导致程序终止。可恢复错误则通过 Result 枚举类型处理，包含 Ok 和 Err 两个成员，用于处理如文件打开错误、读写错误等可能出现的错误。
在混合 C 和 Rust 的项目中，为什么需要处理 Rust 的 panic 错误？
在混合 C 和 Rust 的项目中，由于 C 代码可能不会报错，但转换为 Rust 后可能出现数组越界等 panic 错误，导致整个程序终止。例如，C 语言中数组越界行为不可预测，而 Rust 会触发 panic。为了不让程序因隐式 panic 错误而意外终止，需要处理这些不可恢复错误，确保程序继续执行。
如何使用 std::panic::catch_unwind 来捕获 Rust 中的 panic 错误？
std::panic::catch_unwind 通过调用一个闭包来捕获其中可能发生的 panic 错误。它返回一个 Result，如果闭包正常执行则返回 Ok(返回值)，如果发生 panic 则返回 Err。在闭包中，需要注意变量不能是可变的（如使用 let current_time = try_times as usize;），因为闭包传入的数据类型可能受 UnwindSafe trait 限制。建议闭包中包含尽量少的逻辑代码，以控制数据类型并精准捕获 panic。
std::panic::catch_unwind 有哪些限制？
std::panic::catch_unwind 并不能捕获所有的 panic 错误。它只捕获展开式 panic，而不捕获终止进程的情况。如果用户设置了自定义 panic hook，它会在捕获 panic 错误之前被调用，此时 catch_unwind 可能无效。此外，使用外部异常（如从 C++ 代码抛出的异常）展开进入 Rust 代码是未定义行为。因此使用时需谨慎。
在 Rust 中，除零错误会在编译时还是运行时被捕获？
在 Rust 中，除零错误通常会在编译阶段被捕获。例如，对于代码 `let result = numerator / denominator;` 其中 denominator 为 0，编译器会报错：`error: this operation will panic at runtime`，并提示 `attempt to divide 42_i32 by zero`。这体现了 Rust 编译器尽可能在编译阶段帮助发现错误，使代码更健壮。但并非所有除零错误都能在编译时发现，运行时仍可能发生。
在样本代码中，如何处理数组越界引发的 panic 错误？
在样本代码中，通过 std::panic::catch_unwind 包裹数组访问操作来捕获越界 panic。例如，在遍历数组时，将 `println!("Iterate Element: {}", int_array[i]);` 放入 catch_unwind 闭包中，并匹配返回的 Result：如果 Ok 则打印无 panic，如果 Err 则通过 downcast_ref 获取错误信息并打印。这样即使发生越界，程序也不会终止，而是继续执行后续循环。
