添加时对 i32 的不可变引用和可变引用有什么区别？

Question

我有

fn plus_one(x: &i32) -> i32 {
    x + 1
}

fn plus_one_star(x: &i32) -> i32 {
    *x + 1
}

fn plus_one_mut(x: &mut i32) -> i32 {
    x + 1
}

fn plus_one_mut_star(x: &mut i32) -> i32 {
    *x + 1
}

fn main() {
    let a: i32 = 5;
    let mut b: i32 = 5;

    println!("{:?}", plus_one(&a));
    println!("{:?}", plus_one_star(&a));
    println!("{:?}", plus_one_mut(&mut b));
    println!("{:?}", plus_one_mut_star(&mut b));
    // I expect all to print '6' as I never actually mutate b
}

第三个函数plus_one_mut 编译失败：error[E0369]: binary operation `+` cannot be applied to type '&mut i32'

为什么这个带有可变引用的函数编译失败？

Answer 1

正如错误消息所说：

二元运算+不能应用于类型'&mut i32'

那是因为它没有实现。查看the documentation for i32，您将看到Add 的这些实现：

• impl Add<i32> for i32
• impl<'a> Add<i32> for &'a i32
• impl<'a> Add<&'a i32> for i32
• impl<'a, 'b> Add<&'a i32> for &'b i32

您需要取消对&mut i32 的引用才能访问i32，它确实有一个Add 实现。

为什么它没有那个实现？我不确定。也许您可以向 Rust 提交 PR 以添加它……就我个人而言，我不记得曾经需要它。通常，如果您有 &mut T，那是因为您想要更新它，所以您应该有 *foo += 1 之类的东西。