Python3.x Python3 的超级和理解> TypeError

简单解释

请参阅super()的文档:

零参数表单只在类定义中起作用，因为编译器会填写必要的细节，以正确检索所定义的类，以及访问普通方法的当前实例.

inside a class definition是指inside class method scope.Inside class method scope解释器能够使用与Python 2中显式提供的参数相同的参数完成零形式.然而，列表理解创建了它自己的范围.这就是它失败的原因:您不是从类方法作用域调用super()，解释器无法使用所有参数完成它.

高级解释

根据Python data model:

如果类主体中的任何方法引用__class__或super，则__class__是编译器创建的隐式闭包引用.这允许super()的零参数形式正确标识基于词法范围定义的类，而用于进行当前调用的类或实例则基于传递给方法的第一个参数进行标识.

Python能够从__class__变量中收集super()的第一个参数，即使在列表理解中也是如此(因为它和任何通常的闭包一样在所有子作用域中都可用).您可以使用以下方法进行测试:

class T:
    def test(self):
        print(__class__)
        print([__class__ for _ in range(1)][0])


T().test()

将输出:

<class '__main__.T'>
<class '__main__.T'>

但解释器错误地收集了super():self的第二个参数.它假设对super()的调用发生在方法范围内，并try 使用以下C code获取方法的第一个参数(为了清楚起见，省略了许多行):

PyFrameObject *f = PyThreadState_GET()->frame;
obj = f->f_localsplus[0];
if (obj != NULL) {
    obj_type = supercheck(type, obj);
    if (obj_type == NULL)
        return -1;
    Py_INCREF(obj);
}

无法从Python中访问f->f_localsplus[0]，但根据代码中的注释，它是contains个"局部+堆栈".因此，我们可以利用locals()进行测试(不幸的是，缺少订单).让我们测试一下，在类内方法和列表理解中有哪些内容:

class T:
    def test(self):
        print(locals())
        print([locals() for _ in range(1)])


T().test()

将打印:

{'self': <__main__.T object at 0x100f1f8d0>}
{'_': 0, '.0': <range_iterator object at 0x100fbb2a0>}

在第一种情况下，有一个对我们的对象的引用，解释器将正确地找到它.在列表理解中，字典中没有对象，所以它将得到0或range_iterator(记住，缺少顺序？).这两个都不是我们的目标.它将失败supercheck()，并给出错误obj must be an instance or subtype of type(例如T).

查看here了解super()是如何实现的，查看here了解为什么这样做的更多细节.