为什么要使用对i32的不可变引用

Question

在《生锈的一生》一章中，有一个例子：

struct Foo<'a> {
    x: &'a i32,
}

fn main() {
    let y = &5; // this is the same as `let _y = 5; let y = &_y;`
    let f = Foo { x: y };

    println!("{}", f.x);
}

为什么他们使用x：

我认为，如果只是x:i32，那么他们就无法演示终身使用。然而，这背后还有其他原因吗？是否有任何生产代码使用对i32之类的基元类型的不可变引用？




Answer 1

在这种特殊情况下，原因确实是为了展示生命周期的概念。然而，对于一般情况，我认为没有理由对基元类型进行不可变引用（当然，可变引用是另一回事），除非在泛型代码中进行：

struct Holder<'a, T> {
    r: &'a T
}

let x: i32 = 123;
let h: Holder<i32> = Holder { r: &x };

在这里，如果您有这样的结构，那么您没有其他选择来使用对i32的引用。当然，这种结构也可以用于其他非原始和不可移动的类型。

正如Shepmaster在评论中所提到的，确实有一种情况，您可以通过引用迭代器引用基元类型。请记住，根据约定（标准库遵循此约定），集合上的iter（）方法应将引用的迭代器返回到集合中：

let v: Vec<i32> = vec![1, 2, 3, 4];
let i = v.iter();  // i is Iterator<Item=&i32>

那么迭代器上几乎所有接受闭包的方法都将接受其参数是引用的闭包：

i.map(|n| *n + 1)  // n is of type &i32

请注意，这实际上是泛型更一般情况的结果。向量和切片可能包含任意类型，包括不可移动的类型，因此它们只需具有允许用户借用其内容的方法即可。