如何借助泛型重新暴露IntoIterator实现？

你遇到的错误是因为编译器无法确定VecDeque<T>::IntoIter对应的具体trait关联类型，需要使用完全限定语法明确指定其来自IntoIterator trait。

正确实现代码 #

use std::collections::VecDeque;

struct SlidingQueue<T> {
    data: VecDeque<T>,
    max_capacity: usize,
}

impl<T> IntoIterator for SlidingQueue<T> {
    type Item = T;
    // 用完全限定语法明确关联类型所属的trait
    type IntoIter = <VecDeque<T> as IntoIterator>::IntoIter;

    fn into_iter(self) -> Self::IntoIter {
        self.data.into_iter()
    }
}

错误原因解析 #

VecDeque<T>的IntoIter是IntoIterator trait定义的关联类型，当直接写VecDeque<T>::IntoIter时，编译器无法确定你引用的是哪个trait的关联类型（尽管这里只有一个合理的选项，但Rust的类型系统要求明确性）。通过<VecDeque<T> as IntoIterator>::IntoIter的形式，我们明确告诉编译器：这个IntoIter是VecDeque<T>实现IntoIterator trait时定义的关联类型，从而消除歧义。

内容的提问来源于stack exchange，提问作者capveg