为什么重构代码容易引出新bug

重构代码时容易引入新bug的核心原因在于微小行为改变和隐性依赖未被察觉。例如，当将复杂函数拆分为多个小函数时，若未全面梳理调用链中的参数传递路径，可能出现隐式类型转换错误；再如修改全局状态变量的作用域时，若未同步更新所有引用位置，会导致竞态条件。更隐蔽的是，原有代码中可能存在针对特定边界条件的临时补丁（如特殊值判断），这些实现细节在重构时容易被忽略，最终引发异常分支执行。此外，过度抽象可能破坏模块间的契约关系，使接口签名不匹配。因此，重构必须配合严格的单元测试与集成测试，逐行验证变更点的影响范围。