增量编译如何判断受影响文件，公开类型变化为何比实现变化传播得更远

# 核心结论

增量编译不是只检查刚修改的文件，而是复用上一次构建保存的程序结构、文件版本、模块解析结果和公开签名，再沿依赖关系判断哪些结果仍然有效。文件内部实现发生变化但导出类型保持稳定时，影响通常能够限制在较小范围；一旦公开签名改变，所有直接或间接依赖它的文件都可能需要重新检查。在项目引用场景中，声明输出代表项目公共接口，因此公开类型变化往往会跨项目传播。稳定、精简的公共类型表面既能降低耦合，也能改善大型工程的构建性能。

# 底层机制

编译器会建立由源文件、模块引用和符号关系组成的程序图。开启incremental后，构建信息文件保存可供后续运行复用的状态。下一次构建不仅比较文件是否变化，还会判断变化是否影响对外