为什么return语句后面的分号是可选的？

Question

我想遍历选项的列表。如果其中有一个值，我想返回一个错误。下面是一个人为的例子：

fn test(options: &[Option<u8>]) -> Result<(), &u8> {
    for option in options {
        match option {
            None => (),
            Some(value) => {
                // do some stuff here, so I can't just go
                // Some(value) => return Err(value),
                return Err(value); // this semicolon is optional
            }
        }
    }

    Ok(())
}

添加另一个分号会导致错误，但删除分号不会导致错误。

为什么return语句后面的分号是可选的？

习惯用法Rust应该使用哪种形式：分号还是不使用分号？这两种方法都被编译器接受，并且似乎产生相同的结果。

Answer 1

这里可以省略；，因为返回是一个计算结果为！类型的表达式，然后将其强制为空元组（），因此所有匹配臂都具有相同的类型。

惯用的Rust应该使用哪种形式？

添加是惯用的 或删除周围的花括号。这也是货物fmt所做的。

Answer 2

为什么return语句后面的分号是可选的？

问题的症结在于，return在Rust中不是一个语句（本身），而是一个返回的表达式 ^1。

这意味着测试用例的惯用格式实际上是：

fn test(options: &[Option<u8>]) -> Result<(), &u8> {
    for option in options {
        match option {
            None => (),
            Some(value) => return Err(value),
        }
    }

    Ok(())
}

注意，我删除了返回表达式周围的{}。<代码>=

¹！表示编程语言理论中的底层类型，一种没有实例的类型，用于指示发散的表达式。它也被称为NEVER类型。

如Rust中分号是可选的吗？表达式可以通过添加；转换为Rust中的语句。

由于=的右侧

因此，可选的；是块的属性：

• 包含单个语句的块，没有最终表达式：<代码>{返回错误（值）；} 。它的类型是（）