在Rust中，泛型作为参数传入时为何需指定'static生命周期？

问题重现 #

以下代码编译时会触发生命周期错误：

struct TestStruct<F> {
    param: F,
}
trait TestTrait {}
impl<F> TestTrait for TestStruct<F> {}

fn t<F>(input: F) -> Box<dyn TestTrait> {
    Box::new(TestStruct { param: input })  // 此处报错
}

对应的错误信息：

error[E0310]: the parameter type `F` may not live long enough
  --> src/main.rs:22:5
   |
22 |     Box::new(TestStruct { param: input }) //
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |     |
   |     the parameter type `F` must be valid for the static lifetime...
   |     ...so that the type `F` will meet its required lifetime bounds
   |
help: consider adding an explicit lifetime bound
   |
21 | fn t<F: 'static>(input: F) -> Box<dyn TestTrait> {
   |       +++++++++

而在impl块中返回Box<dyn TestTrait + '_>则可以正常编译：

struct TestStruct<F> {
    param: F,
}
trait TestTrait {}
impl<F> TestTrait for TestStruct<F> {}

impl<F> TestStruct<F> {
    fn t(&self, input: F) -> Box<dyn TestTrait + '_> {
        Box::new(TestStruct { param: input })
    }
}

为什么需要指定'static生命周期？ #

核心原因在于：未标注生命周期的Box<dyn Trait>默认隐含'static约束。

也就是说，编译器认为你返回的这个trait对象必须能存活到整个程序运行结束。但泛型参数F可能包含非静态的引用（比如&'a str），如果F持有这类引用，那TestStruct<F>内部就会包含一个有生命周期限制的引用，无法满足'static的要求。

编译器要求添加F: 'static约束，是为了确保F本身不包含任何非静态引用——要么是完全拥有的类型（比如i32、自定义无引用结构体），要么是持有'static引用的类型，这样TestStruct<F>才能满足Box<dyn TestTrait>隐含的'static生命周期要求。

你提到非泛型场景（比如直接传具体结构体或Box<dyn Trait>）没问题，是因为这些场景下的类型本身就满足'static：比如无引用的结构体天然是'static，未标注生命周期的Box<dyn Trait>默认也是'static，所以编译器不会报错。

'_是否等同于在impl上添加'static约束？ #

完全不是一回事，两者是完全不同的生命周期约束：

关于'_的作用 #

'_是生命周期占位符，编译器会自动推导它的具体生命周期。在这个impl的例子里，它会被推导为和函数的输入参数&self的生命周期一致。

也就是说，返回的Box<dyn TestTrait + '_>的生命周期被限制在&self的存活范围内，不需要满足'static。这时候F可以包含非静态引用，只要这些引用的生命周期不短于&self的生命周期即可。

关于impl<F: 'static>的作用 #

如果在impl上添加F: 'static，是要求泛型参数F本身必须满足'static约束，不管函数的输入生命周期是什么。这是一个全局的、更严格的约束，会限制F只能是无引用或持有'static引用的类型，和'_的局部生命周期绑定完全不同。

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