如何编写可兼容任意字符串可迭代类型输入的Rust函数？

直接使用AsRef<str>作为迭代器元素的泛型约束即可，无需自定义 trait，写法简洁且覆盖所有字符串类迭代场景：

fn example<T: AsRef<str>>(iter: impl IntoIterator<Item = T>) {
    // 内部使用时统一调用 as_ref() 转为 &str 即可
    for s in iter {
        let s = s.as_ref();
        // 此处编写处理字符串的逻辑
        println!("处理字符串: {}", s);
    }
}

// 调用示例
fn main() {
    // 兼容 &str 数组
    example(["hello", "world"]);
    // 兼容 String 所有权迭代器
    example(vec!["foo".to_string(), "bar".to_string()]);
    // 兼容 &String 引用迭代器
    let v = vec!["rust".to_string(), "lang".to_string()];
    example(v.iter());
}

兼容场景验证 #

该实现可以无修改适配以下所有输入：

• &str 类型迭代器：例如字符串切片组成的 Vec 调用 iter() 得到的迭代器，或者直接传入字符串字面量数组
• &String 类型迭代器：例如存储 String 元素的 Vec 调用 iter() 得到的迭代器
• String 类型迭代器：例如存储 String 元素的 Vec 直接传入，或调用 into_iter() 得到的所有权迭代器

方案优势 #

相比基于Deref<str>的约束方案，该实现有以下改进：

• 无需手动标注生命周期、无需?Sized特殊声明，语法更简洁
• 同时兼容所有权类型、引用类型的迭代项，覆盖场景更全面
• 依赖标准库自带的AsRef<str>实现，无需额外编写自定义 trait

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