NewType 是类型提示层面的轻量别名，运行时无开销且不改变实例类型；继承则创建真实子类，支持方法定义与行为定制，影响运行时对象模型和类型关系。
NewType 和 继承 都能创建新类型，但目的、行为和底层机制完全不同。NewType 是类型提示层面的“轻量别名”，不产生运行时开销；继承是面向对象的实质性扩展，会改变实例行为和类型关系。
语义与用途不同
NewType 仅用于类型检查器（如 mypy），告诉开发者“这个 int 不是一般 int，而是用户 ID”。它不改变值本身，也不影响运行时逻辑：
- UserAge = NewType("UserAge", int) —— 运行时就是普通 int，isinstance(UserAge(25), int) 返回 True
- 继承（如 class UserAge(int): pass）定义了新类，可添加方法、覆盖行为，isinstance(UserAge(25), int) 也返回 True，但它是真正的子类
- 类型检查器对 NewType 更严格：不能把普通 int 直接赋给 UserAge 变量；而继承后的子类变量可以接受父类实例（协变/继承规则生效）
运行时表现差异明显
NewType 在运行时几乎不存在：
- 它只是对原始类型的函数式包装：UserAge = NewType("UserAge", int) 实际等价于 lambda x: x（无额外对象创建）
- 继承会产生真实类对象，占用内存，支持 __new__、__init__、自定义方法等
- 用 type(x) 查看：NewType 实例类型仍是 int；继承实例类型是新类名
类型系统中的角色不同
在类型提示中，它们被解释的方式不同：
立即学习“Python免费学习笔记（深入）”；
- NewType 是“名义类型”（nominal typing）的轻量模拟：即使两个 NewType 基于同一类型（如 UserID = NewType("UserID", int), OrderID = NewType("OrderID", int)），它们互相不可赋值
- 继承遵循 Python 的子类型规则：子类是父类的子类型，可向上转型；但 NewType 之间、NewType 与原类型之间没有子类型关系（mypy 默认禁用隐式转换）
- 泛型或协议约束中，NewType 通常被当作其基础类型处理；而继承类可单独实现协议、参与泛型特化
何时选哪个？
按需选择，不混用：
- 只为了区分同类型的不同业务含义（如 ID、端口、毫秒数），且不需要运行时行为变化 → 用 NewType
- 需要定制构造逻辑、重载运算符、添加属性或方法、参与多态 → 用 class 继承
- 想让类型更安全又不想牺牲性能（比如高频数值计算场景）→ NewType 是零成本抽象
