为何Rust的std::cell::Ref使用NonNull而非引用？

架构老林

2026-7-4

Rust中std::cell::Ref使用NonNull而非&T的原因解析

先看std::cell::Ref的官方定义：

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>,
}

注释里明确提到：如果改用&'b T作为value的类型（如下Ref2的定义），会触发LLVM的noalias规则违规：

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

我的困惑点

原本以为非词法生命周期（NLL）会在代码生成阶段正确处理这类场景，否则下面这段可编译的代码也应该被判定为非法：

struct Foo<'a> {
    v: &'a i32,
}
fn foo(x: &mut i32) {
    let f = Foo { v: x };
    *x = 5; // 按道理，f.v这个带noalias属性的指针还在作用域内，修改x应该非法
}

为什么Ref不能用&T，但上面的Foo示例却能正常编译？恳请熟悉Rust内部机制的人解惑，避免我在unsafe代码中犯关键错误。

问题解答

核心区别在于结构体的语义是否由Rust的借用规则直接保证，以及LLVM的noalias属性的生效条件：

普通结构体的&引用会被NLL正确收缩生命周期
你给出的Foo示例中，Rust的NLL会分析出：f.v的实际有效生命周期只到*x = 5之前——因为后续代码没有再使用f.v，所以编译器会将f.v的生命周期提前结束，允许对x的可变借用。LLVM生成的代码中，f.v的noalias属性只会在其实际被使用的范围内生效，不会覆盖整个结构体的作用域，因此不会触发违规。
std::cell::Ref的特殊语义打破了常规借用规则
Ref的作用是通过RefCell实现内部可变性：它的borrow字段记录了RefCell的借用状态，只有当Ref被drop时，才会释放这个借用。也就是说，Ref的整个作用域内都需要保证value指向的内存不可变，但这个约束是由RefCell的运行时检查实现的，而非Rust编译器的静态借用规则。
如果用&'b T作为value的类型，Rust编译器会给这个引用加上noalias属性——LLVM会认为在'b生命周期内，这个引用是唯一的、不会有其他可变指针指向同一块内存。但实际上，RefCell允许在Ref被drop后修改内存，而'b生命周期是覆盖整个Ref结构体的作用域的，这就导致LLVM的优化假设与实际运行时行为冲突，触发noalias违规。
改用NonNull<T>则不会带上noalias属性，LLVM不会做出“该指针唯一”的假设，也就不会产生优化后的代码与实际运行时逻辑不符的问题。
总结：unsafe代码需要手动规避LLVM的错误假设
对于Ref这种依赖运行时检查而非静态借用规则的类型，不能直接使用&T——因为编译器会错误地给它加上noalias属性，导致LLVM优化违反实际的内存安全语义。而普通结构体中的&T因为有NLL的生命周期收缩，编译器能正确判断其有效范围，所以不会有问题。

内容的提问来源于stack exchange，提问作者ChrisB

为何Rust的std::cell::Ref使用NonNull而非引用？

我的困惑点 #

问题解答 #

我的困惑点

问题解答