为什么Rust编译器要求我的这段代码添加return返回语句？

首先明确Rust的两个核心语法规则：

• Rust中所有代码块（包括if分支块）都是表达式，表达式必然有对应的类型和值
• 函数的返回值默认是函数体最后一个表达式的值，无需显式加return

不带else的if块的类型约束 #

不带else分支的if结构存在隐含规则：当if的条件不成立时，整个if表达式会直接求值为单位类型()，这就要求if分支块内的最终表达式类型也必须是()，否则就会出现类型不匹配。
你第一段报错的代码里，if分支块的最后一个表达式是a（类型为i32），和要求的()类型冲突，这就是编译器抛出mismatched types错误的直接原因。

额外提一句：就算该代码能通过编译，逻辑也不符合预期：不带else的if块执行完成后，会继续执行后续的b表达式，函数最终的返回值永远是b，完全不会用到if块内求值得到的a。

不同写法合法的原因 #

1. 加return的写法合法的原因 #

return是控制流语句，不是求值表达式，它的作用是直接中断当前函数执行，将指定值返回给调用方，不会继续执行后续代码。
当你在if块内写return a;时，整个if分支块的求值结果就是()，刚好符合不带else的if的类型要求，所以编译可以通过。

2. if-else写法合法的原因 #

当if带有else分支时，整个if-else表达式的类型由两个分支的最终表达式类型统一决定，只要两个分支的类型一致，整个表达式的类型就是该类型。
你写的if-else版本里，两个分支的最终表达式分别是a和b，都是i32类型，所以整个if-else表达式的类型就是i32，同时它是函数体的最后一个表达式，刚好匹配函数声明的i32返回值类型，因此可以正常编译运行。

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