rust - Rust 编译器使用什么算法来推断生命周期变量？

Question

fn foo<'a>(x: &'a i32, y: &'a i32) {}

fn main() { 
    let a = 123;
    {
        let b = 234;
        foo(&a, &b);
    }
}

在上面的代码中，&a 和&b 应该是具有不同生命周期的引用。

编译器如何推断 foo 的生命周期 var 'a？据我所知，它没有使用标准的 Hindley-Milner 统一算法。生命周期必须是内部范围或两个生命周期的某个交集。

生命周期推断是一个完全独立于标准类型推断的过程吗？

编译器是使用交集类型还是使用生命周期之间的某种子类型关系来选择最受限制的生命周期？

Answer 1

Rust 使用修改后的 Hindley-Milner 统一算法，因为它具有子类型关系。

例如，&'static T 是任何 'a 的 &'a T 的子类型。

你的情况相对简单，当编译器看到调用 foo(&a, &b) 时，它只是将 'a 统一为两个生命周期中最具限制性的(这是交集，因为现在生命周期是词汇的)。