Ruby中方法退出时对象析构函数未触发的原因咨询

示例代码 #

class Raja
  def initialize
    ObjectSpace.define_finalizer(self, self.class.finalize(self))
  end

  def self.finalize(id)
    proc do
      puts "Object #{id.class} got destroyed"
    end
  end
  def hello
    puts 'Raja'
  end
end

def hi
  obj=Raja.new
  obj.hello
end


hi

puts 'Raja'

问题描述 #

在上述Ruby程序中，对象obj创建于hi方法内部，按我的理解，当方法调用结束后该对象应被销毁，对应的析构函数应输出"Object #{id.class} got destroyed"，但实际该输出在程序结束后才出现。请问原因是什么？我的理解存在哪些误区？

原因解析与误区修正 #

你的核心误区是混淆了「局部变量作用域结束」和「对象被垃圾回收销毁」的概念，同时不了解Ruby垃圾回收（GC）的惰性触发机制：

1. 变量作用域≠对象销毁
   当hi方法执行完毕，局部变量obj确实会退出作用域，对象不再有任何引用，成为GC的候选回收对象，但这只是满足了回收的前提条件——Ruby不会立刻销毁对象，只会将其标记为「可回收」。

2. Ruby GC是惰性触发的
   Ruby的GC不会在每次产生垃圾对象时立即运行，而是会根据内存占用阈值、系统空闲状态等条件择机执行。你的测试程序逻辑简单、内存占用极低，GC在程序结束前完全没有启动的必要，因此所有垃圾对象的finalizer（你理解的「析构函数」）都要等到程序退出时才会被统一执行。

3. 你的finalizer写法存在额外引用问题
   当前代码中finalize(self)直接传递了对象本身，这会创建一个额外的引用链，导致对象暂时无法被GC标记为垃圾。正确写法应该传递对象的object_id，避免循环引用：

   def initialize
     ObjectSpace.define_finalizer(self, self.class.finalize(object_id))
   end
   
   def self.finalize(obj_id)
     proc do
       puts "Object with ID #{obj_id} got destroyed"
     end
   end
   

验证GC触发效果 #

如果想手动验证对象在GC启动时的销毁行为，可以在hi方法调用后手动触发GC：

hi
GC.start # 手动触发垃圾回收
puts 'Raja'

此时你会看到finalizer的输出会在puts 'Raja'之前打印，证明对象确实会在GC运行时被销毁。

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