我有这样一个函数:
extern {
fn foo(layout: *const RawLayout) -> libc::uint8_t;
}
fn bar(layout: Layout) -> bool {
unsafe {
foo(&layout.into() as *const _) != 0
}
}
其中Layout是可复制类型，可转换为.into()和RawLayout.
我想确保我了解正在发生的事情，因为这是不安全的.据我所知，layout.into()创建一个临时RawLayout，然后&引用它，as *const _将其转换为原始指针(*const RawLayout).然后调用foo()函数并返回，最后删除临时RawLayout.
对吗？还是有什么棘手的原因让我不该这么做？
你是对的.在这种情况下，首先调用foo，然后丢弃RawLayout.这一点在第The Rust Reference章中进行了解释(请点击链接查看实践中的具体示例):
临时值的生存期通常是最内层的
然而，我宁愿听从谢普马斯特的建议.显式引入局部变量将帮助代码读者专注于更重要的事情，比如确保不安全的代码是正确的(而不是必须弄清楚临时变量的确切语义).
您可以使用以下代码判断此行为:
struct Layout;
struct RawLayout;
impl Into<RawLayout> for Layout {
fn into(self) -> RawLayout {
RawLayout
}
}
impl Drop for RawLayout {
fn drop(&mut self) {
println!("Dropping RawLayout");
}
}
unsafe fn foo(layout: *const RawLayout) -> u8 {
println!("foo called");
1
}
fn bar(layout: Layout) -> bool {
unsafe {
foo(&layout.into() as *const _) != 0
}
}
fn main() {
bar(Layout);
}
输出为:
foo called
Dropping RawLayout