Python __del__方法除self外添加额外参数的疑问解析

为什么Python允许在__del__中加额外参数？ #

• Python是动态类型语言，类定义阶段根本不会对特殊方法的签名做强制校验。__del__本质上和你写的其他普通实例方法没有任何区别，解释器不会在类定义时检查“这个叫__del__的方法是不是只接收self参数”，哪怕你给它加10个必填参数，类定义环节也不会报错——这和C++这类静态语言在编译期就硬卡析构函数签名的逻辑完全不一样。
• 解释器自动调用__del__的规则是固定的：当对象引用计数归零、要被垃圾回收的时候，解释器只会按实例.__del__(self)的方式调用，根本不会看你定义的方法要多少参数、适配多少实参。你看到的那两个TypeError就是这么来的：函数b()执行完之后，局部变量d和c生命周期结束，两个实例要被回收，这时候解释器只给__del__传了self，缺了你定义的必填参数n，自然报错。因为这部分异常是在垃圾回收的后台流程里抛的，解释器不会把异常抛到正常程序逻辑里，只会打印“异常被忽略”的提示。
• 你手动调用d.__del__(8)能正常运行，是因为这段调用是你自己写的代码，你主动把n=8传进去了，和解释器的自动触发流程完全没关系。这里要注意：你手动调用完__del__，d这个对象本身还活着，并没有被回收，等后面它真的要被销毁的时候，解释器还会再自动调一次__del__，这也是为什么哪怕你手动调用了d的析构方法，后面还是会有两个缺参数的报错。

自动调用__del__的时候要怎么给额外参数传值？ #

首先明确一个核心前提：解释器自动触发__del__的流程没有任何外部传参入口，根本没办法在自动调用时给自定义的额外形参传自定义值。正常写代码的时候，完全不需要给__del__加额外形参：

• 把需要在析构逻辑里用到的值，直接存在实例属性上就行。因为__del__本身就会自动接收self，你直接从self上读所有存在实例上的属性就好，根本不需要额外设置形参传值。
  正确写法的示例：

  class A:
      def __init__(self, n):
          self.n = n
      def __del__(self):
          # 直接从self上读需要的值，不需要额外参数
          print('dest', self.n, getattr(self, 'extra_val', '默认值'))
  
  def b():
      d = A('d')
      c = A('c')
      # 把析构时要用到的额外值存在实例上
      d.extra_val = 8
  
  b()
  

  这段代码运行时，等b()执行完，两个实例被回收的时候，解释器自动调用__del__只需要传self，就能正常读到存在实例上的extra_val，不会报参数缺失的错。
• 如果你非要定义这个额外参数，想让自动调用不报错，唯一的办法是给这个参数加默认值：比如把方法改成def __del__(self, n='默认值')，这样解释器自动调用的时候，就会用默认值填上n参数，不会触发TypeError。但这种写法非常不规范，读代码的人根本不知道自动触发析构的时候n到底是啥，很容易埋下隐形bug。

额外提醒 #

• 别手动主动调用__del__：你手动调用完之后对象还活着，等后面真的被垃圾回收的时候，解释器还会再自动调一次，很容易让析构逻辑执行两遍，引发各种莫名其妙的问题。
• 和C的逻辑对比：C是编译期就强制析构函数不能带参数，因为对象销毁的时候根本没有传参的入口；Python虽然语法上允许你随便改__del__的签名，但本质上它的自动触发逻辑和C++是一样的——没有任何外部流程会给这个方法传额外参数，你加的那些必填参数，只有你手动调用的时候才能传进去，自动场景下全是无效的。

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