python 3.12 支持直接 class listnode[t]: 定义泛型节点，无需 typevar/generic，但 t 仅类内有效、需引号处理前向引用、运行时无类型检查。
Python 3.12 中可以用 class ListNode[T]: 直接定义泛型链表节点，无需 TypeVar 或 Generic，但必须注意类型参数作用域和运行时无检查这两点——否则看似类型安全，实际无法拦截错误。
定义泛型链表节点：用 class ListNode[T]: 替代旧写法
旧写法要三步：导入 TypeVar、定义变量、继承 Generic；新写法一行搞定，且语义更清晰：
class ListNode[T]:
def __init__(self, val: T, next: "ListNode[T] | None" = None):
self.val = val
self.next = next
-
T的作用域仅限于该类内部，不能在类外直接引用（比如写def f(x: T):会报NameError） -
next类型标注中必须加引号，否则ListNode[T]在定义时未完成，会触发前向引用错误 - 不支持省略方括号：
class ListNode:是普通类，class ListNode[T]:才是泛型类
声明泛型链表容器：用 type LinkedList[T] = ListNode[T] | None
链表本质是可为空的节点引用，适合用泛型别名建模。注意必须带 type 关键字，否则不是类型别名：
type LinkedList[T] = ListNode[T] | None <h1>正确：mypy 能识别 LinkedList[int] 等价于 ListNode[int] | None</h1><p>def append[T](head: LinkedList[T], val: T) -> LinkedList[T]: if head is None: return ListNode(val)</p><h1>... 插入逻辑</h1><pre class="brush:php;toolbar:false;"><code>return head</code>
-
LinkedList[T] = ListNode[T] | None❌ 缺少type，解释器当普通赋值，mypy忽略泛型语义 -
LinkedList = ListNode[T] | None❌ 运行时不报错，但类型检查器无法做泛型推导 - 递归结构天然适配新语法，比老式
class LinkedList(Generic[T]):更简洁直观
实例化与类型推断：显式标注比依赖推断更可靠
虽然 mypy 能从 ListNode("hello") 推出 ListNode[str]，但链表操作常涉及多层嵌套，容易推断失败：
- 构造空链表时，
head: LinkedList[int] = None比head = None更明确，避免后续append(head, "abc")不报错 - 函数返回值标注不能省：
def find[T](head: LinkedList[T], x: T) -> ListNode[T] | None:，否则调用处可能丢失类型信息 - 传入不匹配类型不会崩溃，但
mypy会报错：ListNode[int]("hello")→Argument 1 to "ListNode" has incompatible type "str"; expected "int"
最容易被忽略的坑：泛型只服务静态检查，不约束运行时
所有泛型声明在 Python 运行时都被擦除，ListNode[str] 和 ListNode[int] 在运行时都是同一个类对象：
- 无法用
isinstance(node, ListNode[str])做类型判断（会报TypeError） - 不能靠泛型防止用户传错值：
node = ListNode(42); node.val = "oops"完全合法，只有mypy能提前发现 - 真正需要运行时校验的场景（如 API 输入），还得配合
pydantic或手动类型检查
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
