# 模板、API 与 ABI 检查清单

## 模板与约束

- 模板或 `concept`/`requires` 约束是否与实现不一致，导致 SFINAE 或约束过宽/过窄在 diff 中可证错误。
- 特化或偏特化是否破坏主模板文档约定或 ODR（同一模板在不同翻译单元定义不一致）。

## API 可见性与演进

- 公共头文件中是否意外扩大 ABI 表面（内联实现变更、新增虚函数、改变类布局）且 diff 显示会影响二进制兼容。
- `pimpl` 或前向声明边界是否被破坏（在头文件中包含本应隐藏的实现细节）。

仅在 diff 能支撑结论时报告问题；不推断未列出的链接单元或版本策略。