在c++20中，concept通过模板约束提升代码可读性与维护性。1. 声明方式为使用template<typename t>结合concept关键字和requires子句定义条件，如template<typename t> concept addable = requires(t a, t b) { a + b; };。2. 可用于函数模板和类模板的参数约束，例如template<addable t> void print_sum(...)确保类型满足加法操作。3. 支持内联requires表达式直接限制模板参数，适合一次性限制。4. 使用时需注意将concept置于头文件以便编译器匹配，避免过度拆分，可通过组合多个concept创建复合约束（如mytype = addable && printable），但不会优化编译速度。
在C++20中，concept 是一个非常实用的特性，它让模板编程变得更清晰、更容易理解和维护。简单来说，它允许我们为模板参数定义“要求”——也就是你希望传入的类型必须满足哪些条件。
比如你可以定义一个 concept 来表示“某个类型必须支持加法操作”，这样当别人用不支持加法的类型去实例化你的模板时，编译器会给出更清晰的错误提示，而不是一串让人头疼的模板错误信息。
如何声明一个concept？
声明一个 concept 的基本语法是使用 template <typename T> 加上 concept 关键字，然后通过 requires 子句来表达限制条件。
立即学习“C++免费学习笔记（深入）”；
举个简单的例子：
template <typename T>
concept Addable = requires(T a, T b) {
a + b;
};这段代码定义了一个叫 Addable 的 concept，意思是只要某个类型 T 支持 a + b 这样的加法操作，就可以被接受。
也可以写得更复杂一点，比如检查多个操作：
template <typename T>
concept Printable = requires(T t, std::ostream& os) {
os << t;
};这个 Printable 表示：该类型要能被输出到 ostream 中。
在模板中如何使用concept？
一旦你定义好了 concept，就可以在模板中直接使用它来约束模板参数。
用作函数模板的约束
template <Addable T>
void print_sum(T a, T b) {
std::cout << a + b << std::endl;
}这里 print_sum 只接受满足 Addable 的类型，否则编译失败，并且错误信息会明确指出是 Addable 不满足。
用作类模板的约束
template <Printable T>
class Logger {
public:
void log(const T& value) {
std::cout << "Value: " << value << std::endl;
}
};只有 T 满足 Printable 时，才能实例化 Logger<T>。
使用 inline requires（更灵活）
还可以在模板参数列表中直接写 requires，不需要提前定义 concept：
template <typename T>
requires requires(T a, T b) { a + b; }
void print_sum(T a, T b) {
std::cout << a + b << std::endl;
}这种写法适合一次性使用的限制，但不利于复用。
常见问题与注意事项
concept 要放在头文件里
因为它是模板的一部分，编译器需要看到完整的定义，否则无法进行匹配。不要过度设计 concept
刚开始用的时候容易陷入“我要为每个小功能都写一个 concept”的误区。其实很多时候组合已有的 concept 就够用了。concept 可以组合使用
template <typename T> concept MyType = Addable<T> && Printable<T>;
这样你可以把多个限制打包成一个新的 concept。
-
concept 并不会自动优化编译速度
它只是让错误提示更好看、让逻辑更清晰，但模板本身还是会在每个使用点展开，所以编译时间可能不会有明显变化。
基本上就这些。掌握好 concept 的声明和使用方式，可以让你写出更健壮、可读性更强的模板代码。虽然刚开始可能会觉得有点绕，但多写几个例子就能体会到它的价值了。
