为何Rust中unsafe { x } == y无法编译？

问题场景 #

尝试编写如下代码时触发编译错误：

fn function() -> bool {
    unsafe { 1 } == 1
}

编译报错信息：

error: expected expression, found `==`
 --> src/main.rs:9:18
  |
9 |     unsafe { 1 } == 1
  |                  ^^ expected expression

error[E0308]: mismatched types
 --> src/main.rs:9:14
  |
9 |     unsafe { 1 } == 1
  |              ^ expected `()`, found integer

For more information about this error, try `rustc --explain E0308`.
error: could not compile `testcon` due to 2 previous errors

（注：示例中的1实际代表unsafe函数）

但改用中间变量的写法却能正常编译：

fn function() -> bool {
    let var = unsafe { 1 };
    var == 1
}

错误原因 #

核心在于Rust的语法解析规则和块表达式/语句的处理逻辑：

• unsafe块的解析优先级低于==这类二元运算符，导致解析器错误地将代码拆分为两部分：
  1. unsafe { 1 }被当作语句处理：语句会忽略块内表达式的返回值，因此块的类型变为()，与函数要求返回bool的类型不匹配，触发E0308错误。
  2. 后续的== 1成为无左操作数的孤立运算符表达式，违反语法规则，触发“expected expression”错误。
• 而使用中间变量时，unsafe { 1 }被明确作为赋值语句的右值，解析器会将其视为表达式，块的返回值会被正确识别并赋值给变量，后续的比较操作也能正常解析。

替代写法（无需中间变量） #

如果不想引入中间变量，可以通过加括号提升unsafe块的优先级，明确其作为表达式的身份：

fn function() -> bool {
    (unsafe { 1 }) == 1
}

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