Python中使用相同类型变量的类是否有关联？新旧写法有差异吗？

两种写法示例 #

新写法（Python 3.12+/PEP 695）

class A[T]:
    ...

class B[T]:
    ...

旧写法（Python 3.11及更早）

from typing import TypeVar, Generic

T = TypeVar("T")
class A(Generic[T]):
    ...

class B(Generic[T]):
    ...

核心差异说明 #

• 类型变量作用域

  • 新写法中，每个类的T是类作用域内的独立类型变量，A的T和B的T只是名字相同，本质是完全无关的两个变量，彼此没有约束或关联。
  • 旧写法中，T是在模块/全局作用域定义的同一个TypeVar实例，A和B都引用了这个全局的T。

• 约束复用逻辑
  如果给TypeVar添加了类型约束（比如T = TypeVar("T", int, str)），旧写法里A和B会自动继承该约束；而新写法需要为每个类的T单独定义约束（如class A[T: int | str]:），否则每个类的T都是无约束的独立变量。

旧写法中A和B的关联 #

旧写法里，A和B本身没有代码运行层面的关联（比如继承、依赖关系），它们仅共享了同一个全局定义的类型变量T。这种共享仅影响类型检查阶段：如果T有约束，两个类的类型参数都会遵循该约束；但这不会让A和B的实例产生任何实际的代码关联，也不会对程序运行时行为造成影响。

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