impl Trait

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

  1. // Syntactic sugar for:
  2. //   fn add_42_millions<T: Into<i32>>(x: T) -> i32 {
  3. fn add_42_millions(x: impl Into<i32>) -> i32 {
  4.     x.into() + 42_000_000
  5. }
  7. fn pair_of(x: u32) -> impl std::fmt::Debug {
  8.     (x + 1, x - 1)
  9. }
  11. fn main() {
  12.     let many = add_42_millions(42_i8);
  13.     println!("{many}");
  14.     let many_more = add_42_millions(10_000_000);
  15.     println!("{many_more}");
  16.     let debuggable = pair_of(27);
  17.     println!("debuggable: {debuggable:?}");
  18. }

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: () = ..，查看会显示什么错误消息。