检测单个枚举常量的类型

Question

下面的代码将unsigned int打印为enum Test内所有常量的底层类型

#include <iostream>
#include <type_traits>
#include <typeinfo>
#include <cxxabi.h>

struct Test 
{
    enum { a = true, b = 1 };    
};

static_assert(std::is_same<
    std::underlying_type_t<decltype(Test::a)>, 
    std::underlying_type_t<decltype(Test::b)>>::value, ""
);

int main()
{    
    int status;
    auto const& bi = typeid(std::underlying_type_t<decltype(Test::a)>);
    std::cout << abi::__cxa_demangle(bi.name(), 0, 0, &status); // unsigned int
}

Live Example。如果Test 包含两个单独的enums，a 和b 和以前一样，也会发生这种情况。

问题：是否可以检测到Test::a 是用bool 初始化的，而Test::b 是用int 初始化的？在反射研究组的 C++17 提案中是否有任何实验代码？

注意：我知道我可以将Test 替换为

struct Test
{
    static constexpr auto a = true;
    static constexpr auto b = 1;
};

但我发现enum 版本的用法稍微不那么冗长。

Answer 1

这是不可能，我认为这不太可能。

原因是a 和b 是（在您的情况下未命名）enum 的值。因此，根据定义，它们属于enum 的类型，意思是：属于同一类型。用于初始化它们的表达式和它们的各自类型仅用于“计算”enum 的基础类型，而不是任何单独的值。

考虑到这一事实，我认为即使是反射也无助于恢复信息，因为当您查看 enum 的值时，初始化表达式的类型已被抽象掉。

您需要进行更深层次的检查，您需要访问用于初始化值的表达式。这意味着编译器必须为每个变量、值等存储大量附加信息（因为这将是普遍的事情，而不仅仅是enums）。

考虑一下这意味着什么：

• 编译时间增加
• 编译时内存使用增加
• 现在每个值实际上都有两种类型，它被声明为的类型和它被初始化的表达式的类型

最后一点是我认为该语言的真正灾难。一个值应该具有单一类型，用于初始化该值的表达式不应以任何方式访问。这就是抽象的意义所在，打破它可能会导致各种微妙的依赖关系和很多复杂性。

_{免责声明：这只是我的个人观点，我不能代表委员会或工作组中的任何人发言。}

Answer 2

您可以将 int 枚举值与非 int 区分开来，如下所示：

struct Test
{
  enum : short { a = true };
  enum : int   { b = 1    };
  // enum : bool { c = false };
};

不幸的是，VC2010 未能将 bool 编译为底层类型，这可能不被视为整数类型。如果您的用例只需要将整数与非整数分开，这可能不是问题。