Rust中为何get_slice_3返回切片无需标注'static生命周期？

先看你给出的代码：

fn main() {
    let _s0 = "s0";
    println!("{}", get_slice_1());
    println!("{}", get_slice_2());
    println!("{}", get_slice_3(_s0));
}

fn get_slice_1() -> &str {
    let _s1 = "s1";
    return _s1;
}

fn get_slice_2() -> &'static str {
    let _s2 = "s2";
    return _s2;
}

fn get_slice_3(_x: &str) -> &str {
    let _s3 = "s3";
    return _s3;
}

核心原因：生命周期省略与子类型转换 #

• get_slice_1的问题：这个函数没有输入引用参数，编译器找不到可以绑定返回值生命周期的锚点，必须显式标注生命周期。而字符串字面量"s1"的生命周期是'static，但未指定生命周期的返回&str让编译器无法确定要将其关联到哪个生命周期，因此报错。
• get_slice_3为什么没问题：
  1. 按照Rust的生命周期省略规则，当函数有一个输入引用参数且返回一个引用时，编译器会自动将返回值的生命周期推断为与输入参数一致。也就是说，get_slice_3(_x: &str) -> &str会被编译器补全为get_slice_3<'a>(_x: &'a str) -> &'a str。
  2. 字符串字面量"s3"的生命周期是'static，而'static是所有生命周期的超类型——'static引用永远不会失效，比任何短生命周期'a都活得久，因此可以安全地转换为&'a str类型返回，完全符合生命周期约束，不会触发错误。
• 这里的_x虽然看起来没实际作用，但它给了编译器一个生命周期锚点，让编译器能通过省略规则补全生命周期，同时借助'static到短生命周期的子类型转换，让代码合法。

内容的提问来源于stack exchange，提问作者A. B. Dehkordi