Ruby抛出NameError异常后为何仍执行代码赋值？

咱们得拆解Ruby处理这段代码的两个核心阶段：解析阶段和执行阶段，这俩阶段的行为差异就是问题的根源。

1. 解析阶段：Ruby先给a“贴身份标签” #

当Ruby读取你的代码puts a if a = 1时，它会先从头到尾扫描一遍，给每个标识符（比如a）确定身份：是局部变量还是方法调用？

• 扫描到puts a时，它还没看到后面的a = 1赋值语句，所以直接把这个a标记为方法调用（毕竟当前作用域里还没任何代码声明a是局部变量）。
• 继续扫到a = 1时，它才会把a标记为局部变量，但这个标记不会回溯修改前面puts a里a的身份——解析是一次性的，前面的标签贴好就改不了了。

2. 执行阶段：赋值先完成，但方法调用还是会失败 #

Ruby执行条件语句的逻辑是先跑条件表达式，再根据结果决定要不要执行主体代码，所以a = 1会先被执行：

• 执行a = 1：Ruby会立刻创建局部变量a，并把它赋值为1。这一步是实打实完成的，不管后面的代码会不会报错。
• 接下来准备执行puts a，但因为解析阶段已经把这里的a钉死成了方法调用，Ruby就会尝试去调用名为a的方法——而你根本没定义这个方法，自然就抛出NameError了。

3. 为什么之后a还能取到值？ #

虽然puts a的执行炸了，但a = 1的赋值已经在报错前完成了。局部变量一旦被创建（哪怕是在条件表达式里），就会留在当前作用域里，所以之后你直接访问a时，Ruby会正确识别它是局部变量，返回之前赋的值1。

官方提到的“乱序执行”本质就是：赋值操作的执行早于主体中对a的引用处理，但引用的身份（是变量还是方法）在解析阶段就已经定死了，不会因为后面的赋值而改变。所以哪怕赋值成功了，主体里的a还是会被当作方法来调用，导致报错。

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