string - 生命周期如何作用于常量字符串/字符串文字？

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

但是当我添加参数时就可以了:

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 的实际类型，这意味着它在程序的整个运行过程中都有效。由于这满足了函数签名中的生命周期限制(因为 'static 总是包含 'a 用于任何 'a)，所以这是可行的。

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

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

How does "Hello World" borrow from the parameter s, even it has nothing to do with s?

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

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

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