嵌入式Perl中FREETMPS无法清理哈希引用数组的内存泄漏问题

核心错误：栈弹出后的引用计数未正确处理 #

你代码中最直接的泄漏原因出在PERL_GET_STACK_EXIT宏：

• mXPUSHs将生成的AV引用（RV）压入Perl栈时，会给该RV的引用计数+1；
• POPs弹出栈顶的RV时，栈对它的引用解除，引用计数-1，回到初始值1；
• 但宏中仅调用savesharedsvpv提取字符串值，并未对弹出的RV做SvREFCNT_dec操作——这导致该RV的引用计数始终为1，Perl垃圾回收机制无法回收它，进而导致它指向的AV、AV内的所有RV、嵌套HV等整个对象树都无法被释放。

修复步骤 #

1. 修正PERL_GET_STACK_EXIT宏 #

修改宏，在提取字符串后手动递减弹出SV的引用计数：

#define PERL_GET_STACK_EXIT do { \
    SV* tmp_sv = POPs; \
    char* dup = savesharedsvpv(tmp_sv); \
    SvREFCNT_dec(tmp_sv); \
    PUTBACK; \
    FREETMPS; \
    LEAVE; \
    perl_unlock(); \
} while(0)

这样当引用计数降至0时，Perl会递归释放整个对象树（包括AV、嵌套的RV和HV）。

2. 验证newRV_noinc的使用正确性 #

你的PERLIFY_MULTI和hvstores_ref中使用newRV_noinc是合理的：

• perlify_*函数返回的HV引用计数为1，newRV_noinc创建RV时不会额外增加HV的引用计数，避免了重复计数；
• av_push和hv_stores会自动给RV的引用计数+1，确保容器持有该对象的引用；
• 当容器（AV/HV）被销毁时，会自动给RV的引用计数-1，最终RV被销毁时，会递减HV的引用计数至0，触发HV的释放。

3. 确认嵌套结构的引用计数链 #

所有嵌套的perlify_account、perlify_status等函数返回的HV都保持引用计数为1的初始状态，通过hvstores_ref宏正确关联到父哈希，只要父哈希能被正确释放，嵌套结构也会被递归回收。

4. 理解FREETMPS的作用范围 #

FREETMPS仅负责释放Perl代码中生成的临时变量，你手动创建的AV/HV/RV属于持久化变量，必须通过引用计数机制来管理，不会被FREETMPS自动回收。

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