Ruby C扩展疑问：C代码生成的VALUE能否被GC正确回收？

放心，你示例里用rb_ary_new()创建的数组完全可以被Ruby的垃圾回收器正确回收，不会出现内存泄漏的问题。下面给你拆解一下背后的逻辑：

GC是怎么感知到这个VALUE的？ #

Ruby的CRuby实现里，垃圾回收器会跟踪所有根引用——包括VM的执行栈、寄存器里的VALUE，全局变量、对象实例变量里的引用等等。你的情况里：

• 当Ruby代码调用Foo.big_calc时，你的C函数method_big_calc返回的result（也就是新创建的数组对象的VALUE）会被Ruby VM接收，并且放到当前的执行栈帧里。
• GC在扫描的时候，会遍历这些栈帧里的VALUE，识别出这个数组是被当前执行环境引用的，不会被回收。
• 当这个数组在Ruby层面不再被任何变量、对象引用时（比如返回后没有赋值给任何变量，或者赋值的变量被销毁），GC的标记阶段会发现它没有任何根引用，就会在清除阶段释放它占用的内存。

什么时候需要注意内存泄漏？ #

只有当你在C代码里创建了VALUE，但没有把它传递回Ruby层，也没有把它挂到Ruby的引用链上时，才可能出现泄漏。比如：

// 错误示例：创建了数组但没返回也没存到Ruby对象里
VALUE method_bad_calc(VALUE self, VALUE input) {
    VALUE result = rb_ary_new();
    // 这里没有返回result，也没把它赋值给某个Ruby对象的实例变量
    return Qnil;
}

这种情况下，result对应的数组就会成为“孤儿”，GC无法感知到它的存在，就会泄漏。但你的示例里是直接返回了这个VALUE，完全符合Ruby VM的引用跟踪逻辑，所以不用担心。

补充：VALUE的本质 #

你可以把VALUE理解为Ruby对象的“引用句柄”，它本质上是一个经过标记的指针（在64位系统里是一个64位整数）。Ruby的GC会通过扫描所有能访问到的VALUE来判断对象是否存活，只要你的VALUE能被GC的根引用链触及，就会被正确管理。

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