可测试性

副标题 / 摘要 引用透明意味着“同样输入总有同样输出”。本文解释这一概念如何提升可测试性、可推理性与并发安全。 目标读者 希望写出更易测试代码的开发者 关注并发与一致性的工程师 正在学习函数式编程的人 背景 / 动机 当函数的返回值只依赖输入时，代码就更容易推理。 相反，隐藏的全局状态会让调试与重构成本陡增。 核心概念 引用透明：表达式可被其值替换而不改变程序行为 非透明：依赖外部状态或副作用 副作用：修改外部状态或进行 I/O 实践指南 / 步骤 核心计算逻辑保持纯函数 副作用放在边界层（I/O、数据库） 用依赖注入隔离状态 为纯函数写确定性测试 可运行示例 import time def pure_add(a: int, b: int) -> int: return a + b def impure_timestamp(x: int) -> int: return x + int(time.time()) if __name__ == "__main__": print(pure_add(2, 3)) print(impure_timestamp(2)) 解释与原理 引用透明让你可以把函数调用“当作常量”替换，这降低了推理难度。 非透明函数依赖外部状态，导致相同输入产生不同输出。 常见问题与注意事项 纯函数是否更慢？ 通常不会，反而更容易优化与缓存。 现实系统能完全纯吗？ 不能，但可以把副作用隔离在边界。 缓存和引用透明有什么关系？ 引用透明是安全缓存的前提。 最佳实践与建议 把业务规则写成纯函数 用 DTO 传递数据，避免隐式依赖 明确标注副作用函数 小结 / 结论 引用透明性提高了可预测性与测试效率。 即使无法彻底纯化，也应尽量把副作用隔离。 ...

副标题 / 摘要 测试不是开发的附属品，而是设计的反馈机制。本文说明“可测试性”如何影响模块边界、依赖方向与结构选择。 目标读者 负责设计模块结构的工程师 想提升测试覆盖与稳定性的开发者 需要制定工程规范的技术负责人 背景 / 动机 当代码难以测试时，往往意味着设计存在强耦合或隐藏依赖。 可测试性是一面镜子，能直接暴露设计问题。 核心概念 可测试性：代码是否能在隔离环境中被验证 依赖注入：把依赖显式传入，便于替换 边界分层：把 IO 与业务逻辑分离 实践指南 / 步骤 把 IO 与业务逻辑拆开 用函数参数或构造函数注入依赖 对外部系统做抽象接口 让核心逻辑保持纯粹、可复用 测试用例优先覆盖核心逻辑 可运行示例 class Repo: def get(self, user_id): return {"id": user_id, "name": "Alice"} class UserService: def __init__(self, repo): self.repo = repo def greeting(self, user_id): user = self.repo.get(user_id) return f"Hello, {user['name']}" class FakeRepo: def get(self, user_id): return {"id": user_id, "name": "Test"} if __name__ == "__main__": service = UserService(FakeRepo()) print(service.greeting(1)) 解释与原理 如果依赖都被隐藏在内部，测试无法替换外部依赖。 通过依赖注入与分层设计，测试可以只关注业务逻辑。 ...

副标题 / 摘要 全局对象让依赖变隐式，导致难以测试、难以演进。本文用例子说明其危害，并给出可行替代方案。 目标读者 需要提高可测试性的工程师 经常处理“隐式依赖”的开发者 负责代码质量的团队 背景 / 动机 全局对象看似方便，但会让模块互相耦合，导致“改一个地方牵一大片”。 这在大型系统里是灾难。 核心概念 隐式依赖：调用方不明确传入依赖 共享状态：多个模块写同一对象 测试隔离难：全局状态污染测试 实践指南 / 步骤 识别全局状态 用依赖注入替代 通过参数显式传递依赖 在测试中替换依赖 消除跨模块共享写入 可运行示例 # 反例：全局对象 CONFIG = {"rate": 0.1} def calc(price): return int(price * (1 - CONFIG["rate"])) # 改进：显式注入 def calc_with_config(price, config): return int(price * (1 - config["rate"])) if __name__ == "__main__": print(calc(100)) print(calc_with_config(100, {"rate": 0.2})) 解释与原理 全局对象让依赖隐藏在模块内部，测试时很难替换。 显式传递依赖可以让函数可复用、可测试。 常见问题与注意事项 配置放全局不是很方便吗？ 方便但危险，建议在初始化阶段注入。 全局常量也危险吗？ 常量问题不大，主要问题在可变全局状态。 如何迁移？ 从最核心模块开始逐步消除全局依赖。 最佳实践与建议 用依赖注入替代全局对象 把配置集中在启动入口 尽量避免可变全局状态 小结 / 结论 全局对象是隐藏依赖的温床。 显式依赖是系统可测试与可维护的基础。 ...