Rust中的std::cell::Ref struct 定义如下:

pub struct Ref<'b, T: ?Sized + 'b> {
    // NB: we use a pointer instead of `&'b T` to avoid `noalias` violations, because a
    // `Ref` argument doesn't hold immutability for its whole scope, only until it drops.
    // `NonNull` is also covariant over `T`, just like we would have with `&T`.
    value: NonNull<T>,
    borrow: BorrowRef<'b>,
}

// NB条 comments (我假设没有什么好的/讨厌的错误?)暗示以下定义将不起作用,因为它将是noalias违规(它们是指后端的LLVM属性吗?):

pub struct Ref2<'b, T: ?Sized + 'b> {
    value: &'b T,
    borrow: BorrowRef<'b>,
}

我不理解这一点,因为我的印象是,非词法生存期语义在代码生成中得到了正确的保留.否则,下面的简单示例(当然可以编译)也是非法的,对吗?

struct Foo<'a> {
    v: &'a i32,
}
fn foo(x: &mut i32) {
    let f = Foo { v: x };
    *x = 5; // value modified while the `noalias` f.v pointer is still in scope
}

谁能对内部 struct 有更多的了解,能为我解释一下吗? 我担心我在这里误解了一些关键的东西,导致我自己的不安全代码中存在潜在的问题.

推荐答案

非词法生命周期从来不是代码生成的属性.它们纯粹是borrow 判断器属性,borrow 判断不会影响代码生成.

根据LLVM的说法,您提供的示例并不非法.noalias的问题只表现在函数参数上,因为只有它们才有noalias属性(至少目前是这样).因此,编写有问题的代码而不使用不安全代码的唯一方法是:

fn foo(reference: &String, mut data: String) {
    // Do not use `reference` anymore here.
    
    // Write to data.
    data = String::new();
}

fn main() {
    let mut v = String::new();
    foo(&v, v);
}

只是它不能编译,因为你正在移动一个借来的v.因此,实际上没有办法触发错误编译.

RefCell、我们可以这样做:

use std::cell::{RefCell, Ref};

fn foo<'a>(reference: Ref<'a, i32>, data: &'a RefCell<i32>) {
    drop(reference);
    // Do not use `reference` anymore here.
    
    *data.borrow_mut() = 0;
}

fn main() {
    let v = RefCell::new(0);
    foo(v.borrow(), &v);
}

如果Ref将使用引用,则其将是LLVMUB.

Rust相关问答推荐

空字符串转换为Box字符串时是否分配?<>

修改切片/引用数组

使用铁 rust S还原对多个数组执行顺序kronecker积

如何用Axum/Tower压缩Html内容?

替换可变引用中的字符串会泄漏内存吗?

如何为 struct 字段设置新值并在Ruust中的可变方法中返回旧值

变量需要parse()中的显式类型

零拷贝按步骤引用一段字节

随机函数不返回随机值

Rust Axum 框架 - 解包安全吗?

unwrap 选项类型出现错误:无法移出共享引用后面的*foo

Rust并发读写引起的死锁问题

如何在 Rust 中显式声明 std::str::Matches<'a, P> ?

如何使用 Rust Governor 为每 10 秒 10 个请求创建一个 RateLimiter?

如何在 Rust 中将枚举变体转换为 u8?

为什么1..=100返回一个范围而不是一个整数?

为什么具有 Vec 变体的枚举没有内存开销?

如何在 Rust 中编写修改 struct 的函数

如何创建动态创建值并向它们返回borrow 的工厂?

Rust 为什么 (u32, u32) 的枚举变体的大小小于 (u64)?