Python3.7类型注解为何不限制运行时赋值，是否仅作用于静态检查工具？

你对Python类型注解的理解是正确的，Python解释器默认完全忽略所有类型注解，不会在运行时做任何类型校验，你没有遗漏任何运行时配置。

和Scala类型系统的核心差异 #

Scala是静态强类型语言，类型校验是编译环节的强制要求，类型不匹配的代码根本无法完成编译，自然也不可能运行。而Python的类型提示（遵循PEP 484规范）从设计之初就定位于服务静态分析工具，完全不参与运行时逻辑，这么设计的目的有两个：

• 不增加运行时额外性能开销
• 不破坏Python作为动态类型语言的原生灵活性

你示例中不符合类型约定的代码的说明 #

你给出的示例里有两处明显违反类型约定的写法，在静态检查工具（比如mypy、pyright）的扫描下会直接报错，不符合开发规范：

• tst2: int = None：int类型不允许赋值为None，如果要允许空值需要声明为Optional[int]
• tst3: Optional[int] = 'string'：Optional[int]仅允许接收int类型或者None，不能赋值为字符串

只要在开发流程中接入上述静态检查工具，这类不符合类型约定的代码会在开发阶段就被拦截，不需要等到运行时才发现问题。

运行时类型校验的实现方案 #

如果你的业务场景确实需要运行时强制校验类型，可以引入第三方库实现，比如常用的pydantic，在定义数据结构时声明的类型会在实例化阶段自动触发校验，不符合类型要求会直接抛出运行时错误。

内容的提问来源于stack exchange，提问作者Some Name