Rust中模板化返回impl Iterator<Item = String>的函数报错如何解决？

你遇到的错误核心原因是：todo!()宏在编译类型检查时会被视为返回()，而()并未实现Iterator<Item = String> trait，不符合函数的返回类型约束。

解决方法 #

1. 用空迭代器占位

如果只是需要一个符合类型要求的占位实现，可以返回空迭代器：

struct A;
impl A {
    fn x(&self) -> impl Iterator<Item = String> {
        std::iter::empty()
    }
}

2. 返回实际迭代器（示例）

如果要编写业务逻辑，比如返回包含字符串的迭代器，可参考以下写法：

struct A;
impl A {
    fn x(&self) -> impl Iterator<Item = String> {
        vec!["字符串1".to_string(), "字符串2".to_string()].into_iter()
    }
}

补充说明 #

todo!()的作用是标记未完成代码，运行时会触发panic，它的返回类型是发散类型!，但编译阶段做类型检查时，编译器会将其视为()。由于()不满足Iterator trait的约束，因此抛出E0277错误。只要返回任何实现了Iterator<Item = String>的类型，就能解决这个问题。

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