为何Rust中要求T:'static的泛型函数可接收非静态变量？

首先纠正你对T: 'static约束的理解误区：T: 'static不是要求变量是静态变量，而是要求类型T本身不包含任何非'static生命周期的引用。

核心逻辑拆解 #

当泛型约束写T: 'static时，它的真实规则是：

• 如果T是引用类型（比如&U），那么这个引用必须是&'static U（即引用的对象能存活到程序结束）；
• 如果T是拥有所有权的值类型（比如i32、String，或者不含非静态引用的结构体），那么它天然满足T: 'static——因为这类类型里根本没有引用，不存在生命周期失效的问题。

回到你的代码：

• 局部变量x的类型是i32，这是完全拥有所有权的值类型，没有任何引用，因此i32符合T: 'static约束；
• 调用g(x)时，泛型参数T被推导为i32，完全匹配g的约束，所以编译通过。

复杂场景为什么需要T: 'static？ #

在一些场景中（比如把T存储到全局变量、或生命周期与程序一致的结构体中），编译器需要确保T不会包含任何会提前失效的引用——如果T里有指向局部变量的引用，当局部变量销毁后，这个引用会变成悬垂引用，触发内存安全问题。这时编译器会要求你加上T: 'static约束，保证T的所有引用都能存活到程序结束。

但这并不意味着只有静态变量才能满足约束，只要类型本身不含非'static引用，哪怕是局部变量的实例，也可以符合T: 'static。

反例：不满足T: 'static的情况 #

如果T是一个非'static的引用，就会编译失败：

use std::fmt::Display;

fn g<T: 'static + Display>(t: T) {
    println!("{}", t);
}

fn t() {
    let x: i32 = 12;
    let y = &x; // y的类型是&i32，生命周期和x一致，不是'static
    g(y); // 编译错误：`&i32`不满足`T: 'static`约束
}

fn main() {
    t();
}

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