generics - 我如何在 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());
}

这里的错误是“expected integral variable, found &Double”。

我在谷歌搜索时遇到了麻烦，因为到处都在谈论迭代器作为特征。我尝试做的事情是否可行？

Answer 1

界Iterator<Item = &'a Double>>说你想要一个迭代器，它产生完全类型为 &Double 的项目表示特征的特征对象 Double .但是你想要一个迭代器来产生任何实现特征 Double 的类型.这听起来非常相似，因此令人困惑，但这都是关于动态与静态调度的。您应该阅读有关 trait objects 的 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());
    }
}

但您也可以只绑定(bind)关联的迭代器类型(参见 Francis Gagné's answer ):

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

但是，这两个版本略有不同，因为一个版本接受对实现 Double 类型的引用的迭代器而另一个迭代实现 Double 的类型直接地。只需使用最适合你的东西，或者用 AsRef 这样的特征来概括这两个东西.