如何在Rust中編寫一個函數，該函數接受Item滿足特征的任何迭代器？

Question

這是我想要達到的目標的人為示例：

trait Double {
    fn get(&self) -> i32;
}

impl Double for i32 {
    fn get(&self) -> i32 { self * 2 }
}

fn foo<'a, I: Iterator<Item = &'a Double>>(is: I) {
    for i in is {
        println!("{}", i.get());
    }
}

fn main() {
    let is = vec![1, 2, 3, 4];
    foo(is.into_iter());
}

錯誤在這里顯示為“期望的積分變量，找到&Double ”。

我到處都在尋找麻煩，因為到處都在談論迭代器是特質。 我要做什么甚至有可能嗎？

Answer 1

是的，有可能。 您需要使用where子句來指定關聯類型I::Item的綁定。

fn foo<I>(is: I)
    where I: Iterator,
          I::Item: Double,
{
    for i in is {
        println!("{}", i.get());
    }
}

（我還將I: Iterator綁定到where子句，以使所有邊界保持在一起。）

Answer 2

綁定的Iterator<Item = &'a Double>>表示您想要一個迭代器，該迭代器產生的類型&Double完全相同，該類型表示特性Double的特性對象。 但是，您需要一個迭代器，該迭代器可以產生實現特征Double任何類型。 這聽起來很相似，因此令人困惑，但這全是關於動態與靜態分派。 您應該閱讀有關特質對象的Rust書一章，以了解到底發生了什么。

但快速總結：寫作之間有區別

fn foo<T: MyTrait>(t: &T) {}

和

fn foo(t: &MyTrait) {}

您編寫了與后者等效的代碼，但實際上要使用前者。

---

那么，您如何用代碼表達您的意圖？ 一種可能是引入另一種類型參數！

fn foo<'a, T, I>(is: I) 
    where T: Double,
          I: Iterator<Item = &'a T>,
{
    for i in is {
        println!("{}", i.get());
    }
}

但是您也可以綁定迭代器的關聯類型（請參見FrancisGagné的答案 ）：

fn foo<I>(is: I) 
    where I: Iterator,
          I::Item: Double,
{ ... }

但是，這兩個版本略有不同，因為一個版本接受對實現Double類型的引用的迭代器，而另一個版本對直接實現Double類型的迭代進行迭代。 只需使用最適合您的方法或使用AsRef特征概括這兩件事。