为什么在Ruby中执行pp pp语句不会出现无限循环？

核心结论 #

你观察到的现象是Ruby解析器对无括号方法调用、局部变量标识符的优先级规则共同作用的结果，整个过程不存在循环触发的可能。

分步执行逻辑 #

• 第一步：执行pp = "hello world"时，Ruby解析器会在当前irb的顶级作用域注册一个名为pp的局部变量，值为字符串"hello world"。
• 第二步：解析pp pp语句时，Ruby的语法解析规则会优先将第一个pp识别为方法调用：

  两个无运算符连接的标识符，仅可能符合「无接收者无括号的方法调用 + 入参」的语法结构，不可能是两个局部变量直接并列（该场景属于非法语法），因此第一个pp不会匹配已声明的局部变量，直接匹配全局的Kernel#pp（pretty print）方法。

• 第三步：解析第二个pp时，作为方法入参的标识符会优先匹配当前作用域的局部变量，因此拿到的是你之前赋值的字符串"hello world"。
• 第四步：最终实际执行的逻辑为Kernel#pp("hello world")，和普通的pretty print调用没有区别，自然不会出现无限循环。

同名冲突区分方式 #

如果需要主动区分同名的pp方法和局部变量，可以通过以下方式明确告诉解析器你的意图：

pp = "hello world"
# 加括号单独包裹标识符，明确取局部变量
p (pp) 
# 输出："hello world"

# 标识符后加括号，明确调用pp方法
pp("test content")
# 输出："test content"

相关规则补充：当标识符后紧跟空括号、或者用括号单独包裹标识符时，Ruby解析器可以无歧义区分方法调用和局部变量取值，不会出现识别偏差。

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