编译器为何建议使用高阶生命周期？高阶生命周期是什么？

问题背景 #

先看这段无法编译的Rust代码：

// 无法编译的版本
fn foo<T, I>(input: T)
where
    T: IntoIterator<Item = I>,
    I: Deref<Target = &str>,
{
    for item in input {
        todo!()
    }
}

编译器会抛出错误：

error[E0637]: `&` without an explicit lifetime name cannot be used here
  --> src/main.rs:14:23
   |
14 |     I: Deref<Target = &str>,
   |                       ^ explicit lifetime name needed here
   |
help: consider introducing a higher-ranked lifetime here
   |
14 |     I: for<'a> Deref<Target = &'a str>,
   |   

你可能会尝试给字符串切片加一个泛型生命周期'a来修复，像这样：

// 可以编译的版本
fn foo<'a, T, I>(input: T)
where
    T: IntoIterator<Item = I>,
    I: Deref<Target = &'a str>,
{
    for item in input {
        todo!()
    }
}

但编译器给出的却是引入高阶生命周期的建议，下面来拆解相关问题：

什么是高阶生命周期？ #

高阶生命周期（Higher-Ranked Lifetime）是Rust中一种特殊的泛型约束，语法为for<'a>，核心含义是：对于任意的生命周期'a，当前的 trait 约束都成立。

和普通泛型生命周期的核心区别：

• 普通泛型生命周期（比如<'a>）是指定一个特定、固定的生命周期，要求类型满足针对该生命周期的约束；
• 高阶生命周期则要求类型能满足所有可能的生命周期的约束，不绑定到某个特定的生命周期上。

为什么编译器建议用高阶生命周期？ #

回到上面的例子：

• 用普通生命周期<'a>的修复方式，相当于强制要求I只能解引用到某个固定生命周期'a的&str。这会大幅限制函数的适用场景——比如传入Vec<&String>时，每个&String解引用出的&str生命周期和自身引用一致，而非某个统一的'a，此时你的函数就无法接受这类输入。
• 而用高阶生命周期for<'a> Deref<Target = &'a str>，则表示I可以解引用成任意生命周期的&str，不管I的生命周期是什么，只要它能Deref出对应生命周期的字符串切片就行。这样函数就能兼容更多类型，比如&[String]、Vec<&'static str>、Vec<&String>等，不会被固定的生命周期限制死。

编译器推荐它，是因为它能让泛型函数拥有更广泛的适用性，符合泛型代码“尽可能通用”的设计原则。

是否需要了解高阶生命周期？ #

• 如果只是写日常业务代码，可能不会频繁遇到它，但当你编写泛型工具函数、处理涉及引用的trait约束时，大概率会碰到类似的编译错误，这时候需要能看懂编译器的提示，理解这种语法的作用。
• 高阶生命周期是Rust类型系统处理泛型引用的重要机制，标准库中的很多trait（比如Fn(&T)这类闭包trait）其实都隐含了高阶生命周期的约束。深入理解它能帮你写出更灵活、更通用的泛型代码。

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