为什么我可以返回对本地文字的引用而不是变量？答案

【问题标题】：Why can I return a reference to a local literal but not a variable?为什么我可以返回对本地文字的引用而不是变量？
【发布时间】：2018-10-24 23:43:37
【问题描述】：

为什么这段代码会编译？

fn get_iter() -> impl Iterator<Item = i32> {
    [1, 2, 3].iter().map(|&i| i)
}

fn main() {
    let _it = get_iter();
}

[1, 2, 3] 是一个局部变量，iter() 借用了它。此代码不应编译，因为返回值包含对局部变量的引用。

【问题讨论】：

【解决方案1】：

在您的示例中，[1, 2, 3] 不被视为局部变量，而是被视为静态变量！

让我们看看这段代码：

fn foo() -> &'static [i32] {
    &[1, 2, 3]
}

这行得通！

前段时间，RFC 1414: Rvalue Static Promotion 被合并：“将 constexpr 右值提升为静态内存而不是堆栈槽中的值”。这意味着基本上你写的所有文字都可以永远存在。因此，let _: &'static i32 = &42; 之类的东西也可以使用！

如果我们避免使用文字数组，我们可以看到预期的错误：

fn bar() -> impl Iterator<Item = i32> {
    vec![1, 2, 3].iter().map(|&i| i)
}

这里我们得到“v 寿命不够长”错误。

这不仅限于整数或数组；它广泛适用于任何仅由文字组成的文字：

fn promote_integer() -> &'static i32 {
    &42
}

fn promote_float() -> &'static f64 {
    &42.42
}

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

struct Foo(char);

fn promote_struct() -> &'static Foo {
    &Foo('x')
}

除了文字之外，这也适用于标准库but these were likely a mistake 中的微小数量的函数。判断任意const函数的结果是否可以自动提升为static仍然是open topic。

【讨论】：