泛型類型的 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 顯示的，因為理論上你可以有一個類型參數來實現兩個具有相同關聯項的特征。