Rust如何在循环的条件分支中初始化值供后续其他分支使用？

方案1：使用Option<T>包装变量（最通用） #

这是Rust处理「延迟初始化」场景的标准做法，完全符合语言安全规范，你可以直接用unwrap因为你能保证调用some_method时变量一定已初始化：

let mut var: Option<ObjType> = None;

for i in iter {
    if condition {
        var = Some(some_obj);
    } else {
        var.as_mut().unwrap().some_method();
    }
}

如果担心业务逻辑变动导致触发未初始化场景，也可以在else分支开头加debug_assert做开发阶段校验。

方案2：拆分循环逻辑（零unsafe、零unwrap） #

既然你能保证else分支不会先于if执行，本质就是第一个触发if分支的迭代一定会出现在所有else分支之前，那可以直接把循环拆成两段，把初始化逻辑明确分离出来，代码可读性更高，也没有额外的运行时开销：

let mut iter = iter.into_iter();
// 先迭代到第一个满足条件的元素完成初始化
let mut var = loop {
    let i = iter.next().expect("迭代器为空，未找到可初始化var的分支");
    if condition {
        break some_obj;
    }
    // 按你的业务保证不会走到这里，若有需要可以加panic逻辑做防护
};

// 处理剩余迭代逻辑
for i in iter {
    if condition {
        var = some_obj;
    } else {
        var.some_method();
    }
}

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