Rust使用try_for_each时报`(): Try`特征未满足错误如何解决

try_for_each 要求传入的闭包必须返回实现了Try trait的类型（常见的就是Result、Option这类支持?错误传播的类型）。你的代码有两个直接触发报错的问题：

• 闭包包含多行逻辑时没有用大括号包裹，属于语法错误
• 闭包最后没有显式返回合法的Try类型值：你在do_something_with_var(some_var)末尾加了分号，这会让它成为语句而非返回表达式，整个闭包默认返回单元值()，而()没有实现Try trait，就是编译器抛出的trait bound (): Try is not satisfied错误的直接来源。

修复后的代码如下，逻辑执行完成后显式返回Ok(())标记执行成功即可：

iter.try_for_each(|x| {
    let some_var = fallible_function(*x)?;
    do_something_with_var(some_var);
    Ok(())
})?;
// 注：如果当前调用的函数本身也返回Result，末尾加?可以把try_for_each产生的错误继续向上传播

不用被大段的报错文字吓住，按固定顺序读就能快速定位问题：

• 先抓错误头：所有编译错误都以error[错误码]开头，后面紧跟的一句话就是核心错误原因，比如本次的核心就是「某个位置需要实现Try的类型，实际拿到了()」
• 看代码定位标记：编译器会用箭头、高亮直接标出出错的具体代码行，甚至会精确到出错的表达式位置，顺着标记找对应的代码位置
• 优先读help/note段：常见的新手错误编译器都会直接给出可落地的修复建议，比如缺返回值、漏分号、类型不匹配这类问题，照着help的提示改基本都能直接解决
• 遇到trait bound报错直接反向推导：看到the trait bound X: Y is not satisfied时，先确定X是什么类型，再想为什么这个位置要求X实现Y trait。比如本次X是()，Y是Try，反过来找闭包/函数哪里返回了()但要求返回支持?传播的类型，很快就能定位到漏写Ok(())的问题
• 初期不用强求读懂报错里的所有术语，先抓上面三个核心部分，足够解决绝大多数入门阶段的问题，报错看多了自然能快速对应到问题场景。

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