我正在实现一个C库的包装器，它接受回调，回调将在Rust中实现。考虑到panicking in Rust when calling from C is undefined behavior，我想在他们进入C之前抓住任何潜在的Rust恐慌。
我一直在读关于std::panic::catch_unwind。包装器对性能敏感，我宁愿避免使用像Mutex这样的类型。我想把我的结果保存在Option<i32>中，并在没有恐慌的情况下将其设置为Some(value)。 None将表明该功能未成功执行，因此必须发生恐慌。
Option<i32>放松安全吗？如果没有，在什么条件下会出现问题？我可以把它包装在std::panic::AssertUnwindSafe吗？
这是一个例子，我使用AssertUnwindSafe来包装整个闭包。
use std::panic::{self, AssertUnwindSafe};
fn random_function_that_might_panic(a: i32) -> i32 {
if a == 42 {
panic!("did you forget a towel?");
}
a * 2
}
fn do_not_panic(a: i32) {
let mut result = None;
let unwind_state = panic::catch_unwind(AssertUnwindSafe(|| {
result = Some(random_function_that_might_panic(a)); // get result, but this could panic
}));
match unwind_state {
Ok(()) => {
match result {
Some(value) => {
println!("Result: {:?}", value);
}
None => {
// this should never happen...
println!("No result but no panic?");
}
}
}
Err(e) => {
println!("caught panic: {:?}", e);
}
}
}
fn main() {
do_not_panic(1);
do_not_panic(2);
do_not_panic(3);
do_not_panic(42);
}
（参见上面的playground。）
我无法弄清楚如何在Option<i32>中包裹AssertUnwindSafe，所以在这里我把整个封闭包裹起来。我怎么包装Option<i32>？
Option<i32>放松安全吗？
是。当你可以询问编译器时，没有理由向人类询问这个问题：
fn implements<T: std::panic::UnwindSafe>() {}
fn main() {
implements::<Option<i32>>();
}
你真正的问题应该是：
&mut Option<i32>放松安全吗？
这不是，但你可能已经知道了。我猜你在添加AssertUnwindSafe之前得到了这个编译错误，它告诉你它不安全：
error[E0277]: the trait bound `&mut std::option::Option<i32>: std::panic::UnwindSafe` is not satisfied in `[closure@src/main.rs:12:44: 14:6 result:&mut std::option::Option<i32>, a:&i32]`
--> src/main.rs:12:24
|
12 | let unwind_state = panic::catch_unwind(|| {
| ^^^^^^^^^^^^^^^^^^^ the type &mut std::option::Option<i32> may not be safely transferred across an unwind boundary
|
= help: within `[closure@src/main.rs:12:44: 14:6 result:&mut std::option::Option<i32>, a:&i32]`, the trait `std::panic::UnwindSafe` is not implemented for `&mut std::option::Option<i32>`
= note: required because it appears within the type `[closure@src/main.rs:12:44: 14:6 result:&mut std::option::Option<i32>, a:&i32]`
= note: required by `std::panic::catch_unwind`
我会把你的代码写成这样，因为它值得：
fn do_not_panic(a: i32) {
let result = panic::catch_unwind(|| random_function_that_might_panic(a)).ok();
match result {
Some(value) => {
println!("Result: {:?}", value);
}
None => {
println!("caught panic");
}
}
}
没有可变变量，没有额外的嵌套，没有“这应该永远不会发生”的评论。
也可以看看：