有没有办法选择两个生命周期中较小的一个?

Is there a way to choose the lesser of two lifetimes?

我的意思是:

fn minimum<'a, 'b>(x: &'a mut i32, y: &'b mut i32) -> &'min(a, b) mut i32 {
    (x < y) ? x : y
}

我们不知道在生命周期中会选择哪个引用,但编译器知道两个引用在哪个范围内仍然有效并且可以安全地使用返回的引用。

可以提及的解决方法:

fn minimum<'a, 'b> where 'b: 'a (x: &'a i32, y: 'b i32) -> &'a i32 {
    (x < y) ? x : y
}

并不是真正的解决方案,因为在调用函数时我们必须处理两种情况:当 'a: 'b'b: 'a

当你有一个统一的生命周期时,编译器会自动这样做:

fn minimum<'a>(x: &'a mut i32, y: &'a mut i32) -> &'a mut i32 {
    if x < y { x } else { y }
}

这是唯一的内存安全选项,因为函数的实现可能会选择任一引用。

没有 "maximum" 等价物,因为使用它不能保证内存安全。

另请参阅: