参考'静态的寿命不够长？

编程问答 2022-05-24

问题描述

考虑下一个代码：

fn get_ref<'a,R>(slice: &'a Vec<i32>,f: fn(&'a Vec<i32>) -> R) -> R
where
    R: 'a,{
    f(slice)
}

fn main() {
    let v = [1,2,3,4,5,6];
    let iter = get_ref(&v,|x| x.iter().skip(1).take(2));

    println!("{:?}",iter.collect::<Vec<_>>());
}

我创建了一些 static 变量，然后将一些函数应用于其引用并获得结果。 它似乎工作得很好。至少它编译成功。

现在我正在尝试添加下一个抽象级别。事情变得越来越奇怪......

fn owned<'a,R>(owner: Vec<i32>,f: fn(&'a Vec<i32>) -> R)
where
    R: 'a,{
    let _ = get_ref(&owner,f); // error occurs here
    // `owner` does not live long enough.
}

// get_ref is the same as in the first example
fn get_ref<'a,6];
    owned(v,|x| x.iter().skip(1).take(2));
}

对我来说，它看起来非常相似。但是 Rust 无法编译它。我真的不明白为什么会发生这种情况，我应该如何重写代码以进行编译。

解决方法

想象一下，如果我决定调用函数 owned<'static,i32>(Vec<i32>,foo) 并将 foo 定义为：

fn foo(vec: &'static Vec<i32>) -> i32 { ... }

这满足 owned 的边界，因为 i32: 'static。然而，这意味着您必须有一个静态引用来调用 f，但 owner 不会永远存在，因为它在 owned 结束时被销毁。

修复它的一种方法是使用以下内容：

fn owned<R>(owner: Vec<i32>,f: for<'a> fn(&'a Vec<i32>) -> R) {
    let _ = get_ref(&owner,f);
}

它表示 f 必须可以在 any 生命周期内调用，而不仅仅是某个特定的生命周期。但是，这会导致 R 不能从参数借用，因为 R 是在比 'a 更大的范围内声明的。在保持泛型不变的情况下，没有任何方法可以解决这个问题。

这个答案取自我在 URLO 上对 this thread 的回复。

borrowborrow-checkerborrowinglifetimerust