鉴于以下防 rust 程序:
struct Value<'v>(&'v ());
struct Container {}
impl Container {
fn get<'v>(&'v self) -> Value<'v> {
todo!()
}
fn set<'v>(&'v self, x: Value<'v>) {
todo!()
}
}
fn convert<'v1, 'v2>(x: &'v1 Container, env: &'v2 Container) {
let root: Value<'v2> = env.get();
x.set(root);
}
我认为convert是编译时错误，因为Value<'v2>被传递到x.set()，这需要Value<'v1>类型的值——但它成功编译了.'v1和'v2之间没有亚型关系. rust 是如何在你的一生中得到满足的？
编译器总是被允许以更短的生存期重新borrow .
在这种情况下，会发生什么:
fn convert<'v1, 'v2>(x: &'v1 Container, env: &'v2 Container) {
let root: Value<'v2> = env.get();
x.set(root);
}
编译器重新编译x(aka (&*x))，其生存期为'v3，短于'v2，这是允许的，因为(推断)方差为Value<'v>(匹配&'v T).
可以通过更改内部值来更改推断的方差Value<'v>:
&'v ()(电流)等于covariant.Cell<&'v ()>等于invariant.fn (&'v ()) -> ()是contravariant，是covariant的倒数.使用invariant Value<'v>可以防止将生命周期 与新的生命周期 统一起来，而使用contravariant Value<'v>只能将生命周期 与greater Value<'v>统一起来.