为何传入两个字符串参数时需使用Rust生命周期参数？

先看单参数的情况：

fn longest(x: &str) -> &str {
    x
}

这个函数能正常编译，是因为Rust有生命周期省略规则：当函数只有一个输入引用参数时，返回的引用会自动继承该参数的生命周期。编译器会自动补全成fn longest<'a>(x: &'a str) -> &'a str，所以不需要手动写生命周期参数。

而双参数的版本：

fn longest(x: &str, y: &str) -> &str {
    x
}

会报错，核心原因有两个：

1. 生命周期检查基于签名，而非函数体
   Rust的类型系统（包括生命周期）是在编译早期基于函数签名做检查的，不会去分析函数体里的逻辑来推断生命周期。这是为了保证API的稳定性：如果编译器依赖函数体推断，那哪天你把函数体改成返回y，函数签名没变，但返回值的生命周期约束却变了，之前的调用代码可能会突然出现悬空引用的问题。签名是调用者唯一能依赖的契约，必须明确。

2. 省略规则不适用多输入参数的情况
   Rust的省略规则只覆盖了几种简单场景（比如单输入引用、方法的&self参数等），当有多个输入引用时，编译器无法确定返回值的生命周期应该和哪个输入绑定——哪怕你现在返回的是x，但签名必须明确告诉编译器和调用者：返回值的生命周期和x、y中的哪一个一致？或者是其他生命周期？

所以必须显式声明生命周期参数，比如：

fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    x
}

这里的'a表示返回值的生命周期和x、y中较短的那个一致，编译器可以基于这个约束在调用时检查所有引用的生命周期是否安全，同时调用者也能从签名清楚知道返回值的生命周期限制。

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