为什么引用不能在"as_slice"的情况下活得足够长？

Question

我无法弄清楚为什么这段代码会编译:

fn f(v: &mut Vec<isize>) -> &[isize] {
    v.as_mut_slice()
}

这不是:

fn f(v: &mut Vec<isize>) -> &[isize] {
    v.as_slice()
}

生产:

<anon>:2:5: 2:6 error: `v` does not live long enough
<anon>:2     v.as_slice()
             ^
<anon>:1:38: 3:2 note: reference must be valid for the anonymous lifetime #1 defined on the block at 1:37...
<anon>:1 fn f(v: &mut Vec<isize>) -> &[isize] {
<anon>:2     v.as_slice()
<anon>:3 }
<anon>:1:38: 3:2 note: ...but borrowed value is only valid for the block at 1:37
<anon>:1 fn f(v: &mut Vec<isize>) -> &[isize] {
<anon>:2     v.as_slice()
<anon>:3 }

如果我理解正确,在任何一种情况下函数签名都是相同的,并且返回值的生命周期等于输入参数1.那么为什么"as_slice"不起作用？

Answer 1

这是一个“错误”，或者更好的是该特征的限制AsSlice。由于v.as_slice()现在不稳定并且可能会被删除&v[]（在您的情况下已经按预期工作），我不会打开错误，但我会尝试解释为什么当前特征不起作用，据我所知。

首先，查看您的案例中调用的的定义。as_slice

impl<'a, T, U: ?Sized + AsSlice<T>> AsSlice<T> for &'a mut U {
    #[inline(always)]
    fn as_slice(&self) -> &[T] { AsSlice::as_slice(*self) }
}

请注意，as_slice 实际上正在消除新的生命周期。如果我们给它一个名字（'b），我们实际上会写这样的东西：

impl<'a, T, U: ?Sized + AsSlice<T>> AsSlice<T> for &'a mut U {
    #[inline(always)]
    fn as_slice<'b>(&'b self) -> &'b [T] { AsSlice::as_slice(*self) }
}

我们真正想要的是'b与 相同'a，但我认为在创建时没有办法表达这一点AsSlice（现在这可能通过更高排名的特质界限来表达）。这样做的效果是，当我们调用as_slice()您的函数时f，我们将返回一个新的生命周期，无法逃脱f。这实际上是您遇到的错误。

如果AsSlice现在编写，它将使用关联类型，并且能够以我们想要的方式链接生命周期。它会类似于这样：

pub trait AsSlice2 {
    type Item;
    fn as_slice_2(&self) -> & [Self::Item];
}

impl<T> AsSlice2 for [T] {
    type Item = T;
    fn as_slice_2(&self) -> &[T] { &self[] }
}

婴儿围栏

这类似于 as_mut_slice 目前的实现方式（这就是它起作用的原因）