concept 是 c++20 引入的关键字，用于定义模板参数的约束条件。1. 它通过明确类型必须满足的操作（如支持加法或具有成员函数）来提升代码清晰度和错误提示友好性；2. 解决了此前模板无法限制参数类型的缺陷，使编译器能精准指出不匹配问题；3. 定义方式为 template<typename t> concept 名 = requires 表达式；4. 可组合多个 concept 或使用标准库预定义概念（如 std::integral）以增强复用性。

concept 是 C++20 引入的一个关键字，主要用于定义模板参数的约束条件。它的作用是让模板代码更清晰、更容易理解，也更容易排查错误。

简单来说，它能让你在写模板的时候明确说明：这个类型必须满足哪些条件才能用。比如“必须支持加法操作”、“必须是一个可调用对象”等等。

---

什么是 concept？为什么需要它？

在 C++20 之前，模板编程虽然强大，但有个大问题：你没法限制传进来的类型。如果你写了一个模板函数，期望传入一个“可以相加”的类型，但用户偏偏传了个不支持 + 的类，那编译器就会报出一串又长又难懂的错误信息。

立即学习“C++免费学习笔记（深入）”；

而 concept 就是用来解决这个问题的——你可以用它来给模板参数加上语义上的限制，让代码意图更清晰，也能让错误提示更友好。

---

如何定义和使用一个 concept？

定义一个 concept 的基本语法如下：

template<typename T>
concept 名字 = 条件表达式;

举个简单的例子，我们想定义一个表示“可以相加”的概念：

template<typename T>
concept Addable = requires(T a, T b) {
    a + b; // 要求 T 类型的对象能进行加法操作
};

然后就可以在模板中使用这个 concept 去限制参数：

C++ 算法竞赛自动化测试数据生成与校验框架

根据原题生成新题面、验证器及完整测试数据，自动套用 testlib 模板，用于用户要求生成测试数据时。

下载

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

这样，如果有人尝试传入一个不支持加法的类型，比如某个自定义类没有重载 +，编译器会直接告诉你：“你传的类型不符合 Addable 这个要求”，而不是以前那种冗长的模板实例化错误。

---

一些常见的用法场景

1. 约束类型必须具有某些成员函数或运算符

比如你想写一个函数模板，要求传入的类型必须有一个 .size() 成员函数：

template<typename T>
concept HasSize = requires(T t) {
    t.size(); // 必须能调用 size()
};

template<HasSize T>
void print_size(const T& obj) {
    std::cout << "Size: " << obj.size() << std::endl;
}

2. 组合多个 concept

你可以把多个概念组合起来使用：

template<typename T>
concept MyType = Addable<T> && HasSize<T>;

这样就能确保传入的类型既支持加法，又有 .size() 方法。

3. 使用标准库中的预定义 concept

C++20 标准库已经内置了一些常用的 concept，例如：

• std::integral
• std::floating_point
• std::copyable
• std::equality_comparable

你可以直接拿来用，比如：

template<std::integral T>
void print_integer(T value) {
    std::cout << value << " is an integer." << std::endl;
}

---

写在最后

总的来说，concept 让模板编程变得更安全、更易读了。虽然一开始可能有点绕，但一旦掌握，写出来的代码质量会提升不少。

基本上就这些。