Rust中return语句后分号为何可选？哪种写法更符合惯用规范？

一、为什么return语句后的分号可选？ #

要搞懂这个问题，得先理清Rust里表达式和语句的区别，以及return的特殊性质：

1. return是发散表达式：return表达式的类型是!（发散类型），它表示这个表达式永远不会正常完成求值——一旦执行return，函数会立刻终止并返回指定值，后续代码都不会运行。这种发散类型可以被隐式转换为任何其他类型，因为它不会产生实际的返回值。

2. 分号的作用：在Rust中，分号的作用是把一个表达式转换成一个语句（statement）。语句本身没有返回值（或者说返回()单元类型）。但对于return这种发散表达式来说：

   • 写return Err(value)（不带分号）时，这是一个发散表达式，它会直接终止函数，完全符合match分支的类型要求（因为!可以转换为任何类型，包括当前上下文需要的()——毕竟match在for循环里，循环体的类型是()）。
   • 写return Err(value);（带分号）时，这是一个包含发散表达式的语句。但由于return已经提前终止了函数，这个语句实际上不会产生()值，编译器会直接接受这种写法，因为代码永远不会走到语句结束的地方。

不过要注意一种例外情况：如果你的match分支没有用大括号包裹，直接写Some(value) => return Err(value);，这时候分号会导致语法错误——因为match分支需要的是一个表达式，而带分号的语句不能直接作为分支表达式。但如果用大括号包裹分支内容（就像你示例代码里的写法），分号就是可选的。

二、Rust的惯用写法是带分号还是不带？ #

Rust社区的惯用写法是不带分号，原因有两点：

1. 表达式优先的风格：Rust是一门表达式优先的语言，大部分代码逻辑都是用表达式来表达的。return本身是一个表达式，省略分号更符合Rust的核心风格。
2. 代码简洁性：省略不必要的分号让代码更简洁，也和标准库、社区主流代码的写法保持一致。

比如你示例代码的惯用写法可以优化成这样：

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

甚至可以用if let进一步简化逻辑，让代码更清晰：

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

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