impl Trait

与特征边界类似，impl Trait 语法可以在函数形参 和返回值中使用：

// Syntactic sugar for:
//   fn add_42_millions<T: Into<i32>>(x: T) -> i32 {
fn add_42_millions(x: impl Into<i32>) -> i32 {
    x.into() + 42_000_000
}

fn pair_of(x: u32) -> impl std::fmt::Debug {
    (x + 1, x - 1)
}

fn main() {
    let many = add_42_millions(42_i8);
    println!("{many}");
    let many_more = add_42_millions(10_000_000);
    println!("{many_more}");
    let debuggable = pair_of(27);
    println!("debuggable: {debuggable:?}");
}
This slide should take about 5 minutes.

impl Trait allows you to work with types which you cannot name. The meaning of impl Trait is a bit different in the different positions.

  • 对形参来说，impl Trait 就像是具有特征边界的匿名泛型形参。

  • 对返回值类型来说，它则意味着返回值类型就是实现该特征的某具体类型， 无需为该类型命名。如果您不想在公共 API 中公开该具体类型，便可 使用此方法。

    在返回位置处进行推断有一定难度。会返回 impl Foo 的函数会挑选 自身返回的具体类型，而不必在来源中写出此信息。会返回 泛型类型（例如 collect<B>() -> B）的函数则可返回符合 B 的任何类型，而调用方可能需要选择一个类型，例如使用 let x: Vec<_> = foo.collect() 或使用以下 Turbofish：foo.collect::<Vec<_>>()。

debuggable 是什么类型？尝试输入 let debuggable: () = ..，查看会显示什么错误消息。