Python对象作为类构造函数参数时引用计数异常原因求解

问题结论 #

额外的一次引用来自CPython类实例化流程中，元类__call__方法对参数的临时持有，属于底层实现的正常行为。

原理说明 #

你对普通函数调用的引用计数逻辑理解正确，function(Foo())输出3的原因确实是三次引用叠加：

• Foo实例作为实参传入function，引用+1
• 实例绑定到function的形参foo，引用+1
• 实例作为参数传入sys.getrefcount，引用+1

而类实例化的流程比普通函数调用多了一层中转：你调用Class(Foo())时，本质是在执行类所属元类type的__call__方法，执行流程对应的引用计数变化如下：

1. Foo实例作为实参传入type.__call__，引用+1
2. __call__将Foo实例传给Class.__new__方法用于创建类实例，引用+1
3. __new__返回类实例后，__call__再将Foo实例传给Class.__init__方法，绑定到形参foo，引用+1
4. __init__内部将Foo实例传给sys.getrefcount，引用+1

四次引用叠加最终输出4，多出来的一次就是元类__call__层的临时参数引用。

针对你的需求的建议 #

不要依赖引用计数判断对象是否为临时生成对象，原因如下：

• 引用计数是CPython独有的实现细节，PyPy、Jython等其他Python实现没有这套机制，代码兼容性差
• 不同CPython版本的底层实现可能调整临时引用的逻辑，引用计数值不稳定
• 存在大量不可穷举的隐含临时引用场景，比如解释器栈临时持有、调试工具引用、垃圾回收标记阶段的临时引用等，判断结果不可靠

如果要实现对象复用优化内存，建议改用显式方案：比如给对象新增自定义标记位标识生命周期、或者实现显式申请/释放逻辑的对象池。

内容的提问来源于stack exchange，提问作者Vu Tung Lam