为何Rust中符合生命周期省略规则的函数仍编译失败？

首先得明确生命周期省略规则的适用前提：这些规则只在函数签名完全没有显式声明生命周期参数的时候生效。你写的第二个函数fn longest<'a>(x: &'a str, y: &'a str) -> &str已经显式声明了<''a>，这时候省略规则就不再适用了。

具体原因拆解 #

1. 当你显式写出<''a>时，相当于告诉编译器：我要手动管理这个生命周期参数，你别自动帮我推断其他未标注的生命周期。这时候返回值的&str虽然省略了生命周期，但编译器不会默认把它和'a绑定——哪怕所有输入参数都用了'a，编译器也不会做这个“理所当然”的假设，因为显式声明生命周期意味着你需要明确指定所有相关的生命周期关联。
2. 你提到的第二条省略规则，针对的是完全没有显式生命周期参数的场景，比如fn foo(s: &str) -> &str。这种情况下编译器会先给输入参数分配生命周期，再把这个生命周期套用到返回值上。但一旦你显式声明了<''a>，这个规则就不会触发。

错误信息的含义 #

报错提示的意思是：返回值里的借用类型用了省略的生命周期，但编译器没办法从参数里推导这个生命周期应该是什么——因为你已经显式介入了生命周期的声明，却没明确告诉编译器返回值的生命周期和'a的关系，编译器不敢自行推断。

正确的写法 #

如果你想让返回值复用'a，必须显式标注返回类型为&'a str，也就是回到第一个有效的函数定义；如果想依赖省略规则，那就要完全去掉显式的<''a>声明，但这时候因为函数有两个输入引用参数，第一条省略规则会给它们分配不同的生命周期，第二条规则不适用，最终还是会编译失败——这也是为什么最初的longest函数必须显式声明共享的生命周期'a。

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