Schrödinger的变量：如果您要检查__class__单元格的存在，它会神奇地出现吗？

Schrödinger的变量：如果您要检查__class__单元格的存在，它会神奇地出现吗？

这是Python 3的no-
argument实现中的一个奇怪的交互

super

。对

super

方法的访问会触发添加隐藏的

__class__

闭合变量，该变量引用定义该方法的类。解析器

super

还通过添加

__class__

方法的符号表来特殊处理方法中名称的负载，然后其余所有相关代码都

__class__

代替

super

。但是，如果您尝试访问

__class__

自己，则所有寻找的代码都会

__class__

看到它，并认为它应该进行

super

处理！

__class__

如果看到，它将在此处将名称添加到符号表中

super

：

case Name_kind:    if (!symtable_add_def(st, e->v.Name.id,    e->v.Name.ctx == Load ? USE : DEF_LOCAL))        VISIT_QUIT(st, 0);        if (e->v.Name.ctx == Load &&        st->st_cur->ste_type == FunctionBlock &&        !PyUnipre_CompareWithASCIIString(e->v.Name.id, "super")) {        if (!GET_IDENTIFIER(__class__) || !symtable_add_def(st, __class__, USE)) VISIT_QUIT(st, 0);    }    break;

这是

drop_class_free

，它设置了

ste_needs_class_closure

：

static intdrop_class_free(PySTEntryObject *ste, PyObject *free){    int res;    if (!GET_IDENTIFIER(__class__))        return 0;    res = PySet_Discard(free, __class__);    if (res < 0)        return 0;    if (res)        ste->ste_needs_class_closure = 1;    return 1;}

检查并创建隐式单元格的编译器部分

ste_needs_class_closure

：

if (u->u_ste->ste_needs_class_closure) {        _Py_IDENTIFIER(__class__);    PyObject *tuple, *name, *zero;    int res;    assert(u->u_scope_type == COMPILER_SCOPE_CLASS);    assert(PyDict_Size(u->u_cellvars) == 0);    name = _PyUnipre_FromId(&PyId___class__);    if (!name) {        compiler_unit_free(u);        return 0;    }    ...

还有更多相关的代码，但是要包含所有这些代码实在太多了。如果想看到更多

Python/compile.c

，

Python/symtable.c

可以在哪里查看。

如果尝试使用名为的变量，则会出现一些奇怪的错误

__class__

：

class Foo:    def f(self):        __class__ = 3        super()Foo().f()

输出：

Traceback (most recent call last):  File "./prog.py", line 6, in <module>  File "./prog.py", line 4, in fRuntimeError: super(): __class__ cell not found

对

__class__

means的分配

__class__

是局部变量而不是闭包变量，因此闭包单元的

super()

需求不存在。

def f():    __class__ = 2    class Foo:        def f(self): print(__class__)    Foo().f()f()

输出：

<class '__main__.f.<locals>.Foo'>

即使

__class__

封闭范围中存在实际变量，的特殊情况也

__class__

意味着您可以获取类，而不是封闭范围的变量值。