Python类型注解的实际作用是什么？如何强制约束变量/参数类型？

你遇到的问题核心是对Python类型提示的设计存在认知偏差：
代码里写的:int、-> int属于类型提示（Type Hints），Python解释器运行时会完全忽略这些标注，不会在赋值、传参、返回时做任何类型强制校验——这就是为什么你把configparser读出的字符串'3'赋值给标注为int的变量时，代码不会抛出任何错误，变量实际类型仍为str的根本原因。

对应问题中的.ini文件参考：

你编写的测试代码中，所有标注了int类型的参数、属性、返回值最终传入字符串也能正常运行，是Python的默认设计行为，并非解释器故障。

类型提示的实际作用仅包含三点：

• 为IDE、静态类型检查工具（mypy、pyright等）提供类型依据，在编码阶段提前识别类型不匹配问题
• 降低代码维护成本，其他开发者不需要通读内部逻辑，就能快速知道参数、返回值的预期类型
• 支撑IDE代码补全、自动重构等功能，提升开发效率

要避免这类低级错误潜伏到运行多日才触发，可以根据场景选择以下方案：

方案1：接入静态类型检查（首选，零运行时开销） #

在开发流程中接入静态类型检查工具，目前主流选择是mypy，以及VS Code、PyCharm等IDE默认集成的pyright：

• 编码时IDE会自动对类型不匹配的代码标红提示，比如你把configparser读出的str赋值给int变量时，会立刻弹出Expected type 'int', got 'str' instead的提示，写完代码就能发现问题，不需要等运行触发。
• 将静态检查加入CI流水线，代码提交、合并时自动跑校验，类型不通过的代码直接拦截，禁止合入仓库。

针对你提供的测试代码，mypy会直接抛出明确错误，从开发阶段就阻断问题：

error: Argument 1 to "testclass" has incompatible type "str"; expected "int"  [arg-type]

方案2：边界节点增加运行时校验 #

配置读取、外部接口入参这类边界位置，输入值本身是无类型的外部数据，静态检查无法完全覆盖，可增加运行时校验：

• 轻量场景直接用isinstance做类型判断，不符合预期立刻抛出错误，避免错误类型的变量流入后续业务逻辑：

var: int = config['example']['var']
if not isinstance(var, int):
    raise TypeError(f"配置项var需为整数，实际类型为{type(var)}")

• 配置项多、参数复杂的场景，直接使用pydantic这类成熟的校验库，只需要声明字段类型，库会自动完成类型校验、合理转换，类型错误时会抛出定位清晰的校验错误，不需要手写大量判断逻辑。

方案3：使用configparser自带的类型读取方法 #

你使用的configparser本身就提供了类型安全的读取API，从源头避免拿到字符串类型的值：

• 读取整数调用config.getint(section, key)
• 读取浮点数调用config.getfloat(section, key)
• 读取布尔值调用config.getboolean(section, key)

上述方法内部会自动完成类型转换，配置值不符合类型要求时会立刻抛出错误，不需要手动调用int()做转换。示例：

# 不要直接通过config['example']['var']取字符串值
var = config.getint('example', 'var')  # 直接返回int类型结果

内容的提问来源于stack exchange，提问作者Fábio Gandini