当类通过跨模块导入使用时，类型检查工具（如 mypy）可能因缺少 __init__ 返回类型注解而将实例推断为 Any，导致参数缺失警告消失；解决方案是为所有 __init__ 方法显式添加 -> None 注解。
当类通过跨模块导入使用时，类型检查工具（如 mypy）可能因缺少 `__init__` 返回类型注解而将实例推断为 `any`，导致参数缺失警告消失；解决方案是为所有 `__init__` 方法显式添加 `-> none` 注解。
在 Python 类型检查实践中，一个常见却容易被忽视的问题是：同一段代码在模块内调用时能正常触发类型警告（如 method_b() 缺少必需参数 var: int），但一旦该类被其他模块导入后，警告便完全消失。这并非 IDE 或 linter 的 Bug，而是类型推断链断裂所致——根本原因在于未标注 __init__ 方法的返回类型。
Python 中，__init__ 方法逻辑上不返回值（隐式返回 None），但若未显式标注 -> None，静态类型检查器（如 mypy、pyright）将无法准确推断构造出的实例类型。此时，self.a = A() 中的 A() 被推断为 Any，进而导致 c.a.b.method_b() 的整个调用链失去类型约束：c.a → Any，c.a.b → Any，c.a.b.method_b() → 允许任意参数个数，警告自然消失。
✅ 正确做法是：为每个 __init__ 方法显式声明返回类型 -> None。这是 PEP 484 推荐的最佳实践，也是类型检查器准确建模对象生命周期的前提。
以下为修复后的示例代码：
# package/sub_package_1/sub_module_1.py
class B:
def __init__(self) -> None: # ✅ 关键：显式标注 -> None
pass
def method_b(self, var: int) -> None:
pass
class A:
def __init__(self) -> None: # ✅ 同样需标注
self.b: B = B() # ✅ 建议同时为属性添加类型注解（增强健壮性）
def method_a(self, var: int) -> None:
pass
class C:
def __init__(self) -> None: # ✅ 不可遗漏
self.a: A = A()
def method_c(self, var: int) -> None:
pass
a = A()
a.b.method_b() # ❌ mypy 报错：Too few arguments (1 expected, 0 given)
c = C()
c.a.b.method_b() # ❌ 同样报错：参数缺失 —— 跨模块调用 now works correctly
而在 sub_module_2.py 中导入使用时，类型信息将完整传递：
# package/sub_package_2/sub_module_2.py
from package.sub_package_1.sub_module_1 import A
class C:
def __init__(self) -> None:
self.a: A = A() # ✅ A 的 __init__ 已标注 -> None，类型链完整
def method_c(self, var: int) -> None:
pass
c = C()
c.a.b.method_b() # ❌ 同样触发 mypy 参数警告 —— 修复成功
⚠️ 注意事项：
- 仅添加 -> None 就足够恢复类型检查能力；无需额外安装插件或修改配置。
- 强烈建议配合属性类型注解（如 self.b: B），避免因字段动态赋值导致的推断偏差。
- 若使用 dataclass 或 TypedDict 等结构，其生成的 __init__ 默认已带 -> None，但仍需确认所用 Python/mypy 版本兼容性。
- 在大型项目中，可通过 mypy 配置启用 --disallow-any-explicit 或 --check-untyped-defs 进一步强化约束。
总结：类型安全不是“开箱即用”，而是由精确的类型注解层层构建。__init__ 的 -> None 虽小，却是连接模块间类型信任的关键锚点。养成统一标注习惯，即可彻底解决跨模块调用下类型警告失效的问题。
