C++20 的新特性

C++20 引入了 Concepts，这是一种用于限制类和函数模板的模板类型和非类型参数的命名要求。Concepts 是作为编译时评估的谓词，用于验证传递给模板的模板参数。Concepts 的主要目的是使模板相关的编译器错误更易于人类阅读。

我们都遇到过这样的情况：当为类或函数模板提供错误的参数时，编译器会输出数百行错误信息。要从这些编译器错误中找到根本原因并不总是容易的。Concepts 允许编译器在某些类型约束不满足时输出更易读的错误消息。因此，为了获得有意义的语义错误，建议编写模拟语义要求的 Concepts。避免仅针对语法方面而没有任何语义意义的 Concepts 验证，例如，仅检查类型是否支持 operator+ 的 Concept。这样的 Concept 只会检查语法，而不是语义。例如 std::string 支持 operator+，但显然，它与整数的 operator+ 有完全不同的含义。另一方面，如 sortable（可排序）和 swappable（可交换）等 Concepts 是模拟一些语义意义的好例子。

注意：编写 Concepts 时，请确保它们模拟语义，而不仅仅是语法。

Concepts 的语法

定义 Concepts 的通用语法如下：

template <parameter-list> concept concept-name = constraints-expression;