Ruby中`a => a`与`a = a`的运行行为为何存在差异？

你之前了解的a = a返回nil的逻辑是对的：Ruby解析普通变量赋值语句时，会在执行表达式计算前，先将左值的局部变量在当前作用域完成注册，初始值设为nil；之后计算右值表达式时，同名的a已经是存在的局部变量，值为nil，最终赋值结果自然为nil，不会触发未定义变量错误。

两者表现不一致的核心原因非常直接：=>根本不是“反向赋值运算符”，而是Ruby 3.0引入的右向模式匹配运算符，执行逻辑和普通赋值完全不同，不存在“非复杂模式下效果完全等价”的规则。

a => a的实际执行流程是：

1. 优先计算运算符左侧的内容（也就是待匹配的目标对象），这一步执行时，解释器还没处理右侧的匹配模式，不会提前创建模式里的局部变量。此时直接访问未定义的a，就会抛出你看到的NameError。
2. 只有当左侧匹配目标计算完成后，解释器才会拿目标值去匹配右侧的模式，匹配通过时才会给模式里声明的变量赋值。比如我们写1 => a时不会报错，就是因为左侧是字面量1，不需要访问外部变量，计算完目标值后匹配右侧变量模式，直接完成a的赋值。

可以做个简单验证：

# 提前定义左侧要访问的a
a = 100
a => a
puts a # 输出100，运行无报错

两种写法的核心逻辑差异可以总结为：

• 普通赋值变量 = 表达式：先注册左值变量，再计算右值表达式，最后完成赋值
• 右向模式匹配目标值 => 匹配模式：先计算左侧目标值，再执行右侧模式匹配逻辑，匹配过程中才会创建、赋值模式里的局部变量

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