C++接口设计规范：如何用Concepts定义清晰契约【C++20核心特性】_技术教程

Concepts是语义契约而非语法糖，用于提升模板接口的可读性、可检性和可维护性；它约束类型行为而非结构，强调数学一致性等语义性质，而非仅检查操作符存在。

Concepts 不是用来“装饰”模板的语法糖，而是让接口契约可读、可检、可维护的基础设施。没用 Concepts 的模板接口，往往要靠文档或注释来说明类型该满足什么条件，而编译器既不检查也不报错——直到实例化失败，错误信息还堆满几屏 std::enable_if 嵌套。

什么是 Concept？不是类型约束，而是语义契约

Concept 是对类型行为（而非结构）的命名约束。它回答的不是“这个类型有没有 operator+”，而是“这个类型是否能自然地参与加法运算并保持数学一致性”。比如 std::regular 要求类型支持拷贝、相等比较、可赋值，且满足自反性、对称性等；而手写 requires T t; { t == t } -> std::convertible_to; 只是机械检查，没表达语义意图。

实操建议：

优先复用标准库 Concept（std::equality_comparable、std::sortable、std::invocable），它们经过语义校准，比自己定义更可靠
自定义 Concept 时，把“必须支持的操作”和“操作应满足的性质”分开：前者写在 requires 表达式里，后者用注释或测试覆盖（Concept 本身不验证数学性质）
避免把 Concept 写成“所有可能用到的函数集合”，例如为容器定义一个包含 begin()、size()、push_back() 的大而全 Concept——这会*实现，破坏抽象层次

如何用 Concept 约束函数模板参数

直接在模板参数列表中使用 Concept 名称，是最清晰、最易读的方式。它让调用者一眼看出“这个函数要什么”，也让编译器在早期给出精准错误。

template
bool are_equal(const T& a, const T& b) {
    return a == b;
}

常见错误现象：

误用 typename T + requires 子句（即“late requires”），导致错误位置后移，且无法参与重载决议
把 Concept 当作类型别名用，例如 using comparable = std::equality_comparable;，再写 template —— 这是非法的，Concept 不是类型，不能被 using 别名
在非模板函数中滥用 Concept，比如 void f(std::equality_comparable auto x)：虽然语法合法，但失去泛型意义，且隐藏了实际依赖的是哪个 Concept

Concept 与 SFINAE、`std::enable_if` 的兼容性

Concept 不是 SFINAE 的替代品，而是更高层的封装。当你需要精细控制重载优先级或做复杂条件推导时，SFINAE 仍有不可替代性。但两者可以共存：Concept 用于主契约声明，SFINAE 用于底层适配细节。

性能与兼容性影响：

Concept 检查发生在模板解析阶段，比 SFINAE 更早，错误提示更短、更聚焦（例如 “T does not satisfy std::sortable” 而非一长串 substitution failure）
Concept 本身不生成额外运行时开销，但过度嵌套的 requires 表达式可能拖慢编译速度（尤其涉及模板递归推导时）
若需兼容 C++17 项目，不要试图用宏模拟 Concept——不如老实用 static_assert + std::is_* 组合，至少错误信息可控

什么时候不该用 Concept？

当类型约束只服务于内部实现细节，而非接口契约时。比如某个算法内部临时用到 std::hash，但用户完全不需要知道；或者你正在封装一个仅对 int 和 long 优化的特化版本，没必要为此定义新 Concept。

容易被忽略的关键点：

Concept 无法约束模板模板参数（template template parameter）的行为，例如要求 Container 支持 push_ba ck，得靠 requires Container c; { c.push_back(std::declval()) }; 手动写，不能直接用 Concept 命名整个模式
Concept 不检查 noexcept、constexpr 或 const 限定符——这些属于函数签名的一部分，需单独约束（如 requires std::is_nothrow_swappable_v）
同一个 Concept 在不同上下文中的语义可能漂移：比如自定义 movable 若没明确是否要求 noexcept 移动，就可能在移动语义敏感场景（如 std::vector::resize）引发未预期的复制回退