Ensures work is done by aligni…

# 购物车模块规格驱动开发改造指南

一、规格驱动开发（Spec-Driven）整体思路

先写可验证的规格（Spec），再实现/重构代码，最后用测试验证。推荐流程：

1. 定义业务规则 → 2. 编写 Spec 文件 → 3. 实现库存扣减逻辑 → 4. 实现优惠券叠加逻辑 → 5. 补充单元测试 → 6. PR 提交评审

二、编写库存扣减 Spec

用 Gherkin（BDD）或 OpenAPI/TSD 形式描述，核心规则示例：

```gherkin

Feature: 库存扣减

Scenario: 正常扣减

Given 商品 SKU 库存为 100

When 用户购买 2 件

Then 库存变为 98，生成扣减流水

Scenario: 库存不足

Given SKU 库存为 1

When 用户购买 2 件

Then 抛出 InsufficientStockException，库存保持不变

```

关键规则清单（写入 spec.md）：

• 原子性：扣减须在事务内完成，支持幂等（同一订单号重复请求只扣一次）
• 并发安全：使用乐观锁或 UPDATE ... WHERE stock >= n 防止超卖
• 回滚：订单取消/超时未支付需归还库存
• 边界：数量 ≤ 0、SKU 不存在、删除态商品的处理

三、编写优惠券叠加 Spec

• 可用性校验：有效期、门槛金额、适用商品范围、用户领取状态
• 叠加规则：明确互斥组（如满减券与折扣券互斥）、叠加顺序（先商品优惠再订单券）
• 金额计算：明确分摊逻辑（优惠券金额按行项目比例分摊）、退款时的回退规则
• 精度：金额统一用最小货币单位（分）整数运算，禁止浮点
• 负数校验：优惠后金额不得小于 0

四、补充 20 个单元测试

按规则维度拆分（不依赖真实数据库，用 Mock/内存仓储）：

| 维度 | 用例数 | 覆盖点 |

|---|---|---|

| 库存扣减 | 8 | 正常扣减、不足、并发、幂等、回滚、边界值、SKU 无效、流水正确性 |

| 优惠券校验 | 5 | 过期、未达门槛、不适用商品、已使用、正常抵扣 |

| 叠加计算 | 5 | 单券、多券叠加、互斥拦截、分摊精度、金额下限保护 |

| 购物车集成 | 2 | 加购→结算全链路、空购物车 |

命名规范：should_xxx_when_xxx，每个测试遵循 AAA（Arrange-Act-Assert）结构，目标行覆盖率建议 80% 以上。

五、GitHub PR 提交流程

1. 建分支：git checkout -b feat/cart-spec-driven

2. 提交拆分：建议 3 个 commit——docs: 添加库存/优惠券规格、feat: 实现扣减与叠加逻辑、test: 补充20个单元测试

3. 推送：git push origin feat/cart-spec-driven

4. 发起 PR：写清变更说明、Spec 链接、测试报告（覆盖率截图）、影响范围

5. 自检项：CI 通过、Code Review 至少 1 人批准、与主分支无冲突

6. 合并：建议 Squash Merge，合并后删除分支

六、注意事项

• Spec 文档随代码同仓库维护，逻辑变更须同步更新
• 涉及真实价格、库存阈值的业务数值请与产品确认后写入配置，勿硬编码