泛型类型的 Rust 约束项

Question

在查看flatten的文档时。

pub struct Flatten<I> 
where
    I: Iterator,
    <I as Iterator>::Item: IntoIterator, 

我想知道为什么需要这样做——最后一行。 以下还不够吗？

I::Item: IntoIterator,

毕竟I被限制为Iterator就行了。

Answer 1

事实上，这不是必需的，实际代码完全使用另一种形式（不稳定的Trait<Assoc: Trait>语法，类似于相等语法Trait<Assoc = Type> ）。 这只是 rustdoc 显示的，因为理论上你可以有一个类型参数来实现两个具有相同关联项的特征。