Rust中impl Display返回类型编译报错及类型推断疑问

问题1：编译器明明能推断s2是String类型，为何调用push_str会报错？ #

虽然编译器在函数内部知道返回的具体类型是String，但当你用impl Display作为返回类型时，对外只暴露了Display trait的接口，s2的静态类型被视为“某个实现了Display的类型”，而非具体的String。静态编译阶段，Rust只会允许调用该trait定义的方法（比如fmt），push_str是String独有的方法，不在Display的方法集中，因此编译器会报错。

问题2：使用impl Display作为返回类型是否会导致编译时返回类型歧义？ #

不会。impl Trait作为返回类型的核心要求是：函数内部必须返回单一、确定的具体类型。只要函数里所有分支返回的是同一种类型（比如这个例子里始终返回泛型参数T的实例），编译器就能确定唯一的返回类型，不会产生歧义。只有当函数尝试返回多种不同类型（比如有时返回String，有时返回i32）时，编译器才会报错，因为impl Trait无法同时代表多种类型。

问题3：是否即便编译器可推断返回类型，仍需显式指定？ #

这不是“显式指定”的问题，而是impl Trait的语义决定的。impl Display的作用是隐藏具体返回类型，只对外暴露Display trait的能力——哪怕编译器能推断出具体类型，也不会把这个信息暴露给调用者。而改用T作为返回类型时，是利用泛型的“类型传递”特性，告诉编译器返回的类型和输入参数T完全一致，调用者自然能获取到具体类型的所有方法。所以关键是返回类型声明的语义，而非是否需要显式指定。

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