Rust泛型类型需实现iter方法应使用何种trait约束？

Rust标准库没有提供统一要求类型实现iter()方法的内置trait，针对你的需求有两种常用实现方案：

方案1：使用Rust惯用迭代写法（最推荐） #

不需要显式调用iter()方法，for循环原生支持直接迭代类型的共享引用，只需添加高阶生命周期约束即可：

struct Node<T> {
    key: T
}

impl<T> Node<T>
where
    // 约束含义：任意生命周期下，T的共享引用都可以转换为迭代器，完全符合非消费迭代的要求
    for<'a> &'a T: IntoIterator
{
    fn do_stuff(&self) {
        // 直接迭代&self.key，和调用.iter()效果完全一致，不会消费原值
        for e in &self.key {
            /* 业务逻辑 */
        }
    }
}

该写法天然适配Vec、数组、切片等所有标准库集合类型，无需额外自定义逻辑。

注意：你示例中的String类型默认的共享引用迭代器迭代的是字节u8，如果你需要迭代String的字符，可以调整约束为T: AsRef<str>，在方法内调用self.key.as_ref().chars()即可。

方案2：显式绑定iter()方法 #

如果必须保留代码中self.key.iter()的写法，需要先自定义一个包含iter()方法的通用trait：

// 自定义带iter方法的通用trait
trait Iter {
    type Item<'a> where Self: 'a;
    type Iter<'a>: Iterator<Item = Self::Item<'a>> where Self: 'a;
    fn iter(&self) -> Self::Iter<'_>;
}

// 为所有支持共享引用迭代的类型自动实现该trait
impl<T> Iter for T
where
    T: ?Sized,
    for<'a> &'a T: IntoIterator,
{
    type Item<'a> = <&'a T as IntoIterator>::Item where T: 'a;
    type Iter<'a> = <&'a T as IntoIterator>::IntoIter where T: 'a;
    fn iter(&self) -> Self::Iter<'_> {
        self.into_iter()
    }
}

// 之后就可以直接用Iter作为约束
impl<T> Node<T> where T: Iter {
    fn do_stuff(&self) {
        for e in self.key.iter() {
            /* 业务逻辑 */
        }
    }
}

调整后你的示例代码可以直接正常编译运行。

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