为何Rust中panic!宏加不加分号都可用于返回!类型的函数？

要搞懂这个问题，得从两个核心点入手：Rust的语句/表达式规则，以及!类型的特殊特性。

1. Rust里分号的作用 #

Rust中，分号的作用是把表达式转换成语句：

• 不带分号的代码是表达式，会返回一个值（比如1+2返回3，panic!()返回!）。
• 带分号的代码是语句，没有返回值（或者说返回空的单元类型()）。

普通函数（返回非!类型）要求最后必须是一个匹配返回类型的表达式，所以如果末尾加分号，会因为语句返回()和函数返回类型不匹配而报错。但!类型的函数是例外。

2. !类型的核心特性：永不返回 #

!被称为「永不返回类型」，它的本质是：这个函数永远不会正常执行到结束——要么无限循环，要么直接终止程序（比如panic!），要么跳转走（比如return或break）。

对于返回!的函数，Rust的类型检查器不要求你返回某个具体的值，只要求函数的所有执行路径都不会正常返回。

3. 回到panic!的情况 #

不管panic!后面加不加分号：

• 不加分号：panic!()是一个返回!的表达式，直接符合函数返回!的要求，编译通过。
• 加分号：panic!();是一个语句，但panic!宏执行时会立即终止当前线程，函数根本不会走到正常的结束点。Rust能识别到这一点，知道这个函数永远不会返回，所以即使最后是一个返回()的语句，也会允许编译——因为函数已经满足了「永不返回」的核心要求。

换个例子更直观：

fn never_return() -> ! {
    loop {}; // 加不加分号都能编译，因为loop永远不会结束，函数不会正常返回
}

本质上，!类型函数的校验逻辑是「是否永远不会正常返回」，而不是「最后一个表达式的类型是否匹配」，这就是panic!加不加分号都能过的原因。

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