静态类型检查

Python 中使用类型注解可提升代码健壮性，但静态类型检查并非完美，如 2019 年某开源项目中因类型错误导致崩溃，影响数百万用户。
这就是坑，别只依赖静态类型检查。
使用 Pyright 或 mypy 等工具可辅助静态检查，但需定期更新依赖库以避免误报。
别信类型检查可以替代单元测试。
实操提醒：结合动态测试，类型检查只是代码质量保障的一部分。

静态类型检查，就是编译时检查代码中变量的类型是否正确。这能及早发现潜在的错误，提高代码质量。
比如，Java在编译时就会检查类型，如果发现类型不匹配，编译器会报错。
C#也支持静态类型检查，它会在编译阶段检查类型安全。
Python虽然动态类型，但使用类型注解也可以进行静态类型检查。
静态类型的好处是，它能在代码运行前就发现很多错误，减少运行时错误的发生。
但缺点是，静态类型可能会让代码变得更复杂，增加开发成本。