为什么我可以从 Vec 而不是数组创建盒装迭代器？ [复制]

Question

下面的代码可以编译，但如果传递给函数“f”的“args”从 Vec 更改为字符串数组，则不会。我试图理解为什么。我认为这与所有权规则有关，但我可以澄清一下。谢谢。

fn f(args: Box<dyn Iterator<Item=String>>) {
    for arg in args {
        println!("{}", arg)
    }
}


fn main() {
    let args = vec!["one_arg".to_string()]; // If changed to array, I get error below
    f(Box::new(args.into_iter()));
}

如果 vec!["one_arg".to_string()];改成：["one_arg".to_string()];，结果就是下面的错误。

error[E0271]: type mismatch resolving `<std::slice::Iter<'_, std::string::String> as std::iter::Iterator>::Item == std::string::String`
  --> src/main.rs:10:7
   |
10 |     f(Box::new(args.into_iter()));
   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `std::string::String`, found reference
   |
   = note: expected struct `std::string::String`
           found reference `&std::string::String`
   = note: required for the cast to the object type `dyn std::iter::Iterator<Item = std::string::String>`

Answer 1

原因是因为Vec::into_iter 在其项目上返回一个迭代器，而slice::into_iter 在对其项目的引用上返回一个迭代器。因此，args.into_iter() 是 Iterator<Item=&String> 而不是 Iterator<Item=String> 当 args 是一个切片时。附带说明一下，不要 Box 和 dyn Iterator 而是使用泛型：

fn f<I: Iterator<Item=String>>(args: I) {
    for arg in args {
        println!("{}", arg)
    }
}


fn main() {
    let args = vec!["one_arg".to_string()];
    f(args.into_iter());
}