设计判断、经典论点与证据边界
围绕十一类设计问题保留原始论据、分歧和适用条件，辨认架构、类型、测试与组织主张能够支持到哪一步。
设计需要哪种判断
“修改更容易”“执行更快”“缺陷更少”和“交付更多”描述不同结果。一次游戏基准可以比较某条热路径，仓库调查可以描述采用分布，团队案例可以解释特定迁移，设计者的文章可以提出选择规则。它们对软件设计都可能有用，采用时需要把结果接回当前对象与约束。
本页将历史代码组织研究的十一类问题及经典论点保留在架构专题。机制解释与选择条件在正文闭合；引用帮助取得原始材料。2026-10-05 本轮直接复查了 AWS 形式化规格案例、Mock Roles 论文与语言质量复现论文的公开材料；其余研究与经典文献的具体案例、数字及批评主要沿用归档转述，未全部重新取得原文。因此不使用旧百分比作为当前项目效果或统一阈值。
复杂度来自哪些关系
Brooks 的本质困难与偶然困难区分，可以用来辨认问题固有的业务关系和由表达、工具、实现方式增加的工作。订单的退款条件需要被准确表达；为了满足某个工具而复制多套相同状态则增加了维护关系。两类困难不总能凭表面规模分开，同一机制也可能既解决问题又增加复杂度。
Moseley 与 Marks 的《Out of the Tar Pit》继续区分逻辑、状态和控制，并对当时仍有多少困难属于本质提出不同判断。它提出一种可能降低复杂度的组织方法，不能推出所有系统都应采用同一函数式或关系式方案。Hickey 的 Simple Made Easy 区分结构是否纠缠与某人是否熟悉：熟悉可以让操作容易，独立变化的关系仍可能互相牵动。
Ousterhout 用变更放大、认知负担和未察觉的关联描述复杂度表现，深模块以较小接口承载较丰富能力。接口大小与实现复杂度没有一个跨项目通用的测量比值。小函数可以清楚命名职责，也可能把一条规则分散到多处；长函数可以保存顺序，也可能混入多项互不相干的效果。判断要沿实际变化和依赖完成。
Sandi Metz 的 Wrong Abstraction 描述一个随需求变化的过程：共同表达已经不成立时，可以先恢复各调用者的完整代码，再找到真实共同规则。它没有要求长期保留所有重复。抽象增加越来越多的模式参数、调用方绕过默认路径，是值得检查的变化信号。Sandi Metz，The Wrong Abstraction
AI 编码改变了哪个环节
自动补全、交互式代理和自主执行可以承担不同工作。提交数量、代码行数、发布数量和实际使用量分处生产链的不同位置。局部写码更快后，需求澄清、评审、返工、集成或部署仍可能限制交付；观察到下游增幅较小，尚不能定位其中哪一个环节造成衰减。
归档收录 NBER 的匹配事件研究、METR 的资深开源维护者实验、GitClear 的商业度量和 DORA 的调查。它们的样本、工具代际、对照和结果口径不同；归档还记载 METR 后续调整估计和设计，因此早期工具的结果不能直接充当当前工具效果。参与者自觉加速与任务实际用时可以不同，需要在同一任务口径下核对。
规格驱动开发把要求、计划、生成与检查连接起来，也可能带来重复产物、过细条款和规格代码漂移。历史研究没有取得足以确认其统一收益的独立对照证据。“组织单位已经由模块转为生成块”同样保留为假说。可执行约束、行为测试与实际 diff 仍需要接回目标行为；Agent 文本本身没有成为事实来源。
测试怎样塑造接口
按结果测试使内部结构有调整空间；按交互测试可以使协议次序、资源释放和角色责任可见。二者的价值取决于所断言关系是否本来就是契约。若测试要求每个内部辅助函数恰好调用一次，普通重构也会破坏它；若测试要求写入失败后释放借用连接，这一关系就有独立意义。
Mock Roles, not Objects 论文围绕协作角色建立窄接口，同时明确 mock 无法确认接口双方的实际一致性。把外部基础设施接到自有角色接口，有助于局部控制输入和失败；还需真实组合检查发现替身漂移。本轮读取了原论文，采用其设计论点，不把它作为任意 mock 比例的效果实验。Freeman 等，Mock Roles, not Objects，OOPSLA 2004，§4、§8
归档的 Spadini 等研究将使用原因、依赖职责和保持 mock 与真实行为兼容的成本联系起来，属于观察与从业者证据。TDD 的工业案例、元分析和 Fucci 的过程拆解研究分别比较不同对象；test-first 顺序、迭代粒度和节奏也应分别判断。某些任务里的外部质量改善不能直接推出所有项目都节省时间。
“集成测试”的名称也没有统一实验边界：前端 DOM 与组件组合、数据库容器组合、Google 按资源和进程划分的测试规模各有口径。比较测试金字塔或奖杯前，先说明使用了什么真实对象、替换了什么、观察哪份结果。具体执行方法由软件测试专题维护，这里保留其对设计接缝的作用。
领域模型和架构风格何时有用
Transaction Script 沿一项业务操作组织步骤，流程简单时直接可读。Domain Model 把状态和相关规则接到领域对象，多个流程共同维护复杂不变量时，可以减少规则分散。只建立多层对象，却把全部规则仍集中在外部脚本，会同时保留层次成本和规则分散；Fowler 的贫血模型批评针对这种组合。Fowler，Anemic Domain Model
端口与适配器让核心依赖所需角色，运输、存储或测试实现接到相应端口；端口粒度仍是设计选择。垂直切片把一次能力所需文件集中，分层把共同技术职责集中。模块化单体在一个部署单元中保留清晰边界，独立服务增加网络、版本和数据协调成本。它们可组合，采用不依赖固定目录层数。
CQRS 分开写入与读取模型，适合二者确有不同要求时；复制后的读模型还需恢复和新鲜度规则。事件溯源用事件记录重建状态，需定义事件的长期含义、版本、顺序、重复及重建过程。事件通知则可能仅表示变化发生，不能因使用事件就宣称采用事件溯源。
归档的 DDD 仓库调查主要测风格分布，未直接测维护收益；Prime Video 的视频质量分析案例把成本接到特定编排和存储调用。该案例不能给出所有微服务或单体的成本排序。当前可以提出按领域关系、隔离目标和部署责任选择的规则，尚无一个适用所有项目的“复杂度阈值”。
范式、布局与性能要分别比较
面向对象把身份、状态和操作连接起来；函数式组合强调明确的输入输出和副作用边界；数据导向组织强调批量访问与布局。它们各自解决不同关系。例如在导入系统中，解析器可以是纯函数，连接对象负责释放，批处理使用适合数据库的布局。
ECS 用实体身份、组件数据与处理系统组织程序。SoA 将同字段连续保存，AoS 将同对象字段相邻保存；哪种布局更快取决于访问模式、缓存、向量化和并行条件。虚分派或细碎跳转可能增加热路径开销，普通业务接口还可能被网络或数据库时间主导。特定塔防游戏或形状面积微基准的吞吐，无法承担所有应用的维护结论。
编程语言与缺陷的仓库关联还会受项目类别、规模、提交习惯和缺陷判定影响。本轮复查的 Berger 等复现论文重新检查了语言与 GitHub 代码质量研究，支持对原始关联和因果解释保持限制；它没有建立一种适合全部软件的范式排序。Berger 等，Correcting A Large-Scale Study of Programming Languages and Code Quality in GitHub，2019
“真正 OOP”之类历史定义争论还需区分 Simula 的对象发展、Kay 的消息传递表述和后来追述。原作者定义可以说明设计思想，不能排除其他已经实际存在的对象语言与组织方式。
类型、契约和规格各约束什么
解析把未知表示变为保持已检查条件的内部对象。例如把任意数量文本解析成有界整数，后续使用方可以依赖解析结果；只返回一个 true，再继续传原始字符串，调用方仍需自行恢复条件。检查器、解析器和类型表达各承担不同环节。
契约说明调用方应满足哪些前提、执行方保证哪些结果。封闭的可信内部调用可以减少重复工作；跨网络、存储、插件或权限边界仍需实际校验，不能将 Design by Contract 的客户义务直接当成外部输入已可信。可恢复失败可以进入显式结果，不变量破坏则保留诊断和中断；Result、异常与错误值之间尚无统一跨任务效果排序。
归档的类型研究包含“历史缺陷中可以检出多少”与“采用后实际减少多少”两类构念。可检出比例需要原输入及合理反事实，无法直接变为当前团队已预防缺陷的比例。生成代码通过类型检查，仍可能错误实现需求、公开秘密或产生错误外部效果。
形式化规格精确描述状态、转移、允许行为和环境假设。模型检查可以探索声明范围内的交错，检验 safety（不发生某种坏状态）与 liveness（在相应条件下最终取得进展）。有限模型、遗漏的失败和实现映射仍限制结论。
本轮读取的 AWS 原始稿 dated 2014-09-29，记载十个大型复杂系统、七个团队使用 TLA+，在它们的领域获得设计检查和优化帮助；其中一个锁管理案例没有检查 liveness，因而漏掉相应问题。这是参与者经验与案例，不能推出所有团队的学习期限，也不证明源码实现自动符合模型。Newcombe 等，Use of Formal Methods at Amazon Web Services，§Value、表格及局限
规格的精度同样是一项设计决定。大量自然语言条款可能仍遗漏状态与提交粒度；函数表、状态规则或可检查模型可以把关键关系说清。文档厚度与可检查性需要分别判断。
异步、并发和所有权带来什么约束
异步接口可能沿调用链要求对应等待形式；async/await 改善表达后，调用方仍需处理暂停、失败和子任务完成。线程、协程、虚拟线程或可传入 I/O 能力的接口采用不同取舍，不能仅根据从业者文章断言一种模型已普遍胜出。
结构化并发让子工作归属于明确范围：父工作退出时知道有哪些子工作未结束，并按政策等待或取消。语言和库是否提供这种关系，需要读取实际接口；Promise.all 拒绝不会自动中止其他 Promise。取消能否进入真实操作及外部效果是否已发生，也分别判断。
所有权和借用约束可以限制别名、可变访问及资源生命周期。内存安全语言降低某些错误的表示空间，FFI、unsafe 和外部资源仍有边界。归档的 Android 时序数据和 Discord 迁移是特定系统证据，不能由其比例或 GC 案例直接推导所有团队的生产力；互操作接口覆盖和学习成本也进入采用判断。
仓库、所有权与组织怎样对应
单仓可以支持跨包原子改动，依赖图、增量构建、访问控制与版本政策决定它是否可维护。多仓支持明确访问和发布边界，跨仓契约与协调仍需管理。Google 的大型单仓实践与反方经验说明工具投入和隔离需要不同；没有一个仓库数量就能确定结果的规则。
主干开发、短期分支和多版本发布需要相容的集成与恢复条件。GitFlow 原作者对持续交付场景作过后续限定；长期维护多个版本的软件仍有不同发布要求。分支调查里的高绩效关联不能直接证明仅改变分支名称就会取得相同效果。
代码所有权研究中的“所有者”可以按代码行、提交或最后修改计算，这些口径可能得到不同人员集合。贡献集中、专长与缺陷的关联还受到模块规模和历史影响；应据实际职责安排评审与知识备份，不能把关联变成禁止多人协作的规则。
组织与软件依赖的镜像关系可以提示沟通边界。调整团队可能改善责任，也可能增加协调；从相关性直接推导逆康威干预效果仍缺决定性证据。历史材料中 Team Topologies 的反方引用链未全部确认，保留为未解批评，不能据此宣布整套方法被证伪。
评审、命名与决策怎样保留知识
评审既发现问题，也传递为何这样组织、哪里容易失败以及谁承担维护。自动格式和静态检查可以处理某些机械规则，领域约束、例外理由和事实变化仍需有能判断的责任者。AI 评论被接受的频率不能单独说明错误发现率，更不能证明团队知识和责任已经转移。
命名让读者识别角色、范围与不变量；统一名称帮助连接代码、图和消息。缩短或延长名称需要比较实际使用位置和误解，不能由一个平均字符数建立通用规则。决策记录保存当时约束和后果，当前说明保存实际实现；理由变化时核对相关说明，保留历史采用状态。
Naur 将程序理解与维护者形成的理论联系起来，提示仅保存文本可能不足以转移设计知识。这不要求放弃文档；可以同时保留代码路径、例子、可检查规则和协作讨论，让新维护者能重新建立对象关系。文档存在、读者实际理解和团队完成交接需要不同证据。
演进怎样保护已知行为
历史补丁保存了异常输入、兼容关系和外部环境知识。重写前取得这些行为，并明确哪些必须保留、哪些有意改变。渐进替换先建立接缝，通过受控流量和版本核对迁移，再撤去过渡；扩展、迁移、收缩分别有数据与软件恢复边界。
旧系统继续服务、消费者逐步迁移可以减小一次改变范围，也增加过渡期组合。Strangler 和 Parallel Change 提供这种选择关系，不能承诺每次都比重写便宜。功能首次上线没有旧消费者时，长期双实现也可能没有价值；判断依据回到实际资产和变更目标。
技术债连接未来变化与当前成本。记录受阻对象、触发条件和偿还结果，比仅列坏味道更能决定行动。重构保持声明范围内行为，特性变更主动改变行为；两者可以同一任务实施，但审查需要辨认各自目标。度量改善维持时间也不等于业务收益维持时间。
归档的 Google 机械迁移与 Amazon 工具迁移是公司案例或自估收益。它们说明自动化可以参与大规模保持行为的变更，尚不能据此宣布架构级重写已得到同等验证。生成比例、人工修改比例和节约工时有不同分母。
度量和学习怎样形成反馈
代码行数、圈复杂度、认知复杂度、坏味道、耦合和缺陷倾向可以帮助定位问题。规模与变更频率同时影响多项指标，相关性需检查混淆；一个控制规模后不再显著的关系，不能继续表述为已证因果。理解时间、答题正确率与维护工时也属于不同结果。
归档保留坏味道与维护成本的受控研究、OO 度量的规模混淆、认知复杂度及其阈值缺口，以及后续不一致结果。其中部分全文仅取得摘要，不能沿用其旧证据等级作为当前证明。固定阈值可以是团队控制政策，实际是否预测问题仍需校准。
设计能力可以通过沿真实行为读码、预测变化影响、比较替代结构和取得反馈逐步形成。专家利用熟悉结构识别程序，违反惯例可能增加理解成本；“练习量”与“任务能力迁移”不能自动等同。Samman 的 Learning Hour 与真实代码 Ensemble 是有明确迁移意图的方法设计，整条路径未被归档所取得的对照研究完整验证。本专题提供理解与判断路径，不把方法存在写成学习效果已证。
面对下一次设计变化，可以先列预期保持的行为，取得现有入口与失败，再选择能隔离影响的边界，最后检查实际差异和结果。条件相同的反例、接口漂移或观测结果，应当改变原有判断；某种风格的名称无需成为终点。
最后更新于