参考“静态的寿命不够长?
ref to 'static does not live long enough?
考虑下一个代码:
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, 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];
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
不会永远存在,因为它在 [=14] 结束时被销毁=].
修复它的一种方法是使用以下方法:
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 的回复。
考虑下一个代码:
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, 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];
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
不会永远存在,因为它在 [=14] 结束时被销毁=].
修复它的一种方法是使用以下方法:
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 的回复。