如何对Result类型的迭代器计算最大值并返回对应结果？

我有一段Rust代码的最简示例：

struct Error;

fn answer() -> Result<Option<i64>, Error> {
    (0..100_i64)
        .map(|i| -> Result<Option<i64>, Error> {
            let candidate = i * 7;
            if candidate <= 42 {
                Ok(Some(candidate))
            } else if candidate == 666 {
                Err(Error)
            } else {
                Ok(None)
            }
        })
        .max()
}

我的需求是：找出所有有效i64值的最大值——如果所有Option都没有值，返回Ok(None)；如果迭代过程中遇到任意Err(Error)，立即返回Err(Error)。

现在这段代码无法编译，因为不能直接对Result类型的迭代器调用max()方法。我已经用普通for循环实现了功能，但写法不够优雅：

fn answer() -> Result<Option<i64>, Error> {
    let items = (0..100_i64)
        .map(|i| -> Result<Option<i64>, Error> {
            let candidate = i * 7;
            if candidate <= 42 {
                Ok(Some(candidate))
            } else if candidate == 666 {
                Err(Error)
            } else {
                Ok(None)
            }
        });
    let mut max = None;
    for item in items {
        match item {
            Ok(candidate) => {
                // 刚好None < Some(_)，可以直接用max
                max = std::cmp::max(max, candidate);
            }
            Err(Error) => {
                return Err(Error);
            }
        }
    }
    Ok(max)
}

请问能不能用链式语法和?操作符来实现这个需求？

当然可以，利用Rust迭代器的try_fold方法就能实现链式风格的写法，它可以在迭代过程中处理错误，同时累积结果：

struct Error;

fn answer() -> Result<Option<i64>, Error> {
    (0..100_i64)
        .map(|i| -> Result<Option<i64>, Error> {
            let candidate = i * 7;
            if candidate <= 42 {
                Ok(Some(candidate))
            } else if candidate == 666 {
                Err(Error)
            } else {
                Ok(None)
            }
        })
        .try_fold(None, |acc, item| {
            let candidate = item?;
            Ok(std::cmp::max(acc, candidate))
        })
}

说明： #

• try_fold是专门为带错误的迭代器设计的方法，它接受初始累积值和闭包。如果闭包中途返回Err，迭代会立即终止并传播这个错误，满足“遇到Err就立即返回”的要求。
• 闭包里用item?提取Result中的值——一旦碰到Err(Error)，就直接向上传递错误。
• 借助std::cmp::max和None天然小于任何Some(_)的特性，自动忽略无值的None，只保留最大的有效数值，最后返回累积的结果。

这种写法既保持了链式风格的简洁，又完美实现需求，不需要手动编写for循环。

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