本文介绍如何通过 Python 3.12+ 的泛型类（class C[T]）和字面量类型（Literal[N]）为模整数类建模，使 IntegersMod4 和 IntegersMod5 在类型层面互不兼容，从而在 mypy/Pyright 中静态捕获跨模数加法等非法操作。
本文介绍如何通过 python 3.12+ 的泛型类（`class c[t]`）和字面量类型（`literal[n]`）为模整数类建模，使 `integersmod4` 和 `integersmod5` 在类型层面互不兼容，从而在 mypy/pyright 中静态捕获跨模数加法等非法操作。
Python 的类型系统虽无法对运行时动态生成的类（如闭包内定义的 InternalClass）进行精细区分——因为类型检查器在静态分析阶段无法追踪每次函数调用产生的“新类”身份——但我们可以借助参数化泛型类（Parameterized Generic Classes）实现同等语义的强类型建模。
核心思路是：将模数 n 提升为类型参数，而非运行时值。这样，IntegersModN[Literal[4]] 和 IntegersModN[Literal[5]] 在类型系统中就是两个完全不同的、不可互相赋值或运算的类型。
以下是推荐的、可被 mypy（≥1.10）和 Pyright（≥1.1.350）严格验证的实现方式：
from typing import Generic, TypeVar, Self, Literal
# 定义类型变量 N，约束为 int（实际使用时将被 Literal[N] 实例化）
N = TypeVar("N", bound=int)
class IntegersModN(Generic[N]):
x: int
def __init__(self, x: int) -> None:
# 运行时仍需取模，类型系统不干涉此逻辑
self.x = x % self._mod() # 注意：_mod() 需由子类提供（见下文）
def __add__(self, other: "IntegersModN[N]") -> Self:
# 类型上要求 other 必须与 self 共享同一 N（即同模数）
return self.__class__(self.x + other.x)
def __str__(self) -> str:
return str(self.x)
# 占位方法，供子类覆写以返回具体模数值（仅用于运行时逻辑）
def _mod(self) -> int:
raise NotImplementedError由于 Python 不支持在泛型基类中直接访问类型参数 N 的运行时值（即 N 是纯编译期概念），我们需要为每个具体模数显式定义子类，并在其中硬编码模数：
立即学习“Python免费学习笔记（深入）”；
class IntegersMod4(IntegersModN[Literal[4]]):
def _mod(self) -> int:
return 4
class IntegersMod5(IntegersModN[Literal[5]]):
def _mod(self) -> int:
return 5
class IntegersMod5Alt(IntegersModN[Literal[5]]):
def _mod(self) -> int:
return 5此时，类型检查器能精确识别：
- ✅
IntegersMod5(1) + IntegersMod5(2)→ 合法（同为IntegersModN[Literal[5]]） - ❌
IntegersMod4(1) + IntegersMod5(2)→ mypy 报错：Unsupported operand types for + ("IntegersMod4" and "IntegersMod5") - ❌
IntegersMod5(1) + IntegersMod5Alt(2)→ 同样报错！因为IntegersMod5和IntegersMod5Alt虽运行时行为一致，但类型上分别是IntegersModN[Literal[5]]的两个独立子类，不具备子类型关系（除非显式声明IntegersMod5Alt继承自IntegersMod5）
⚠️ 注意事项：
- 动态工厂函数不可替代：原问题中
IntegersModN(n)工厂函数因返回类型无法静态确定，无法参与泛型类型推导，故必须放弃，改用显式子类声明。Self的正确使用：__add__返回Self确保结果类型与接收者一致（如IntegersMod5加法返回IntegersMod5），而非笼统的基类。- 运行时 vs 类型时分离：
Literal[4]仅影响类型检查；实际取模仍需在_mod()中实现。若需完全零开销，可考虑@final+__slots__优化。- 工具链要求：需启用严格模式（
--strict）并使用较新版本 mypy（≥1.10）或 Pyright（≥1.1.350），且 Python ≥3.12（支持Generic[N]语法糖；3.13+ 更佳）。
总结而言，该方案以声明式代替动态式，用类型参数固化模数身份，实现了真正意义上的“每个模数一个不可互通的类型”。这不仅是 Python 类型能力的优雅实践，也体现了静态类型系统在建模数学结构时的核心价值：将设计约束提前到编辑与检查阶段，而非依赖运行时断言或文档约定。
