为何返回字符串字面量的函数，返回类型注解为&str仍能编译？

你的代码如下：

pub fn foo_if_fizz(fizzish: &str) -> &str {
    if fizzish == "fizz" {
        "foo"
    } else if fizzish == "fuzz" {
        "bar"
    } else {
        "baz"
    }
}

这事儿核心是Rust里字符串字面量的本质和编译器的生命周期推导机制：

• 字符串字面量的实际类型是&'static str
  像"foo""bar"这种字符串字面量，编译时就会被嵌入到程序的只读数据段中，程序运行的整个周期里它都存在，所以它的引用生命周期是'static——也就是永久有效。

• 编译器自动补全了返回值的生命周期
  你写的返回类型是&str，没指定生命周期，Rust编译器会自动分析返回值的来源。这里所有分支返回的都是&'static str，编译器就会把返回类型的生命周期推导为'static，相当于你的函数实际等价于：

  pub fn foo_if_fizz(fizzish: &str) -> &'static str {
      // 原有代码逻辑
  }
  

  这样返回值和标注的类型就完全匹配，自然能正常编译运行。

• 生命周期协变的兼容性
  &'static str是&str的子类型（因为'static是最长的生命周期），按照Rust的生命周期协变规则，它可以安全地被当作普通&str返回，不会有生命周期不匹配的问题。

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