对Rust中trait bounds的'static生命周期含义及代码问题的困惑

先理清几个关键概念，帮你拆解困惑：

1. trait MyTrait: 'static约束的真正含义 #

这个约束不是要求实现该trait的实例必须存活到程序终止，而是要求：

• 实现该trait的类型本身不能包含任何生命周期短于'static的引用。简单说，类型要么是完全拥有所有权的（比如你的HoldsVec里的Vec<i32>），要么只包含'static引用（比如&'static str）。

你的HoldsVec类型满足这个约束，因为它的字段是Vec<i32>——Vec是拥有所有权的容器，没有引用，所以不管HoldsVec的实例是在栈上还是堆上创建，类型本身符合'static的要求，因此可以实现MyTrait。

2. 移除: 'static后put_in_box编译失败的原因 #

当你写Box<dyn MyTrait>时，Rust会默认给这个trait object赋予'static生命周期（这是trait object的默认生命周期规则）。如果MyTrait没有: 'static约束：

• 实现MyTrait的类型可能包含非'static的引用（比如一个包含&i32的结构体），这时候把它放进默认'static的trait object里，就会出现生命周期不匹配——类型里的引用可能提前失效，而trait object却被要求存活到程序终止。

要解决这个问题有两种方式：

• 保持MyTrait: 'static约束（即你原代码的写法），确保所有实现类型都满足'static，和trait object的默认生命周期匹配；
• 显式指定trait object的生命周期，调整函数：

pub fn put_in_box<'a, T>(value: T) -> Box<dyn MyTrait + 'a> 
where T: MyTrait + 'a {
    Box::new(value)
}

3. 为什么check_lifetimes3无法编译 #

这里混淆了类型的'static属性和引用的'static生命周期：

• HoldsVec类型满足'static，只是说它的实例可以被允许存活到程序终止（比如作为全局变量），但这不代表你可以把栈上实例的引用强制转为&'static。
• &'static HoldsVec要求引用指向的实例必须从创建到程序结束都存在，而holds_vec是测试函数栈上的局部变量，函数执行完就会被销毁，它的引用生命周期只能局限在函数内部，无法扩展到'static。类型的'static属性不改变实例本身的生命周期范围。

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