concept C++ · 关键字

C++20 概念，给模板参数加上约束条件，只有满足条件的类型才能实例化该模板。

怎么用

concept 名字 = 约束表达式;

小例子

#include <type_traits>
concept 整数 = std::is_integral_v<int>;

编译结果

整数概念对 int 成立

提醒：概念体必须是可转换为 bool 的常量表达式；需 <type_traits>

官方文档：https://en.cppreference.com/w/cpp/language/constraints