为什么我不能从枚举中可变地借用一个原语？

Question

我希望能够在 Foo 枚举中获得对 usize 的引用（不可变和可变）：

use Foo::*;

#[derive(Debug, PartialEq, Clone)]
pub enum Foo {
    Bar(usize)
}

impl Foo {
    /* this works */
    fn get_bar_ref(&self) -> &usize {
        match *self {
            Bar(ref n) => &n
        }
    }

    /* this doesn't */
    fn get_bar_ref_mut(&mut self) -> &mut usize {
        match *self {
            Bar(ref mut n) => &mut n
        }
    }
}

但我无法获得可变引用，因为：

n 寿命不够长

我能够提供访问Foo 的其他内容的类似函数的两种变体Boxed - 为什么可变借用（以及为什么只有它）会因未装箱的原语而失败？

Answer 1

这些示例显示了示例问题：

fn implicit_reborrow<T>(x: &mut T) -> &mut T {
    x
}

fn explicit_reborrow<T>(x: &mut T) -> &mut T {
    &mut *x
}

fn implicit_reborrow_bad<T>(x: &mut T) -> &mut T {
    &mut x
}

fn explicit_reborrow_bad<T>(x: &mut T) -> &mut T {
    &mut **&mut x
}

explicit_ 版本显示了编译器通过deref coercions 推断出的内容。
_bad 版本都以完全相同的方式出错，而其他两个版本可以编译。

这要么是一个错误，要么是当前在编译器中实现生命周期的方式的限制。 &mut T 相对于 T 的不变性 可能 与它有关，因为它导致 &mut &'a mut T 相对于 'a 是不变的，因此在期间 更具限制性比共享引用 (&&'a T) 的情况进行推理，即使在这种情况下严格性是不必要的。

Answer 2

您需要将Bar(ref mut n) => &mut n 替换为Bar(ref mut n) => n。

当你在Bar(ref mut n) 中使用ref mut n 时，它会创建一个可变的 引用Bar中的数据，所以n的类型为&mut usize。 然后你尝试返回&mut n 的&mut &mut u32 类型。

这部分很可能不正确。

现在deref coercion 加入 并将&mut n 转换为&mut *n，创建一个临时值*n usize 类型的，寿命不够长。