使用trait时为何参数类型T需满足'static约束？

首先看代码报错的核心：dyn Trait<T>作为trait对象，Rust对它的生命周期有隐式规则——默认情况下，编译器会假设这个trait对象需要满足'static生命周期（也就是它包含的所有引用都必须存活到程序结束）。但你的set函数里没有对T做任何生命周期约束，T可能包含非'static的引用，这就导致新创建的Struct<T>被包装成Box<dyn Trait<T>>时，编译器无法保证这个trait对象的生命周期安全，所以抛出E0310错误。

为什么两种修改能解决问题？ #

• 改成Option<Box<Struct<T>>>：这时候用的是具体类型而非trait对象，编译器不需要处理trait对象的隐式生命周期约束，它可以直接推导Struct<T>的生命周期和传入的s一致，自然没问题。
• 添加T: 'static约束：当T被限定为'static时，意味着T本身不包含任何非静态引用，那么dyn Trait<T>也自然满足默认的'static生命周期要求，编译器就不会再质疑生命周期问题。

其他实现方式：显式绑定生命周期 #

如果不想给T加'static约束，也可以通过显式指定结构体和trait对象的生命周期，让它们和函数参数的生命周期绑定，这样就能在保留trait对象的同时避免'static限制：

trait Trait<T> {}
struct Struct<'a, T> {
    option: Option<Box<dyn Trait<T> + 'a>>, // 显式指定trait对象的生命周期为'a
}
impl<T> Trait<T> for Struct<'_, T> {} // 生命周期参数用'_忽略，因为这里不关心具体生命周期

fn set<'a, T>(s: &'a mut Struct<'a, T>) {
    s.option = Some(Box::new(Struct { option: None }))
}

这里我们给Struct添加了生命周期参数'a，并让trait对象的生命周期和'a绑定，同时set函数的参数s的生命周期也和'a关联，这样编译器就能确认新创建的Struct<'a, T>里的trait对象生命周期和传入的s一致，满足安全要求。

内容的提问来源于stack exchange，提问作者Fabian S.