生命周期如何处理常量字符串/字符串文字？

Question

我阅读了tutorial on the official website，我对常量字符串/字符串文字的生命周期有一些疑问。

我在编写以下代码时遇到错误：

fn get_str() -> &str {
    "Hello World"
}

错误：

error[E0106]: missing lifetime specifier
 --> src/main.rs:1:17
  |
1 | fn get_str() -> &str {
  |                 ^ expected lifetime parameter
  |
  = help: this function's return type contains a borrowed value, but there is no value for it to be borrowed from
  = help: consider giving it a 'static lifetime

不过加个参数就OK了：

fn get_str(s: &str) -> &str {
    "Hello World"
}

为什么会这样？ "Hello World"如何借用参数s，即使它与s无关？

Answer 1

Lifetime elision 推断完整类型

fn get_str(s: &str) -> &str

是

fn get_str<'a>(s: &'a str) -> &'a str

这基本上意味着只要s 有效，get_str 的返回值就必须有效。 string literal "Hello world" is &'static str 的实际类型，这意味着它在程序的整个运行过程中都有效。由于这满足了函数签名中的生命周期约束（因为对于任何 'a，'static 总是包含 'a），所以这是可行的。

但是，让您的原始代码工作的更明智的方法是为函数类型添加显式生命周期：

fn get_str() -> &'static str {
    "Hello World"
}

“Hello World”如何借用s参数，甚至与s无关？

只有两个选项对具有单个引用参数的函数的返回值的生命周期有意义：

1. 可以是'static，就像在您的示例中一样，或者
2. 返回值的生命周期必须与参数的生命周期相关联，这是生命周期省略的默认值。

在这篇文章顶部的链接中选择后者有一些理由，但基本上归结为后者是更常见的情况。请注意，生命周期省略根本不查看函数体，它只是通过函数签名。这就是为什么它不会考虑您只是返回一个字符串常量这一事实。