如何在Result类型集合中查找元素索引，遇Err即终止？

你需要的是一个带错误处理的position方法——遍历Result集合时，遇到Err就立即终止并返回该错误，找到符合条件的Ok值就返回其索引，遍历完没找到则返回Ok(None)。以下是几种标准库原生的实现方式：

方法一：手动实现try_position泛型函数 #

这是最直观且不依赖第三方库的方案，通过enumerate遍历并逐个处理元素：

// 泛型函数，适配任意Result类型的集合
fn try_position<T, E: Clone>(
    items: &[Result<T, E>],
    predicate: impl Fn(&T) -> bool,
) -> Result<Option<usize>, E> {
    for (idx, item) in items.iter().enumerate() {
        match item {
            Ok(val) => {
                if predicate(val) {
                    return Ok(Some(idx));
                }
            }
            Err(e) => {
                // 遇到错误直接终止遍历，返回错误副本
                return Err(e.clone());
            }
        }
    }
    // 遍历结束未找到匹配项
    Ok(None)
}

// 使用示例
fn main() -> Result<(), u32> {
    let items: &[Result<&str, u32>] = &[Ok("foo"), Err(444), Ok("bar")];
    
    let bar_idx = try_position(items, |&s| s == "bar")?;
    
    match bar_idx {
        Some(idx) => println!("Found 'bar' at index: {}", idx),
        None => println!("'bar' not found in the collection"),
    }
    
    Ok(())
}

说明 #

• 返回值Result<Option<usize>, E>包含三种情况：
  • 找到匹配项 → Ok(Some(索引))
  • 遍历中遇到错误 → Err(错误值)
  • 全程无错误但无匹配 → Ok(None)
• 如果错误类型E实现了Copy trait，可以把e.clone()替换为*e，避免克隆开销。

方法二：用fold链式实现（无额外函数） #

如果不想单独定义函数，也可以用enumerate+fold组合实现相同逻辑：

fn main() -> Result<(), u32> {
    let items: &[Result<&str, u32>] = &[Ok("foo"), Err(444), Ok("bar")];
    
    let bar_idx = items.iter()
        .enumerate()
        .fold(Ok(None), |acc, (idx, item)| {
            acc.and_then(|found| {
                // 若已找到匹配项，直接传递结果
                if found.is_some() {
                    Ok(found)
                } else {
                    // 处理当前元素：Err则返回错误，Ok则判断是否匹配
                    item.as_ref().map(|s| if s == "bar" { Some(idx) } else { None })
                }
            })
        })?;
    
    println!("Bar index: {:?}", bar_idx);
    Ok(())
}

为什么你的初次尝试失败？ #

Iterator::position的闭包要求返回bool，但你在闭包里用?运算符尝试返回Result，类型不匹配导致编译错误。position是为无错误遍历场景设计的，没有内置错误处理逻辑，这正是你需要try_position这类方法的核心原因。

你提出的在Rust标准库中添加try_position的建议很合理，未来官方可能会纳入该方法，当前可以用上述方案满足需求。

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