Rust如何从Option<T>中获取内部T值的长生命周期有效引用
问题根因
你这段代码里的inner_option类型是Option<f64>,因为f64实现了Copy trait,执行Some(float)的时候会把外层float的值复制一份,存在inner_option自己的栈空间里,这份副本和外层原来的float变量没有任何关联。
后面调用inner_option.as_ref().unwrap()拿到的&f64,本质是指向inner_option内部那个副本的引用,生命周期和inner_option完全绑定。等代码块跑完inner_option被销毁,它内部存的副本也会被释放,这个引用就成了悬垂指针,Rust的借用检查器会直接拦截这种非法操作。
修复方法
要求必须通过inner_option访问值,还要拿到和外层float生命周期一致的有效引用,核心是别把值拷贝进Option,让Option直接存外层float的引用即可:
fn main() { let float = 1.0; let var: &f64 = { // Option类型为Option<&f64>,持有的是外层float的引用,生命周期和float一致 let inner_option = Some(&float); inner_option.unwrap() }; dbg!(var); }
这段代码可以正常编译运行,最终var就是指向外层float的有效引用,完全符合要求。
注意事项
如果你非要让inner_option存f64类型的值(也就是存拷贝出来的副本),那不可能拿到长生命周期的有效引用——毕竟副本是inner_option的所有物,inner_option销毁的时候副本必然跟着被释放,没有任何安全的写法能让指向这个副本的引用跑到代码块外面使用。
内容的提问来源于stack exchange,提问作者Jeff Davenport
相关产品推荐
相关产品推荐

