C++20新特性—模板类型约束(concept)

模板编程中，类型是一种输入参数，对某一具体模板类，多数情况下，并不是所有的类型都适合，类型必须符合某种要求，模板类型约束就是在编译期，用于限制模板参数。其实在C++11的type_traits中，就有很多类似于is_const、is_base_of、enable_if、conditional这样的类型判断，类型选择，类型操作等函数，它们在编译期施加到类型参数上，起到了类型限制等作用。

C#中，早就引入where关键字，来进行泛型约束。这里C++中也为此引入两个关键字requires和concept，将类型限制上升到语言层面，与C++11采用各种“奇技淫巧”来完成的功能，现在的表达方式更加简洁明了。

[注]由于目前C++20的特性并没有完全被支持，本文示例需采用gcc10.2，添加编译项 -std=gnu++20，可运行。

requires

对模板参数的类型约束，可直接写一个require表达式，它可以出现在两个位置（效果相同），如下例：

// int8_t doesnot satisfy the requirements
template<typename T>
int f(T)  requires (sizeof(T) > 1)  { retur