Rust 为什么`while let Some(variable) = ...`不会重新分配`variable`

发布于09月21日

我试图在一条小路上循环爬行，直到满足小路上的某个条件.要做到这一点似乎是一种有效的方法，那就是在每个循环中使用while let循环将循环变量重新赋值为parent.

let path = std::path::Path::new("/my/long/path/to/a/file.txt");
while let Some(path) = path.parent() {
    println!("{:?}", path);
    
    if path_matches_condition(&path) {
        println!("{:?} path matched", path);
        break;
    }
}

但是，这会导致无限循环，因为在LOOP语句中没有重新分配path.

我本以为while let Some(path) = path.parent()语句每次都会重新分配path，但这并没有发生，path.parent()的path也没有改变. 即上述程序的输出将被重复"/my/long/path/to/a"，直到该程序被手动终止.

这可以通过分离两个变量并在循环内手动重新赋值来解决.

let mut path = std::path::Path::new("/my/long/path/to/a/file.txt");
while let Some(parent) = path.parent() {
    println!("{:?}", path);
    
    if path_matches_condition(&path) {
        println!("{:?} path matched", path);
        break;
    }

    path = parent;
}

这是因为，尽管path.parent()的path和let Some(path)的path同名，但它们的作用域是分开的吗？你能详细解释一下我的误解吗？有没有更惯用的方式来做这类事情呢？

fn main() { let path: Option<&str> = Some("A path"); match path { Some(path: &str) => println!("{:#?}", path), None => println!("Nuthin!") } println!("{:#?}", path); }

Rust 为什么`while let Some(variable) = ...`不会重新分配`variable`

推荐答案

Rust相关问答推荐

as操作符如何将enum转换为int？

在Rust中创建可变片段的可变片段的最有效方法是什么？

收集RangeInclusive T到Vec T<><>

trait声明中的生命周期参数

关于Rust 中回归的逻辑

防止cargo test 中的竞争条件

在UdpSocket上使用sendto时的隐式套接字绑定

原始数组数据类型的默认trait实现

为什么 Rust 需要可变引用的显式生命周期而不是常规引用？

从 rust 函数返回 &HashMap

如何使用 Bincode 在 Rust 中序列化 Enum，同时保留 Enum 判别式而不是索引？

Google chrome 和 Apple M1 中的计算着色器

trait 对象指针的生命周期

`tokio：：pin` 如何改变变量的类型？

我如何取消转义，在 Rust 中多次转义的字符串？

在给定 Rust 谓词的情况下，将 Some 转换为 None 的惯用方法是什么？

仅当函数写为闭包时才会出现生命周期错误

如何连接 Rust 中的相邻切片

相交着色器从 SSBO 中读取零

通用类型，不同于输入类型，作为函数的返回值