为什么“中断”在结束“循环”时不需要分号？

Question

《铁锈之书》第3.5章摘录：

我们使用break关键字和值counter*2。循环结束后，我们使用分号结束将值赋给result的语句。

加上代码片段：

fn main() {
    let mut counter = 0;

    let result = loop {
        counter += 1;

        if counter == 10 {
            break counter * 2;
        }
    };

    println!("The result is {}", result);
}

我理解这是如何工作的，以及为什么结果是20，但我注意到，如果我删除包含break关键字的行上的分号，程序是等效的。

为什么分号在这种情况下是可选的？

Answer 1

表达式语句上的Rust语言参考：

表达式语句是对表达式求值并忽略其结果的语句。通常，表达式语句的目的是触发对其表达式求值的效果。

仅由块表达式或控制流表达式组成的表达式，如果在允许使用语句的上下文中使用，可以省略后面的分号。

我想这纯粹是为了美学和人体工程学，因为几乎所有东西都是Rust中的表达式。如果在所有表达式之后尾随分号是强制性的，那么我们将不得不用看起来很糟糕的分号来终止if-fe块（也是表达式）：

if {
    // do something
} else {
    // do something else
}; // <- gross

类似地，我们可以省略所有控制流表达式上的尾随分号，因为它们会生成控制流，因此分号的典型功能，即放弃表达式的结果并计算为（），变得无关紧要。

fn five() -> i32 {
    return 5 // to semicolon or not to semicolon? it doesn't matter
}

在上面的示例中，我们是否用分号终止返回5并没有什么区别，因为无论如何都不能“捕获”该表达式的结果，因为它会产生控制流。其他控制流表达式（如中断和继续）也是如此。

Answer 2

一个简短的例子：

let _: i32 = loop {
    if true {
        break 3; // ()
    }
};

这只是分号不影响预期结果的另一个例子。例如，插入分号会引入表达式语句，其计算结果为单位类型（）。由于循环s和如果表达式继续允许对同一类型进行计算的代码块（），则所有类型都是一致的。

let _: i32 = loop {
    if true {
        break 3 // !
    }
};

如果分号被去掉，break将被计算为never类型 ，强制为任何其他类型。这意味着它将实现外部范围所期望的任何类型。所以一切都是一样的，只要在if块结束之前不尝试附加任何其他语句。

中断和返回都评估为！，因为它们的副作用意味着程序不会通过自然工作流。

另见：

• 为什么返回表达式在不需要分号时使用分号