Rust中语句与表达式的困惑：带分号的break为何返回值？

先把核心逻辑掰明白：

• Rust里的分号作用是将表达式转换为语句，同时忽略该表达式的返回值。但这个规则有例外——当遇到break、return这类会直接终止当前代码块执行的表达式时，分号的“忽略返回值”作用根本没机会生效。

先看你第一个例子：

let y = { let x = 9; x + 1 };

这里的代码块是表达式，它的返回值是块内最后一个表达式的结果。x + 1没有分号，所以它是表达式，整个代码块返回10。如果加了分号，x + 1;就变成语句，代码块默认返回单元类型()，这时候let y = ...会因为类型不匹配报错。

再看loop的例子：

let mut counter = 0;
let result = loop { counter += 1; if counter == 10 { break counter + 1; } };

这里的关键是：break本身是一个带返回值的表达式，它的作用是跳出loop，同时把后面跟着的表达式的值作为整个loop表达式的返回值。

你疑惑的break counter + 1;里，分号确实把这一行变成了语句，但break counter + 1这个表达式在执行时，会直接终止loop，并把counter + 1的值传递给loop的返回值——分号的“忽略返回值”在这里完全没用，因为break已经让程序跳出了当前的if代码块和loop，根本不会走到“忽略返回值”那一步。

换句话说：

• 写break counter + 1时，break表达式返回counter + 1，loop拿到这个值作为自己的返回值。
• 写break counter + 1;时，break表达式还是返回counter + 1，然后分号试图忽略这个返回值，但break已经跳出了，所以loop依然拿到counter + 1的值，分号相当于做了个无用功。

再补充个反例：如果写break;（不带任何值），那break返回的是()，loop的返回值就是()，这时候let result = loop { ... break; };里的result类型就是()。

总结一下：分号的作用是忽略表达式的返回值，但break是会直接终止上级代码块的特殊表达式，它的返回值会直接成为loop的返回值，分号无法改变这个逻辑。

内容的提问来源于stack exchange，提问作者Kushal Mondal