在Rust中，当我们希望一个 struct 包含引用时，我们通常会这样定义它们的生存期:
struct Foo<'a> {
x: &'a i32,
y: &'a i32,
}
但也可以为同一 struct 中的不同引用定义多个生存期:
struct Foo<'a, 'b> {
x: &'a i32,
y: &'b i32,
}
什么时候这样做有用？有人能提供一些示例代码，当两个生命周期都为'a时不编译，但当两个生命周期都为'a和'b时编译(或反之亦然)？
熬夜太晚之后，我想出了一个例子，说明生命周期很重要.以下是代码:
static ZERO: i32 = 0;
struct Foo<'a, 'b> {
x: &'a i32,
y: &'b i32,
}
fn get_x_or_zero_ref<'a, 'b>(x: &'a i32, y: &'b i32) -> &'a i32 {
if *x > *y {
return x
} else {
return &ZERO
}
}
fn main() {
let x = 1;
let v;
{
let y = 2;
let f = Foo { x: &x, y: &y };
v = get_x_or_zero_ref(&f.x, &f.y);
}
println!("{}", *v);
}
如果将Foo的定义更改为:
struct Foo<'a> {
x: &'a i32,
y: &'a i32,
}
那么代码就无法编译.
基本上，如果你想在任何函数上使用 struct 的字段，要求它的参数有不同的生命周期，那么 struct 的字段也必须有不同的生命周期.