C++20中的概念（Concepts）是一种编译时谓词机制，用于约束模板参数类型。它通过定义类型需满足的要求（如支持的操作、属性或嵌套类型），提升模板代码的可读性、可维护性和错误提示清晰度。例如，template<typename T> concept Integral = std::is_integral_v<T>; 定义了整型约束，可应用于函数模板 template<Integral T> T add(T a, T b)，确保仅整型可调用。标准库在 <concepts> 头文件中提供常用概念，如 std::integral、std::floating_point、std::copyable 等。还可使用 requires 表达式定义复杂概念，如 concept HasSize = requires(T t) { { t.size() } -> std::integral; };，用于检查成员函数存在及返回类型。概念适用于函数模板、类模板及其特化，以及成员函数重载，增强类型安全。使用需编译器支持 C++20（如 GCC 10+ 或 Clang 10+）并启用 -std=c++20。
C++20中的概念（concepts）是一种用于约束模板参数的机制，它让开发者能清晰地表达模板对类型的要求。在没有概念之前，模板只能接受任意类型，错误通常在实例化时才暴露，报错信息晦涩难懂。引入概念后，可以在定义模板时明确指定类型必须满足的条件，提升代码可读性、可维护性和编译错误提示的友好程度。
什么是概念（Concepts）？
概念本质上是一个编译时的谓词（返回true或false），用来描述类型需要满足的一组要求。这些要求可以是支持的操作（如+、==）、具备的属性（如可复制、可移动）或嵌套类型的存在。
例如，你可以定义一个名为 Integral 的概念，表示该类型必须是整数类型：
template<typename T> concept Integral = std::is_integral_v<T>;
然后用它来约束函数模板：
立即学习“C++免费学习笔记（深入）”；
template<Integral T>
T add(T a, T b) {
return a + b;
}
这样，只有整型类型（如 int、long）才能调用 add，如果传入 double 或自定义类，编译器会直接报错，并指出违反了 Integral 约束。
常用标准概念与头文件
C++20 在 <concepts> 头文件中提供了多个预定义的概念，常用的包括：
- std::integral：整数类型
- std::floating_point：浮点类型
- std::default_constructible：可默认构造
- std::copyable：可拷贝
- std::equality_comparable：支持 == 操作
- std::movable：可移动
- std::regular：常见类型要求（可构造、可比较、可赋值）
使用示例：
#include <concepts>
template<std::integral T>
void process_integer(T value) {
// 只接受整型
}
自定义复杂概念的方法
除了基础类型判断，还可以通过 requires 表达式定义更复杂的约束。比如要求类型具有 size() 成员函数并返回整数：
template<typename T>
concept HasSize = requires(T t) {
{ t.size() } -> std::integral;
};
这个概念检查两点：
-
t.size()是合法表达式 - 其返回类型满足
std::integral
然后可用于容器类模板：
template<HasSize Container>
void print_size(const Container& c) {
std::cout << "Size: " << c.size() << "\n";
}
概念在类模板和成员函数中的使用
概念不仅可用于函数模板，也能约束类模板：
template<Integral T>
class Number {
T value;
public:
Number(T v) : value(v) {}
};
还可用于类模板的特化：
template<typename T>
class Container { }; // 通用版本
template<std::integral T>
class Container<T> { }; // 仅用于整型的特化
成员函数也可以单独加约束：
template<typename T>
struct wrapper {
T data;
void print() requires std::same_as<T, int> {
std::cout << "int: " << data << "\n";
}
void print() requires std::same_as<T, double> {
std::cout << "double: " << data << "\n";
}
};
基本上就这些。C++20 的 concepts 让模板编程更安全、更直观。通过合理使用标准和自定义概念，可以大幅减少运行前隐含错误，提升开发效率。不复杂但容易忽略的是：确保编译器支持 C++20（如 GCC 10+、Clang 10+），并在编译时启用 -std=c++20。
