1. 什么是 Concept？
定义 ：Concept 是一个编译期谓词 （返回 bool 的表达式），用于对模板参数施加语义约束。
本质 ：它告诉编译器：这个模板参数 T 必须具备哪些行为（如支持 +、支持迭代、可拷贝等）。
核心价值：
- 即时报错：如果类型不满足约束，编译器在模板实例化前直接报错，而非深入模板内部后报出几百行难以理解的错误信息。
- 重载决议：允许编译器根据类型的特性选择不同的函数实现（类似于模板特化，但语法更简洁、意图更明确）。
引入版本：C++20。
编译器支持：
GCC：GCC 10 开始初步支持，GCC 13+ 推荐用于生产环境。
2. 基础语法
2.1 步骤一：定义 Concept
使用 requires 表达式来描述对类型的要求。
cpp
#include <concepts>
#include <iostream>
// 定义一个概念：类型 T 必须支持 << 输出运算符
template<typename T>
concept Printable = requires(T a) {
std::cout << a; // 如果这行代码对类型 T 非法，则 concept 为 false
};2.2 步骤二：使用 Concept 约束模板
方式 A：前置约束（推荐）
cpp
template<Printable T>
void log(const T& msg) {
std::cout << "[LOG] " << msg << std::endl;
}方式 B：Requires 子句
cpp
template<typename T>
void log(const T& msg) requires Printable<T> {
std::cout << "[LOG] " << msg << std::endl;
}方式 C：简写模板（C++20 新语法）
C++20允许使用 auto 关键字作为占位符替代模板参数，并直接在参数前附加 concept 约束，
cpp
void log(const Printable auto& msg) {
std::cout << "[LOG] " << msg << std::endl;
}3. 实际工程使用示例
场景 1：数值计算库（约束算术运算）
在编写通用数学函数时，需要确保传入的类型支持基本的算术运算，并且排除布尔值、指针等非算术类型。
cpp
#include <concepts>
#include <type_traits>
#include <cmath>
// 定义：必须是算术类型（int, float, double 等）
template<typename T>
concept Arithmetic = std::is_arithmetic_v<T>;
// 工程函数：计算两点距离
template<Arithmetic T>
T distance(T x1, T y1, T x2, T y2) {
T dx = x2 - x1;
T dy = y2 - y1;
return std::sqrt(dx * dx + dy * dy);
}
//C++20 简写模板形式
T distance(std::is_arithmetic_v auto x1, std::is_arithmetic_v auto x2, std::is_arithmetic_v auto x3, std::is_arithmetic_v auto x4) {
T dx = x2 - x1;
T dy = y2 - y1;
return std::sqrt(dx * dx + dy * dy);;
}
// 调用示例
int main() {
double d = distance(1.0, 2.0, 4.0, 6.0); // ✅ 编译通过
// int* p = nullptr;
// distance(p, p, p, p); // ❌ 编译报错：类型 'int*' 不满足 'Arithmetic'
return 0;
}场景 2：容器算法（约束迭代器行为）
在编写通用排序或查找算法时，需要确保容器支持随机访问（例如 std::vector 支持，而 std::list 不支持）。
cpp
#include <vector>
#include <list>
#include <algorithm>
#include <concepts>
#include <ranges>
// 定义：必须是随机访问迭代器范围
template<typename T>
concept RandomAccessRange = requires(T& container) {
std::ranges::begin(container);
std::ranges::end(container);
requires std::random_access_iterator<decltype(std::ranges::begin(container))>;
};
// 工程函数：快速排序（仅适用于支持随机访问的容器）
template<RandomAccessRange R>
void quick_sort(R& container) {
std::sort(std::ranges::begin(container), std::ranges::end(container));
}
// 调用示例
int main() {
std::vector<int> vec = {3, 1, 2};
quick_sort(vec); // ✅ vector 支持随机访问
std::list<int> lst = {3, 1, 2};
// quick_sort(lst); // ❌ 编译报错：list 的迭代器不满足 random_access_iterator
return 0;
}场景 3：API 接口设计（约束对象行为）
在设计插件系统或回调机制时，要求传入的对象必须具有特定的成员函数（例如 start() 和 stop()）。
cpp
#include <concepts>
// 定义：类型 T 必须有 start() 和 stop() 成员函数
template<typename T>
concept Runnable = requires(T t) {
t.start();
t.stop();
requires std::same_as<decltype(t.start()), void>; // 可选：约束返回值类型
};
// 工程类：任务管理器
class TaskManager {
public:
// 只接受满足 Runnable 概念的对象
template<Runnable R>
void execute(R& task) {
task.start();
// ... 执行核心逻辑 ...
task.stop();
}
};
// 模拟插件
struct MyPlugin {
void start() { /* 启动逻辑 */ }
void stop() { /* 停止逻辑 */ }
};
struct BadPlugin {
void run() {} // 缺少 start() 和 stop()
};
// 调用示例
int main() {
TaskManager tm;
MyPlugin p;
tm.execute(p); // ✅ 编译通过
BadPlugin bp;
// tm.execute(bp); // ❌ 编译报错：'BadPlugin' 不满足 'Runnable'，缺少 start()
return 0;
}4. 总结与建议
何时使用 Concept？
当你编写模板函数或模板类，并且希望明确限制传入类型必须满足的语义行为时，就应该使用 Concept。
优势对比
- vs
static_assert：Concept 在重载解析阶段 就生效，能帮助编译器选择最佳匹配的函数；而static_assert是在模板实例化之后才报错，无法参与重载决策。 - vs SFINAE：Concept 语法更直观、更易读，产生的编译错误信息也远比 SFINAE 技术产生的错误信息更友好、更人性化。
工程实践建议
-
优先使用标准库 Concept ：如
std::integral、std::copyable、std::ranges::range等，避免重复造轮子。 -
自定义 Concept 命名 ：使用形容词或名词（如
Sortable、Printable），保持语义清晰。 -
组合使用 ：可以使用
&&和||逻辑运算符组合多个 concept，以表达更复杂的约束，例如：cpptemplate<typename T> concept IntegralAndCopyable = std::integral<T> && std::copyable<T>; -
保持约束简洁：Concept 应该描述"做什么"，而不是"怎么做"。过于复杂的约束会降低代码的可读性和编译速度。