Concepts是C++20引入的编译期约束机制，用于明确模板参数的语义要求，提升错误提示清晰度和代码可读性。
C++20的Concepts是一种编译期约束机制，用于对模板参数施加明确的语义要求。它解决了传统模板编程中类型约束不清晰、错误信息晦涩的问题。通过Concepts，开发者可以定义“什么类型的参数才合法”，让编译器在模板实例化早期就检查类型是否满足条件，而不是等到模板内部展开时才报错。
什么是Concepts？
Concepts是C++20引入的一种语言特性，允许你为模板参数定义可重用的约束条件。一个concept本质上是一个布尔值的编译期谓词，描述了类型必须支持的操作集合。比如你可以定义一个Integral concept，表示该类型必须是整型。
示例：
templateconcept Integral = std::is_integral_v
template
T add(T a, T b) {
return a + b;
}
这里Integral就是个concept，只有满足整型的类型才能用于add函数。如果传入double，编译器会直接报错，提示不满足constraint，而不是深入模板内部找问题。
立即学习“C++免费学习笔记（深入）”；
为什么需要Concepts？
在C++20之前，模板虽然泛用，但缺乏对参数类型的显式约束。这带来两个主要问题：
- 错误信息冗长难懂：当传入不合适的类型时，编译器往往在模板深处报错，堆栈几十行，新手难以理解。
- 接口意图不明确：阅读模板代码的人无法快速知道哪些类型是被支持的。
Concepts让这些问题得到改善。你可以把concept看作是“类型接口”的声明——就像函数签名告诉调用者怎么用函数，concept告诉使用者什么样的类型能用在这个模板里。
常用标准Concepts示例
C++20标准库在
- std::integral：整型类型
- std::floating_point：浮点类型
- std::default_constructible：可默认构造
- std::copyable：可拷贝
- std::equality_comparable：支持==操作
使用它们可以快速写出安全且清晰的模板代码：
#includetemplate<:integral t>
void print_bits(T value) {
// 只接受整数类型
for (int i = sizeof(T)*8 - 1; i >= 0; --i) {
...
}
}
自定义复合Concepts
你可以组合多个concept来构建更复杂的约束。比如定义一个“可排序的数值类型”：
templateconcept Number = std::integral
template
concept SortableNumber = Number
这个SortableNumber要求类型既是数值类型，又支持比较操作（如等），适合用于排序算法模板。
基本上就这些。Concepts不是替代模板，而是让模板更好用、更安全、更易读。它把隐式的模板契约变成显式的编译期检查，极大提升了泛型编程的开发体验。虽然旧代码仍可用SFINAE或static_assert做约束，但Concepts语法更简洁、表达力更强，是现代C++模板编程的重要组成部分。
