Rust语句与表达式区别及loop代码break返回值相关疑问

你产生混淆的核心原因是搞错了分号的作用位置：你看到的分号不是加在counter * 2后面，而是加在整个break counter * 2表达式后面，这和counter * 2本身是不是表达式完全不冲突。

我们分几个点拆解规则：

• 首先，break本身是Rust的控制流表达式，后面可以跟一个表达式，用来指定整个loop块的返回值。在你给出的代码里，counter * 2就是跟在break后面的返回值表达式，它本身没有带末尾分号，完全符合「表达式不包含末尾分号」的规则。
• 末尾的分号作用是把整个break counter * 2表达式变成语句，因为这行代码是if块内的最后一行，加不加这个分号其实都不影响编译，只是写法习惯的问题。
• 另外要注意loop块的特殊性质：普通代码块的返回值是块内最后一个表达式的返回值，但loop是无限循环块，它的返回值不取决于块内最后一行内容，完全由break后跟随的表达式决定。只要所有跳出loop的break都带了同类型的返回表达式，整个loop就是合法的、有返回值的表达式，自然可以用来给变量赋值。

我们可以举个反例更直观：如果你真的给counter * 2加了分号，代码才会编译报错：

fn main() {
    let mut counter = 0;
    let result = loop {
        counter += 1;
        if counter == 10 {
            // 错误：break后面跟的是带分号的语句，没有返回值，loop块无法产生有效返回值
            break (counter * 2;);
        }
    };
    println!("The result is {}", result);
}

最后再明确你提到的规则的适用边界：

「表达式加末尾分号变语句，不返回值」的规则，仅适用于表达式作为独立代码行的场景。如果表达式是作为其他表达式的子部分（比如break的返回值、函数调用的参数、if的判断条件），不需要也不能给子表达式单独加末尾分号。

内容的提问来源于stack exchange，提问作者Enrique Ortiz Casillas