为什么 C++ 20 中没有枚举概念？

Question

我正在尝试使用当前的 GCC10 将一些旧代码更新为即将到来的 C++20 语言。

我无法更新某些模板，因为它们使用了 std::enable_if<std::is_enum_v<T>> 条件，并且在 C++20 中没有定义 std::enumeration 概念。

当然我可以定义自己的概念，但我仍然想知道为什么 C++20 没有将所有现有的类型特征都实现为概念。

这是为什么？我错过了什么重要的事情吗？

Answer 1

没有enumeration 概念，因为从来没有一个特定的意图来创建一个匹配每个类型特征的概念。甚至大部分。

C++20 概念库或多或少基于使 Ranges 库工作所需的内容。它专注于概念擅长的事情，比如问“我能用这种类型做什么？”您可以询问是否可以默认构建T 或复制/移动一个，等等。您不是在限制类型是什么，而是限制您将如何使用它。

像enumeration 这样的概念并不是一个非常有用的约束。请记住：从逻辑的角度来看，如果模板约束了一个参数，那么它应该只使用符合该约束的参数。因此，如果您有一个采用默认可构造T 的函数，那么该函数在默认构造一个时应该只使用T（尽管在语法上没有阻止您违反它，但它通常被认为是不良形式）。

要成为 integral 或 floating_point 要求类型是这些基本类型之一，这会带来这些类型提供的所有表现力。

但是你可以用enumeration 单独做什么呢？您可以默认构造一个（尽管这是否代表一个合法的枚举值并不明显，所以不清楚你会用它做什么），你可以分配和比较它（尽管即使比较也可以重载/@ 987654329@d)，你可以用它的底层类型来玩游戏。但仅此而已。

如果某些T 是一个枚举，那并不意味着T 有任何特定的枚举字段。因此，如果您的约束仅仅是它是一个枚举，那么您就失去了枚举的主要特征。

这并不意味着它不会出现。但仅仅因为一个约束偶尔出现并不意味着它上升到一个概念的水平。