rust - Rust 匹配表达式类型是不确定的吗？

Question

阅读 Rust 教程时，我发现了以下代码片段:

let f = File::open("hello.txt");

let mut f = match f {
    Ok(file) => file,
    Err(e) => return Err(e)
};

这似乎是f可以具有类型 Result<_, _> 的值(如果 f == Err(e) )或 _ 类型的值(即，无论 file 恰好是什么类型)。

这是否意味着 Rust 中的匹配表达式是类型不确定的？

Answer 1

不，类型不是不确定的。您首先创建 Result<io::File, io::Error> 类型的绑定(bind)。然后，您将为 f 创建一个新的(可变)绑定(bind)。类型 io::File (因为这就是您的情况下 Ok 枚举的 Result 变体中包含的内容)这个新绑定(bind)会遮盖旧绑定(bind)，就像 Perl(和 C/C++ 等)中的一个 block 会引入一个新范围:

my $x = [42, 24];
{
    # new scope
    my $x = $x->[0];
    say Dumper $x; # 42, an INT
}
say Dumper $x; # [42, 24], an ARRAY

在 Rust 中，let可以被认为是引入一个类似的新作用域，遮盖以前的绑定(bind)。

既然你也return当您遇到Err(_)时超出您的功能 ，编译器仍然能够推断第二个绑定(bind)的类型 f成为io::File .