C++20的concept如何约束模板 类型要求的声明与使用方式

在c++++20中，concept通过模板约束提升代码可读性与维护性。1. 声明方式为使用template结合concept关键字和requires子句定义条件，如template concept addable = requires(t a, t b) { a + b; };。2. 可用于函数模板和类模板的参数约束，例如template void print_sum(…)确保类型满足加法操作。3. 支持内联requires表达式直接限制模板参数，适合一次性限制。4. 使用时需注意将concept置于头文件以便编译器匹配，避免过度拆分，可通过组合多个concept创建复合约束（如mytype = addable && printable），但不会优化编译速度。

在c++20中，concept 是一个非常实用的特性，它让模板编程变得更清晰、更容易理解和维护。简单来说，它允许我们为模板参数定义“要求”——也就是你希望传入的类型必须满足哪些条件。

比如你可以定义一个 concept 来表示“某个类型必须支持加法操作”，这样当别人用不支持加法的类型去实例化你的模板时，编译器会给出更清晰的错误提示，而不是一串让人头疼的模板错误信息。

如何声明一个concept？

声明一个 concept 的基本语法是使用 template 加上 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。

使用 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 的声明和使用方式，可以让你写出更健壮、可读性更强的模板代码。虽然刚开始可能会觉得有点绕，但多写几个例子就能体会到它的价值了。