为什么即使它实现了 IntoIterator，对于泛型类型的引用，我也会收到错误“特征 `Iterator` 未实现”？答案

【问题标题】：Why do I get the error "the trait `Iterator` is not implemented" for a reference to a generic type even though it implements IntoIterator?为什么即使它实现了 IntoIterator，对于泛型类型的引用，我也会收到错误“特征 `Iterator` 未实现”？
【发布时间】：2021-06-29 07:37:36
【问题描述】：

在以下示例中，MyTrait 扩展了 IntoIterator，但在循环中使用时编译器无法识别它。

pub trait MyTrait: IntoIterator<Item = i32> {
    fn foo(&self);
}

pub fn run<M: MyTrait>(my: &M) {
    for a in my {
        println!("{}", a);
    }
}

我得到错误：

error[E0277]: `&M` is not an iterator
 --> src/lib.rs:6:14
  |
6 |     for a in my {
  |              ^^ `&M` is not an iterator
  |
  = help: the trait `Iterator` is not implemented for `&M`
  = note: required because of the requirements on the impl of `IntoIterator` for `&M`
  = note: required by `into_iter`

【问题讨论】：

仔细阅读错误信息：O 是可迭代的，但&O 不是。
我认为这是问题所在，但事实并非如此，我将 &V 替换为 &Vec 并且它有效
那是因为&Vec 实现了IntoIterator...
这不仅仅是语法的怪癖：IntoIterator::into_iter() 接受self，即需要消耗它被调用的值。如果您只有一个对象的引用，那么它实现IntoIterator 的事实是没有用的，因为您不能使用引用来使用该对象。 &Vec 提供了 IntoIterator 的单独实现，它简单地调用 self.iter() 并返回一个迭代器，该迭代器产生对向量元素的引用。
所以我不确定如何解决它，我是否需要为&OtherTrait 实现IntoIterator？

标签： rust traits

【解决方案1】：

只有M 实现了IntoIterator，但您尝试迭代&M，这不是必须的。

尚不清楚您希望使用run 实现什么，但删除引用可能是一个开始：

pub fn run<M: MyTrait>(my: M) {
    for a in my {
        println!("{}", a);
    }
}

注意M它自己 可能是（或包含）一个引用，所以以这种方式编写它并不意味着您不能将它用于借来的数据。这是使用run 迭代&Vec (playground) 的一种方法：

impl<I> MyTrait for I
where
    I: IntoIterator<Item = i32>,
{
    fn foo(&self) {}
}

fn main() {
    let v = vec![10, 12, 20];
    run(v.iter().copied());
}

这使用.copied() 将Iterator<Item = &i32> 转换为Iterator<Item = i32>。

相关问题