Rust中带->!标注的loop函数与无返回值函数有何区别

首先明确基础规则：Rust中函数不标注返回类型时，默认返回值是单元类型()。你写的两个版本虽然当前都能通过编译，但语义、编译器行为、场景适配性上有本质区别：

• 类型语义完全不同
  标注-> !的版本返回值是never类型（从不返回类型），这是给编译器的强契约：该函数的所有执行路径都永远不会将控制权交回调用方，不存在正常返回的可能。
  省略返回类型的版本，哪怕函数体内是无限循环、实际运行时永远走不到返回步骤，编译器对它的语义判定依然是「执行完成后会返回一个()值」，只是实际运行时不会触达返回逻辑而已。
• 编译器的校验和优化逻辑不同
  对返回!的函数，编译器会强制做发散校验：如果函数存在任何一条能走到末尾正常返回的路径，会直接编译报错。比如你把函数内的loop {}删掉，标注-> !的版本会直接编译失败，而省略返回类型的版本哪怕是空函数也能正常编译。
  优化层面，编译器会基于!类型的语义做更精准的流分析，不会为该函数生成返回值处理、栈帧收尾的冗余指令；而返回()的版本，即使函数体内是死循环，编译器在未开最高优化等级时，依然会按()返回的函数约定生成对应收尾逻辑，只是这些逻辑永远不会被执行。
• 特定场景的兼容性不同
  你代码里的_start是程序的裸入口点，本身就绝对不能返回——入口点一旦返回，会直接触发操作系统级的运行时错误。标注-> !的写法完全符合入口点的ABI约定，对接C语言调用规范、各类平台链接器校验时都不会出问题；而省略返回类型的写法，只是因为你写了死循环才碰巧不会返回，在部分严格校验入口点属性的工具链、链接脚本环境下，可能触发警告、链接错误，甚至被链接器插入入口点返回后的异常处理逻辑，导致非预期的运行时故障。

你测试时两个版本都能编译的原因很简单：loop {}本身就是发散表达式，类型为!，而!类型可以自动兼容任意类型的位置要求，自然也能满足()返回类型的要求，所以编译器不会报错，但这不代表两种写法是等价的。

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