Ruby输入数字字面量是否创建临时变量？自研语言表达式处理咨询

你在irb里的测试结果说明：Ruby不会为数字字面量创建额外的临时局部变量。

irb里的:_是特殊变量，专门用来保存上一次表达式的求值结果，和字面量本身的处理逻辑无关。对于数字字面量，Ruby在解析阶段就会直接关联到预创建的整数对象池（比如-2到1024的整数会被提前缓存），输入5时直接复用池中的对象，不会在当前作用域的局部变量表中新增条目——只有当你把字面量赋值给某个变量（比如num = 5）时，才会在局部变量列表中添加对应的变量名。

禁用GC后结果不变，也说明不存在“临时变量被GC清理”的情况，因为从一开始就没有创建这类临时变量。

处理这类表达式时，是否需要创建临时变量，完全可以根据你的语言设计目标灵活调整，核心看优化空间和实现复杂度：

• 纯数字字面量场景：优先做编译期常量折叠优化——直接在编译阶段计算出4+5=9，把表达式替换为a = 9。这样运行时不需要创建4、5的临时值，也不用执行加法运算，性能最优，几乎所有现代语言都会做这个优化。

• 非字面量场景（比如a = (x + y)，x、y是变量或复杂表达式）：

  • 解释型语言：通常需要先求值x和y，把中间结果放到栈或临时存储中，再执行加法，最后赋值给a。这里的临时存储是运行时的中间值，不需要暴露为用户可见的局部变量。
  • 编译型语言：可以通过寄存器分配优化，尽量用寄存器存储中间结果，减少内存层面的临时变量开销。

关于对象创建：

• 如果你的语言把整数设计为值类型，加法直接返回新值即可，不需要分配对象；
• 如果设计为引用类型，可以借鉴Ruby的对象池思路，预缓存常用整数，避免频繁创建新对象。

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