二〇二六年四月二十一日

1 files changed, 101 insertions, 0 deletions

diff --git a/source/_posts/谈谈软件工程.md b/source/_posts/谈谈软件工程.md
new file mode 100644
index 00000000..e92fa4c1
--- /dev/null
+++ b/source/_posts/谈谈软件工程.md
@@ -0,0 +1,101 @@
+---
+title: 谈谈软件工程
+date: 2025-12-20 21:40:25
+mathjax: true
+tags: [Technique]
+---
+
+> 在有限认知下，持续对抗系统熵增，在相互冲突的目标间做出最优权衡，以可工程化的方式交付价值。
+
+一、复杂性是固有属性，而非偶然缺陷
+
+软件复杂性源于**状态空间的指数级爆炸**。一个仅有100个布尔变量的系统，其状态空间已达 $2^{100}$（约 $10^{30}$），远超人类认知极限。
+
+```python
+# 示例：复杂度不在于代码行数，而在于状态组合
+class Order:
+    def __init__(self):
+        self.paid = False          # 2^1
+        self.shipped = False       # 2^2
+        self.cancelled = False     # 2^3
+        # 3个布尔值 -> 8种合法状态，但业务规则会禁止某些组合
+        # 真实系统有上千个状态变量 -> 灾难
+```
+
+复杂性是软件的本质，无法消除，只能转移或控制。这与建筑工程有本质区别，桥梁不会自发产生新状态。
+
+二、 熵增是不可逆热力学过程
+
+组织沟通结构的混乱会精确映射为代码结构的混乱。代码在没有外力干预下必然走向腐烂。
+
+```mermaid
+graph TD
+    A[需求变更] --> B[快速补丁]
+    B --> C[技术债务]
+    C --> D[开发速度下降]
+    D --> E[更多补丁]
+    E --> C
+    style C fill:#f00,stroke:#333,stroke-width:2px
+```
+
+技术债务的利息是**超线性**增长的。一个类被10个模块依赖时，修改它的成本不是10倍，而是约 $O(n^2)$ 倍，因为需要理解所有依赖方的上下文。
+
+三、人类认知约束
+
+人类工作记忆容量为 $7 \pm 2$ 个信息单元。这是代码审查、架构设计、故障排查的硬性天花板。
+
+- **微观影响**：函数参数超过5个，Bug率指数上升（认知过载）
+- **宏观影响**：微服务拆分粒度需匹配团队规模（2个披萨团队原则）
+
+**工程化手段**：通过**抽象**和**封装**将信息压缩到认知边界内。
+
+```java
+// 坏：每次调用需理解10个参数
+void processOrder(int userId, int productId, String addr, ... ) // 8+参数
+
+// 好：将认知负荷压缩到1个概念
+orderProcessor.handle(new OrderContext(...)); // 单一职责
+```
+
+四、权衡是唯一的决策动作
+
+不存在"最佳实践"，只存在"在特定约束下的最优权衡"。
+
+| 维度 | 方案A | 方案B | 权衡代价 |
+| :--- | :--- | :--- | :--- |
+| **一致性** | 强一致 (分布式锁) | 最终一致 (事件驱动) | 可用性↓ vs 延迟↓ |
+| **性能** | 缓存热点数据 | 实时查询DB | 一致性风险 vs 成本↑ |
+| **交付** | 重构老系统 | 增量迁移 | 短期风险 vs 长期成本 |
+| **灵活性** | 抽象接口 | 硬编码 | 复杂度↑ vs 开发速度↑ |
+
+**决策框架**：每次技术选型必须回答：
+1. 优化了什么指标？（延迟、吞吐、正确性）
+2. 牺牲了什么？（成本、一致性、简单性）
+3. 牺牲是否可接受？（业务是否允许P99.9延迟上升50ms？）
+
+五、工程化 = 可重复 + 可验证 + 可协作
+
+代码本身是廉价的，**可维护、可演进的系统**才是工程目标。
+
+```mermaid
+graph LR
+    subgraph "工程化三支柱"
+        A[自动化测试] --> D[可验证]
+        B[CI/CD流水线] --> E[可重复]
+        C[Code Review + 文档] --> F[可协作]
+    end
+    D & E & F --> G[对抗熵增]
+```
+
+**关键指标**：
+- **MTTR**（平均修复时间） < **MTBF**（平均故障间隔）是伪命题。真实目标是：**MTTR 必须小于业务容忍的极限**。
+- **Bus Factor**：核心模块的 Bus Factor=1 时，系统已处于高风险状态，与人无关，是工程化失败。
+
+---
+
+自然界趋向无序，软件工程通过持续注入**负熵**（规范、测试、重构）维持秩序。
+
+在认知约束下，通过严格的工程纪律，将不可控的复杂性转化为可控的复杂性，并在永恒的权衡中追求局部最优解。
+
+没有银弹，只有**在正确的时间，为正确的目标，做出正确的权衡，并准备好为选择付出代价**。
+