17370845950

Python函数副作用控制的核心是确保相同输入始终产生相同输出且不意外修改外部状态，常见副作用包括修改可变对象、全局变量、I/O操作及实例属性；应通过不可变数据、纯/操作函数分离、边缘化副作用、显式标注与针对性测试来实现可控。

Python函数的副作用控制，核心是让函数行为可预测：相同输入始终产生相同输出，且不意外修改外部状态。这是写出健壮、易测、可复用代码的基础。

什么是副作用？

副作用指函数在返回结果之外，对函数外部环境产生的可观测影响。常见包括：

• 修改传入的可变对象（如列表、字典）
• 修改全局变量或模块级状态
• 执行I/O操作（打印、写文件、发网络请求）
• 修改类实例属性（在纯函数语境下也视为副作用）

如何识别有副作用的函数？

观察函数是否“悄悄改变了什么”。例如：

def append_item(items, x):
    items.append(x)  # 修改了传入的列表 → 副作用
    return items

调用 my_list = [1, 2]; append_item(my_list, 3) 后，my_list 变成 [1, 2, 3] —— 这个变化不是靠返回值体现的，而是直接改了原对象。

控制副作用的实用策略

目标不是彻底消灭副作用（I/O必须存在），而是让副作用显式、集中、可控：

• 优先使用不可变数据结构：用元组代替列表做参数；用 tuple() 或 frozenset 封装；考虑 dataclasses.replace() 或 copy.deepcopy()（谨慎使用）避免原地修改
• 明确区分纯函数与操作函数：纯函数只计算（如 def add(a, b): return a + b）；带副作用的函数名应体现动作（如 save_to_file()、log_error()），不叫 process_data() 这类模糊名
• 把副作用“推到边缘”：业务逻辑层保持无副作用，I/O、状态更新等交给最外层函数或专用模块处理。例如：先用纯函数算出要写入的内容，再由一个单独函数负责写文件
• 用类型提示和文档说明副作用：在 docstring 中写明 “Modifies config_dict in-place”；用类型注解如 -> None 暗示函数主要靠副作用工作

测试副作用是否受控？

可预测性最终靠测试验证：

• 对纯函数，用多组输入断言输出，无需 mock
• 对有副作用函数，mock 外部依赖（如用 unittest.mock.patch 拦截 open 或 requests.post），验证是否按预期调用、传参、频次
• 检查是否意外污染共享状态：同一测试套中多次调用后，全局变量或缓存是否被残留修改