通过在子类中重新声明属性类型（如将 list[str] | None 改为 list[str]），可让 mypy 知晓该字段在子类实例中恒为非空，从而消除冗余的 None 检查或断言。
通过在子类中重新声明属性类型（如将 `list[str] | none` 改为 `list[str]`），可让 mypy 知晓该字段在子类实例中恒为非空，从而消除冗余的 `none` 检查或断言。
在使用 @dataclass 构建继承体系时，常遇到父类字段声明为可选（如 list[str] | None），而子类逻辑上强制其非空的情形。此时若不显式告知类型检查器，mypy 仍会按父类类型推断，导致在调用 .append()、.extend() 等方法时报错：“Item None of union has no attribute append”。
最简洁、符合 PEP 561 和 mypy 最佳实践的解决方案是：在子类中以变量注解（variable annotation）方式重声明该属性，指定更精确的非空类型。这并非运行时赋值，而是向类型检查器提供更强的契约信息。
以下是正确写法：
from dataclasses import dataclass
@dataclass
class MaybeTextContainer:
text: list[str] | None
class CertainlyText(MaybeTextContainer):
text: list[str] # ? 关键：显式覆盖类型，告知 mypy 此处永不为 None
def __init__(self) -> None:
super().__init__(text=[])
self.say_hi()
def say_hi(self) -> None:
self.text.append("Hi") # ✅ mypy 不再报错
✅ 该写法满足以下要求：
- 无需在每个方法中插入 assert self.text 或 if self.text is not None:；
- 兼容 mypy --strict，通过全部检查；
- 不改变运行时行为（__init__ 仍由父类完成初始化，类型注解仅用于静态分析）；
- 符合 mypy 的“属性覆盖（attribute override）”规则：子类注解可窄化父类类型（contravariant in assignment, covariant in usage）。
⚠️ 注意事项：
- 必须确保子类 __init__ 总是为该字段赋予非空值（如示例中的 text=[]），否则运行时仍可能出错，但类型安全由开发者保障；
- 不要省略类型注解而仅靠赋值（如 self.text = []），因为 mypy 不会据此推断字段类型在子类中被“升级”；
- 若字段需支持 None 的子类与非 None 的子类并存，此模式天然支持——各子类独立声明，互不影响。
这种模式也适用于其他可空类型场景，例如 Optional[int] → int、str | None → str，是构建健壮、可维护类型化继承结构的核心技巧之一。
