如何编写仅接受持有Ord实现类型的Iterator的Rust函数？

你的编译错误根源在于错误地将类型参数U当作泛型类型构造器使用——U是代表迭代器整体类型的参数（比如Vec<T>::IntoIter），并非可以接收类型参数的模板，因此U<T>的写法不符合Rust的语法规则。

要实现“仅接受持有T类型元素（T已在impl块约束为Ord）的迭代器”，可以通过两种方式修正：

方法一：显式约束迭代器的关联类型 #

在函数的where子句中，通过Iterator trait的关联类型Item指定迭代器的元素类型为T：

impl<T> SortedVec<T> 
    where
        T: Ord,
{
    fn my_fn<U>(&self, foo: U)
        where
            U: Iterator<Item = T>,
    {
        // 此处可安全使用迭代器元素的Ord方法，因为T已满足Ord约束
        for item in foo {
            let _ = item.cmp(&self.0[0]); // 示例：使用Ord的cmp方法
        }
    }
}

方法二：使用impl Trait简化签名 #

如果不需要显式指定迭代器的具体类型，直接用impl Iterator<Item = T>作为参数类型，省去类型参数U的声明：

impl<T> SortedVec<T> 
    where
        T: Ord,
{
    fn my_fn(&self, foo: impl Iterator<Item = T>) {
        for item in foo {
            // 同样可直接使用Ord相关方法
        }
    }
}

两种方式都能确保传入的迭代器元素类型为T，而由于impl块已经约束了T: Ord，后续代码中使用元素的Ord方法（如cmp、min、max等）不会出现编译错误。

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