Rust返回迭代器报E0106错误：为何建议使用'static生命周期？

问题代码 #

fn expensive_sum(v: Vec<i32>) -> i32 {
    fun_name(v)
        .filter(|&x| x % 2 == 0)
        .map(|&x| x*x)
        .sum()
}

fn fun_name(v: Vec<i32>) -> std::slice::Iter<'_, i32> {
    v.iter()
}

编译错误信息 #

error[E0106]: missing lifetime specifier
  --> src/main.rs:25:46
   |
25 | fn fun_name(v: Vec<i32>) -> std::slice::Iter<'_, i32> {
   |                                              ^^ expected named 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 using the `'static` lifetime
   |
25 | fn fun_name(v: Vec<i32>) -> std::slice::Iter<'static, i32> {
   |   

错误含义 #

这个错误的核心是违反了Rust的内存安全规则：

• std::slice::Iter是基于引用的迭代器，它的有效性完全依赖原数据的存活周期。
• fun_name接收的是Vec<i32>的所有权，函数执行结束后，这个Vec会被自动销毁。但你返回的v.iter()迭代器本质是持有对这个即将被销毁的Vec的引用，这会产生悬垂引用——Rust编译器会直接阻止这种不安全行为。
• 匿名生命周期'_在这里无法生效，因为输入的Vec是被移动进函数的（而非引用），不存在能传递给返回值的合法生命周期绑定关系。

为什么编译器建议'static生命周期？ #

编译器给出这个建议是一种逻辑上的“兜底选项”：

• 'static是最长的合法生命周期，表示引用的数据会存活至整个程序运行期间，理论上不会出现悬垂引用问题。
• 但在这个场景下，这个建议完全不适用：函数内的Vec是局部变量，不可能拥有'static生命周期。编译器只是在找不到合适的输入生命周期绑定关系时，给出它认为最极端的合法生命周期选项，并非正确的解决方案。

正确修复方案 #

有两种常见的修复思路：

1. 传递引用而非所有权
   将fun_name的参数改为引用类型，让返回迭代器的生命周期绑定到输入引用的生命周期上：

fn expensive_sum(v: &Vec<i32>) -> i32 {
    fun_name(v)
        .filter(|&x| x % 2 == 0)
        .map(|&x| x*x)
        .sum()
}

fn fun_name(v: &Vec<i32>) -> std::slice::Iter<'_, i32> {
    v.iter()
}

此时编译器会自动推断匿名生命周期'_与输入参数v的生命周期一致，避免悬垂引用。

2. 返回拥有所有权的迭代器
   如果必须传递Vec的所有权，应返回持有元素所有权的迭代器，而非引用迭代器：

fn expensive_sum(v: Vec<i32>) -> i32 {
    fun_name(v)
        .filter(|&x| x % 2 == 0)
        .map(|x| x*x)
        .sum()
}

fn fun_name(v: Vec<i32>) -> impl Iterator<Item = i32> {
    v.into_iter()
}

into_iter()会消耗Vec并返回拥有元素所有权的迭代器，不存在引用生命周期问题。

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