Rust中泛型场景为何有时无需手动标注生命周期？

首先这是Rust生命周期语法规则的硬性要求，和字段最终的实际类型无关，差异来自两个结构体的定义阶段的语法检查逻辑：

第二段非泛型代码编译失败的原因 #

Rust有明确的语法规则：如果结构体定义中直接包含引用类型的字段，必须显式为所有引用标注生命周期，编译器不会在结构体定义阶段自动补全生命周期标注。
你第二段代码的Point结构体定义里直接使用了无生命周期标注的&str引用类型，在结构体定义阶段就会触发语法错误，根本不会执行到后续main函数里的类型推断步骤。
如果要让这段代码正常编译，需要补充生命周期标注：

// 显式标注生命周期，说明两个字段的引用都和结构体本身的生命周期'a一致
struct Point<'a> {
    x: &'a str,
    y: &'a str,
}
fn main() {
    let intro = Point{ x: "Hello", y: "World" };    
}

第一段泛型代码编译成功的原因 #

泛型结构体的定义阶段使用的是泛型参数T做类型占位，没有直接声明引用类型，所以不需要在结构体定义阶段提前标注生命周期，生命周期检查会延后到泛型实例化的阶段。
当你在main函数中传入字符串字面量初始化Point时，泛型参数T会被编译器自动推断为&'static str，字符串字面量自带的'static生命周期符合类型要求，所以整个过程可以正常编译通过。
你也可以理解为：生命周期是引用类型的一部分，泛型场景下生命周期跟随具体的T类型走，不需要单独在泛型结构体定义阶段额外标注。 #

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