c++oncept 是 c++20 引入的关键字，用于定义模板参数的约束条件。1. 它通过明确类型必须满足的操作（如支持加法或具有成员函数）来提升代码清晰度和错误提示友好性；2. 解决了此前模板无法限制参数类型的缺陷，使编译器能精准指出不匹配问题；3. 定义方式为 template
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 去限制参数：
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 让模板编程变得更安全、更易读了。虽然一开始可能有点绕，但一旦掌握，写出来的代码质量会提升不少。
基本上就这些。
