Rust中impl Trait + 'lifetime语法的官方定义是什么

这是Rust中impl Trait语法搭配生命周期边界的标准写法，Rust官方参考手册中的明确定义如下：

• 出现在返回值位置的impl Trait（简称RPIT）表示函数返回一个实现了指定Trait的匿名具体类型，调用方不需要、也无法获知该类型的具体名称。
• 跟在+后的'lifetime是生命周期约束，作用是限定：这个匿名返回类型内部包含的所有引用，生命周期都不得短于标注的生命周期参数。

这个生命周期约束写法不是impl Trait专属：trait对象（dyn Trait + 'a）、泛型类型约束（T: Trait + 'a）中都可以使用相同的+ 'lifetime写法，语义完全一致——要求目标类型在满足Trait约束的同时，其内部持有的所有引用都满足对应的生命周期要求。

你看到的示例代码：

fn foo_expanded<'a>(x: &'a u8) -> impl Future<Output = u8> + 'a {
    async move { *x }
}

这里的+ 'a就是明确给返回的匿名Future类型加上生命周期边界，说明该Future内部捕获的引用生命周期为'a，匹配async块捕获参数引用的生命周期要求。

额外语法规则 #

impl Trait后可以跟多个+连接的约束，支持同时写多个Trait约束和最多一个生命周期约束，约束的先后顺序不影响语义，以下两种写法完全等价：

• impl Future<Output = u8> + Send + 'a
• impl 'a + Send + Future<Output = u8>

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