请考虑下面的例子
struct Foo {
val: &str
}
fn main() {
let hello = String::from("hello");
let foo = Foo{ val: &hello[..]};
}
这不能编译，因为需要一个生命周期.一个非常简单的解决方法如下:
struct Foo<'a> {
val: &'a str
}
为什么编译器不能假设(作为合理的默认设置)引用将与 struct Foo一样长？有没有不会出现这种情况的用例？
因为假设引用将与struct Foo一样长，那将是明显错误的.例如，考虑一下这个问题.
fn main() {
let foo: Foo;
{
let string = "foo".to_string();
foo = Foo {
val: string.as_str(),
}
}
println!("{}", foo.val);
}
如果编译器假设这里的"合理缺省值"是string将与Foo一样长，这将被编译.但我们可以清楚地看到，在内循环结束后，string会被删除，但foo即使在它之后也会存活.
简而言之，它的Foo岁S的生命周期 取决于&str岁，而不是反过来，即Foo岁不可能比&str岁.