17370845950

Concepts 是 C++20 引入的语法机制，用于在模板声明时显式约束类型条件，解决模板错误信息晦涩难懂的问题，使编译器能早期报错并精准提示未满足的约束名。

什么是 concepts，它解决什么问题

在 C++20 之前，模板错误信息像天书——std::vector<:string>::push_back(42) 可能触发几百行嵌套的 static_assert 失败或 SFINAE 推导失败，根本看不出哪条约束没满足。而 concepts 是 C++20 引入的原生语法机制，用于**在模板声明时显式表达类型必须满足的条件**，让编译器能在早期报错，且错误信息直指约束名（比如 requires Integral 不满足）。

如何定义一个基础 concept

用 concept 关键字 + requires 表达式即可。核心是写出能被编译器静态求值的布尔条件，不运行、不实例化函数体。

template
concept Integral = std::is_integral_v;

template
concept Addable = requires(T a, T b) {
    { a + b } -> std::same_as;
};

• std::is_integral_v 是编译期常量，直接判断内置整型
• requires(T a, T b) { ... } 声明“对任意 T 类型的变量 a、b，a + b 必须合法，且返回类型与 T 完全相同”
• 注意：-> std::same_as 比 -> T 更严格，排除了隐式转换可能

怎么在函数模板中使用 concept 约束参数

有三种等效写法，推荐用「约束模板参数列表」形式，最清晰：

template
T add(T a, T b) { return a + b; }

// 或用 requires 子句（适合多约束组合）
template
requires Integral && std::is_signed_v
T negate(T x) { return -x; }

// 或用 constrained auto（仅限函数参数，C++20 起支持）
void print(Integral auto x) {
    std::cout << x << "\n";
}

• 第一种写法 template 最简洁，但只能约束单个参数；多个参数需用 requires 子句或拆成多个 concept
• requires 子句可组合逻辑运算符：&&、||、!，但避免过度嵌套，否则可读性下降
• constrained auto 不能用于类模板或别名模板，仅限函数形参，且无法命名该类型（内部仍为 auto）

常见陷阱和兼容性注意点

实际写 concept 时容易忽略编译期语义边界，导致误判或编译失败：

• 不要在 requires 表达式里调用未声明的函数：编译器只检查表达式是否可形成，不检查函数定义是否存在。若依赖 ADL，确保作用域内有对应声明
• std::same_as 和 std::convertible_to 语义不同：前者要求完全一致（含 cv 限定），后者允许隐式转换。选错会导致本该通过的代码被拒绝
• Clang 12+ / GCC 10+ / MSVC 19.29+ 支持完整 concepts，但旧版本（如 GCC 9）只支持实验性开关 -fconcepts，且行为不一致；生产项目需确认工具链版本
• concept 本身不改变 ABI，但约束后的函数模板实例化规则更严格——不满足约束的调用直接编译失败，不会退化到其他重载

真正难的不是写一个 concept，而是设计出既能覆盖正确用例、又不因过度约束漏掉合理特化类型的条件集合。比如 Iterator concept 要区分 input_iterator 和 random_access_iterator，差一个 operator+ 就可能让算法失去 O(1) 随机访问能力。