c++20 的概念（concepts）可通过模板结构体应用类型约束。具体方法包括：一、在模板参数后加 requires 子句以施加条件；二、在模板参数列表中直接使用概念，使代码更简洁；三、结合多个概念进行复合约束，提升灵活性。此外，结构体的成员函数也可用概念限制，实现基于类型的差异化行为。使用时需注意概念必须先定义，且依赖编译器对 c++20 的支持程度。
C++20 引入了“概念（concepts）”，这是模板编程中非常实用的一项特性，它允许我们对模板参数施加约束条件，从而写出更清晰、可读性更强的泛型代码。结构体本身并不直接支持“概念”这一语法形式，但如果你在使用模板结构体时想加上类型约束，那就可以通过概念来实现。
什么是概念（Concepts）
概念是 C++20 中引入的一种机制，用于限制模板参数的类型要求。它可以看作是一种类型谓词，在编译期进行检查。相比以前只能靠 SFINAE 或者 static_assert 来做类型约束，现在用概念会更加直观和易于维护。
比如你可以定义一个概念
Integral，表示只接受整数类型的参数：
立即学习“C++免费学习笔记（深入）”；
template<typename T> concept Integral = std::is_integral_v<T>;
之后你就可以在函数或类模板中使用这个概念来做限制。
模板结构体如何应用概念
虽然结构体本身不能像函数那样直接写成这样：
struct MyStruct<Integral T> { ... }; // 错误写法但我们可以通过模板结构体 + 概念的方式来实现类型约束。常见的做法是在模板参数列表中使用
requires子句或者直接在模板参数上使用概念。
方法一：在模板参数后加 requires
这种方式适用于你想对某个特定模板参数施加额外条件的情况：
template<typename T>
requires Integral<T>
struct MyStruct {
T value;
};上面这段代码的意思是：只有当
T满足
Integral<T>这个条件时，
MyStruct<T>才会被实例化。
方法二：在模板参数列表中直接使用概念
这种方法更简洁，也更推荐在结构体定义中使用：
template<Integral T>
struct MyStruct {
T value;
};这其实等价于第一种方式，只是写法更紧凑一些。这种写法适合你在多个地方复用同一个概念。
方法三：结合多个概念进行约束
如果你需要同时满足多个条件，可以这样做：
template<typename T>
concept ValidType = std::is_integral_v<T> && sizeof(T) > 1;
template<ValidType T>
struct MyStruct {
T data;
};也可以写成 inline 的方式：
template<typename T>
requires std::is_integral_v<T> && (sizeof(T) > 1)
struct MyStruct {
T data;
};这样就能灵活地组合各种类型判断逻辑。
实际应用中的一些注意事项
概念必须在定义前声明：也就是说，你需要先定义好你要用的概念，否则编译器无法识别。
不是所有编译器都完全支持 C++20 concepts：目前主流编译器如 GCC、Clang 和 MSVC 都已经较好地支持了，但在某些旧版本中可能有问题。
结构体的成员函数也可以用概念做约束：比如构造函数、方法等都可以加上
requires
条件，让不同类型的实例拥有不同的行为。
例如：
template<typename T>
struct Wrapper {
T value;
void print() requires std::is_same_v<T, int> {
std::cout << "Integer: " << value << std::endl;
}
void print() requires std::is_same_v<T, double> {
std::cout << "Double: " << value << std::endl;
}
};这样可以根据不同类型选择不同的实现。
基本上就这些。用概念来约束模板结构体的类型，不仅提高了代码的可读性和安全性，也让错误信息更清晰。虽然写法上有些细节需要注意，但掌握之后会让模板编程变得更轻松。
