Rust中trait约束/where子句与impl Trait返回类型的区别

首先明确三个写法的本质分类：

• largest_bound和largest_where属于泛型参数约束写法，两种只是语法形式不同，语义完全等价
• largest_impl返回值用的是返回位置impl Trait语法，和前两种语义有本质区别

泛型约束的语义 #

泛型参数T的约束（不管是直接写在参数后的trait bound，还是单独的where子句），作用是限定调用方可传入的类型范围，实际类型由调用方决定，且调用方完全知晓传入的具体类型：

// 泛型声明，T的实际类型由调用方传入的参数决定
fn largest_bound<T: PartialOrd + Copy>(list: &[T]) -> T

当你调用largest_bound(&i)时，T会被直接实例化为i32，返回值类型就是i32，编译器明确知道i32实现了Display，因此可以直接用println!("{}", ...)格式化，不需要在函数的泛型约束中额外声明Display。

返回位置impl Trait的语义 #

返回位置的impl Trait是存在性类型声明，核心规则是：仅对外暴露你显式写在返回签名中的trait能力，其余所有类型信息对调用方完全隐藏。
你最初的写法：

fn largest_impl(list: &[(impl PartialOrd + Copy)]) -> impl PartialOrd + Copy

相当于对外承诺：这个函数会返回一个实现了PartialOrd和Copy的类型，但除此之外不会对外暴露任何其他信息。就算实际返回的是i32/f64/char这类实现了Display的类型，调用方也没有权限使用Display的能力，因此println!调用Display的逻辑会直接报错。
当你把返回签名改成impl PartialOrd + Copy + Display后，相当于把Display能力也公开给了调用方，编译器才允许你使用格式化功能。

补充：参数位置的impl Trait和泛型参数约束语义完全等价，你的示例中参数部分的impl PartialOrd + Copy和写泛型T没有任何区别，问题完全来自返回位置的impl Trait的信息隐藏规则。

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