如何为关联类型定义trait bounds？简化Rust的Block trait代码

1. 如何为关联类型定义trait bounds？ #

为关联类型添加trait bounds主要有两种常用方式：

• 在关联类型声明时直接绑定：
  直接在关联类型的冒号后追加需要的trait约束，适用于所有实现该trait的类型都必须满足的固定约束：

  trait MyTrait {
      type Item: Clone + std::fmt::Debug;
      fn retrieve(&self) -> Self::Item;
  }
  

• 通过where子句灵活绑定：
  如果需要更灵活的约束（比如约束和trait的其他泛型参数关联），可以在trait或impl块的where子句中声明：

  trait MyTrait {
      type Item: Iterator;
  
      fn iterate(&self) -> Self::Item;
  
      where
          <Self::Item as Iterator>::Item: Clone;
  }
  

  也可以在实现trait时针对具体类型补充约束：

  struct MyCollection;
  
  impl MyTrait for MyCollection {
      type Item = std::vec::IntoIter<String>;
      fn iterate(&self) -> Self::Item {
          vec!["a".to_string()].into_iter()
      }
  }
  

2. 移除关联类型I，仅保留T的优雅重写方式 #

你期望的type T: Iterator<Item: Block>语法在Rust中是不合法的，因为无法直接在关联类型的约束里嵌套关联类型的trait绑定。可以通过where子句约束迭代器的Item类型来实现需求，无需保留单独的I关联类型：

写法一：将约束放在trait的where子句中 #

pub trait Block {
    type T: Iterator;

    fn child() -> Self::T;

    where
        <Self::T as Iterator>::Item: Block;
}

写法二：将约束直接绑定在关联类型上 #

pub trait Block {
    type T: Iterator
    where
        <Self::T as Iterator>::Item: Block;

    fn child() -> Self::T;
}

这两种写法都能达到原代码的效果：保证child方法返回的迭代器，其元素类型实现了Block trait，同时移除了冗余的I关联类型。

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