我有一些代码,简化后看起来像:
fn foo() -> Vec<u8> {
unsafe {
unsafe_iterator().map(|n| wrap_element(n)).collect()
}
}
如果基础数据发生更改,迭代器将返回无效的项目。可悲的是,我无法依赖mut
这里正常的Rust机制(我正在做一些......奇怪的事情)。
为了纠正不安全因素,我一次遍历迭代器并复制每个项目(通过wrap_element
),然后将其全部放入Vec
。这是有效的,因为没有其他机会进入并修改基础数据。
代码现在按原样运行,但由于我几次使用这个习惯用法,我想稍微干掉我的代码:
fn zap<F>(f: F) -> Vec<u8>
where F: FnOnce() -> UnsafeIter
{
f().map(|n| wrap_element(n)).collect()
}
fn foo() -> Vec<u8> {
zap(|| unsafe { unsafe_iterator() }) // Unsafe block
}
我对此解决方案的问题是,对unsafe_iterator
的调用是不安全的,wrap_element
/ collect
使其再次安全。代码的结构方式根本不能表达出来。
我想以某种方式将我的封闭标记为unsafe
,然后zap
有责任使其再次安全。
答案 0 :(得分:2)
无法以与unsafe
相同的方式创建unsafe fn
闭包,因为闭包只是匿名类型,具有Fn
的实现,{{1 }和/或FnMut
一系列特征。由于这些特征没有FnOnce
方法,因此无法创建unsafe
来调用的闭包。
您可以使用unsafe
方法创建第二组闭包特征,然后为这些方法编写实现,但是您将失去大部分闭合糖。