为何标注泛型生命周期'a的该Rust函数可成功编译？

第二个示例能编译通过，核心是两点：Rust的常量提升机制，以及生命周期的子类型规则，和你标注的泛型生命周期'a本身没有额外的魔法。

• 第一，&MyType::Two触发了常量提升。
  当你对一个编译期可完全确定、不依赖任何栈上运行时数据、不存在内部可变性的值取引用时，Rust不会把这个值当作函数栈上的临时变量，而是会直接把它提升到全局静态内存段，这个值在程序整个运行周期都有效，你拿到的引用天然就是'static生命周期的。
  第一个报错的版本里，你先通过let t = MyType::Two;显式声明了一个栈上局部变量，t的生命周期被严格限定在函数作用域内，函数返回时t就会被销毁，返回它的引用自然是悬垂引用，编译器直接报错。
• 第二，'static生命周期可以适配任意泛型生命周期要求。
  你写的fn example<'a>() -> &'a MyType这个签名里，'a是没有任何入参约束的泛型参数，它的具体生命周期由调用方决定。而Rust生命周期规则里，'static是最长的生命周期，是所有其他生命周期的子类型：也就是说，一个'static的引用，可以被用在任何要求更短生命周期的位置——不管调用方需要的'a对应多大的作用域长度，和程序存活时间一样久的'static引用永远能满足有效性要求。

你可以这么理解：如果一个东西能活100年，那任何要求它能活1年、1个月、1天的场景，它都能满足。

你显式写-> &'static MyType的版本，本质只是把编译器自动推导出来的返回值生命周期明确写出来而已，和不写'static、用泛型'a的版本实际生成的代码没有任何区别。

你可以用一个简单的例子验证这个逻辑：如果把枚举改成无法触发常量提升的形式，哪怕你直接对枚举变体取引用也会编译失败：

enum MyType {
    Two(String)
}

fn example<'a>() -> &'a MyType {
    return &MyType::Two(String::from("test")); 
    // 这里会报悬垂引用错误，因为String是运行时在堆上分配的，无法被常量提升到静态区
}

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