为何类属性命名为`type`会导致`type[Foo]`类型注解失效？

问题场景 #

当在类中定义名为type的类属性时，同一类内使用type[Foo]作为类型注解会触发mypy报错，提示该type是变量，无法作为类型使用。

示例代码 #

class Foo:
    type: str
    bar: type[Foo]

mypy错误输出 #

main.py:3: error: Variable "__main__.Foo.type" is not valid as a type  [valid-type]

原本预期type[Foo]会引用Python内置的type类，但mypy将其识别为刚声明的类属性。目前已找到两种可行解决方案：

• 重命名类属性（比如改为type_或kind）
• 使用旧版的typing.Type替代内置的type

另外，PEP8提到单下划线后缀的命名约定用于避免与Python关键字冲突，但type并非关键字，因此疑问：这种情况是符合Python语言语义，还是仅为mypy的限制？

问题解析 #

这完全符合Python的语言语义，并非mypy的额外限制。

在Python的作用域规则中，类体属于一个局部作用域。当你在类中定义type: str后，这个type名称就被绑定到类作用域内的变量（类属性），覆盖了对全局作用域中内置type的引用。

虽然在运行时，你依然可以通过__builtins__.type来访问内置类型，但在类体的静态分析阶段（比如mypy做类型检查时），作用域内的名称优先级更高——mypy严格遵循Python的名称解析规则，优先使用类作用域内的type，而它只是一个字符串类型的变量，自然无法作为类型构造器使用type[Foo]这种写法。

关于PEP8的命名约定：虽然type不是关键字，但它是Python的内置名称，PEP8其实也建议避免使用内置名称作为标识符，防止意外覆盖。单下划线后缀的方式（如type_）正是这类场景的常用解决方案，用来区分自定义名称和内置名称，避免冲突。

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