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

Question

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

4

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

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

在上面的代码中，&a 和 &b 应该有不同的生命周期引用。编译器是如何推断出foo 的生命周期变量 'a 呢？据我所知，它并没有使用标准的 Hindley-Milner 统一算法。生命周期必须是内部范围或两个生命周期的某个交集。寿命推断是否完全独立于标准类型推断过程？编译器是否使用交叉类型或在生命周期之间使用某些子类型关系来选择最受限制的生命周期？

- user181351

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Matthieu M. · Accepted Answer

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

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

在您的情况下，编译器很容易处理。当编译器看到调用 'foo(&a, &b)' 时，它会将 'a' 统一为两个生命周期中最严格的交集（因为生命周期目前是词法范围）。