关于Rust中fn(&'a i32) -> ()逆变特性的推导疑问

核心问题 #

已知&'static i32 <: &'a i32（&'static i32是&'a i32的子类型），为什么能推出fn(&'a i32) -> () <: fn(&'static i32) -> ()？即为什么接受&'a i32的函数是接受&'static i32的函数的子类型？

逆变特性的推导过程 #

首先明确子类型的核心定义：若类型A是类型B的子类型（A <: B），则任何接受B的场景，都可以安全地用A替换，程序不会出现内存安全问题（符合里氏替换原则）。

我们从函数的使用场景出发分析：

1. 假设有一个上下文，它需要的是fn(&'static i32) -> ()类型的函数——也就是说，这个上下文会调用该函数，并且传入的参数是&'static i32类型的引用。
2. 现在我们把这个函数替换成fn(&'a i32) -> ()类型的函数：因为&'static i32 <: &'a i32，&'static i32可以安全地被&'a i32接收（'static生命周期长于'a，引用不会提前失效），所以这个替换后的函数能正常处理上下文传入的参数，不会有任何安全问题。
3. 这就满足了子类型的定义：fn(&'a i32) -> ()可以安全替换fn(&'static i32) -> ()，因此fn(&'a i32) -> () <: fn(&'static i32) -> ()。

这种“参数类型的子类型关系反转成函数类型的子类型关系”的特性，就是逆变。

错误思路的问题分析 #

你之前认为fn(&'static i32) <: fn(&'a i32)，这个结论错误的核心在于忽略了函数参数的“输入”属性：

• 若上下文需要的是fn(&'a i32) -> ()，意味着它会传入&'a i32类型的引用（生命周期为'a，短于'static）。
• 而fn(&'static i32) -> ()的参数要求是&'static i32，&'a i32并不是&'static i32的子类型（反过来才成立），你无法将一个生命周期更短的引用传给要求更长生命周期的参数——这会导致引用可能提前失效，违反Rust的内存安全规则，编译器会直接报错。
• 因此fn(&'static i32) -> ()不能安全替换fn(&'a i32) -> ()，自然不是它的子类型。

内容的提问来源于stack exchange，提问作者phil skillwon