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

Question

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

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

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

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

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

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

    Ok(())
}

请注意，我删除了 return 表达式周围的 {}。 => 的右边是一个表达式，return Err(value) 是一个表达式，它正好适合，不需要额外的绒毛。

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

---

正如Are semicolons optional in Rust? 中所述，表达式可以通过添加; 转换为Rust 中的语句。

由于=> 的右侧需要一个表达式，因此您不能直接使用return Err(value);（因为它现在是一个语句），但您可以使用恰好包含语句的块表达式 ，并且可能是最终表达式。

因此，可选的; 是块的一个属性：

• 包含单个语句的块，没有最终表达式：{ return Err(value); }。它的类型是()。
• 仅包含最终表达式的块：{ return Err(value) }。它的类型是!。

Answer 2

; 可以在此处省略，因为 return 是一个计算结果为 ! type 的表达式，然后将其强制转换为空元组 ()，因此所有匹配臂都具有相同的类型。

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

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