Ruby迭代器块词法作用域疑问：未赋值变量为何被识别为局部变量

嘿，这个问题其实戳中了Ruby处理局部变量的一个核心特性——局部变量的预解析机制，咱们一步步拆解清楚：

首先先回顾你的代码和结果：

[1,2,3].map do |i| 
  if i.eql?(3) 
    a = 123 
  end 
  defined?(a) 
end

返回结果是 ["local-variable", "local-variable", "local-variable"]，明明前两次迭代里a = 123根本没执行，为啥defined?(a)还是认为a是局部变量？

关键原因：Ruby的静态扫描预定义局部变量 #

Ruby在执行一个代码块（比如这里的map块）之前，会先对整个代码块做一次静态语法扫描。在这个扫描过程中，它会找出所有带有赋值操作的变量（也就是变量名 = 值这种形式），不管这个赋值语句会不会被实际执行（比如在if的分支里、或者永远不会触发的条件里），Ruby都会把这些变量标记为当前代码块内的局部变量，并且默认给它们赋初始值nil。

回到你的代码：

• 扫描整个map块的时候，Ruby发现了a = 123这个赋值语句，于是立刻把a注册为块内的局部变量，初始值nil。
• 第一次和第二次迭代时，i.eql?(3)条件不成立，a = 123确实没执行，但a作为局部变量已经存在了——它的值是nil，但defined?(a)检查的是「这个变量是否被定义（存在）」，而不是「变量的值是否非空」。所以这时候defined?(a)会返回"local-variable"。
• 第三次迭代时，a = 123执行，a的值变成123，但defined?(a)的结果还是"local-variable"，因为变量本身早就被定义了。

做个小测试验证 #

你可以运行下面的代码，更直观地看到这个特性：

[1,2,3].map do |i| 
  if i.eql?(3) 
    a = 123 
  end 
  a.inspect 
end

返回结果会是 ["nil", "nil", "123"]——前两次迭代里a已经存在，只是值为nil，完全符合咱们刚才的解释。

额外对比：没有赋值语句的情况 #

如果代码块里根本没有a = ...这种赋值操作，那defined?(a)会返回nil，因为Ruby扫描不到这个变量的定义，它就不会被注册为局部变量。比如：

[1,2,3].map do |i| 
  defined?(a) 
end

返回的会是 [nil, nil, nil]，这和咱们的核心逻辑完全一致。

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