为什么Ruby中即使赋值代码块永不执行也会生成对应局部变量？

核心结论 #

这个现象是Ruby编译期作用域扫描规则的必然结果，和运行时代码是否执行没有关系。

具体规则说明 #

Ruby在解析（编译）代码的阶段，会从上到下扫描当前作用域的所有语法节点：

• 只要扫描到标识符 = 的赋值语法，无论这个赋值语句所在的分支（if/unless/while等）是否会在运行时被执行，都会立即将该标识符标记为当前作用域的局部变量，优先级高于同名的实例方法/全局方法。
• 局部变量的声明只和编译期的扫描顺序有关，和运行时逻辑无关。

对应你的代码执行逻辑 #

你的代码编译阶段扫描顺序如下：

1. 扫描到第一个puts "#{defined?(a)}"时，还未扫描到任何a =的赋值语法，此时a没有被标记为局部变量，因此会匹配到attr_reader :a定义的实例方法，defined?返回method。
2. 继续向下扫描到if false分支内的a = 1，此时触发局部变量声明，a被标记为当前call方法作用域内的局部变量，初始默认值为nil。
3. 扫描到第二个puts "#{defined?(a)}"时，a已经被标记为局部变量，因此defined?返回local-variable，哪怕a = 1的赋值逻辑永远不会被执行。

设计的底层考量 #

• 保证作用域规则可预测：如果局部变量的声明依赖运行时分支的执行结果，同一个标识符在不同运行场景下可能一会是方法、一会是局部变量，会导致逻辑歧义、bug极难排查。编译期统一扫描声明局部变量的规则简单明确，开发者可以直接通过阅读静态代码判断标识符的类型。
• 提升运行效率：局部变量的存储位置、作用域在编译期就已经确定，运行时不需要动态判断标识符的类型，直接读取对应内存位置的值即可，大幅提升执行效率。

补充验证示例 #

你可以调整赋值语句的位置，就能看到明显的效果：

class Something
  attr_reader :a

  def call
    # 赋值语句移到最开头，即使在永远不执行的分支里
    if false
      a = 1
    end
    puts "#{defined?(a)}" # 输出 local-variable
    puts a # 输出 nil，已经声明但未赋值的局部变量默认值为nil
  end
end

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