有没有办法在没有命名空间的 c++ 中嵌套枚举？

Question

我正在为给定的 AST 实现一个字节码生成器。 在创建表达式 class 时，我注意到一元和二元运算符之间的区别。 为简单起见， unum 是首选解决方案，因此我以这种方式嵌套了 enun：

enum EXP_TYPE
{
    enum BINARY
    {
        PLUS,
        MINUS,
        MULTIPLY,
        DIV,
        ...
    };
    enum UNARY
    {
        PLUS,
        MINUS,
        POINTER,
        INC,
        ...
    };
};

当然，此代码会引发警告，告知这是不允许的。 所以我在stackoverflow和其他来源上搜索了一下，找到了使用namespace而不是enum进行EXP_TYPE声明的解决方案。 但现在的问题是在表达式 class 中的使用：

class expression
{
    expression *right_exp;
    expression *left_exp;
    EXP_TYPE type;
    ...
};

由于EXP_TYPE是namespace而不是enum类型，因此不再允许使用 EXP_TYPE。 我打算做的是一个通用enum声明，它可以用作 class 中的属性，在这里通用意味着它可以是BINARY或UNARY ，也就是说，属性EXP_TYPE type可以具有如下赋值和比较：

 expression exp1;
 exp1.type = EXP_TYPE::BINARY::PLUS;
 exp1.type = EXP_TYPE::UNARY::PLUS;

有没有办法在不使用namespace的情况下制作这些简单的泛型类型，或者不需要为一元和二元运算符创建 class 层次结构？

Answer 1

不，您不能在枚举内创建范围。

相反，用较长的名称（例如EXP_TYPE::BINARY_PLUS ）对您的枚举进行分类。

Answer 2

我把这当作谜题，想知道我能有多接近 OP 的要求。

这就是我得到的（尽管我必须承认它看起来有点吓人）：

#include <cassert>
#include <iostream>

struct ExpType {
  struct Unary {
    enum {
      Plus, Minus, Pointer, Inc,
      N
    };
  };
  struct Binary {
    enum {
      Plus = Unary::N, Minus, Multiply, Div,
      N
    };
  };
  enum {
    N = Binary::N
  };

  int value;

  ExpType(int value = 0): value((assert(value >= 0 && value < N), value)) { }
  ~ExpType() = default;
  ExpType(const ExpType&) = default;
  ExpType& operator=(const ExpType&) = default;

  operator int () { return value; }
};

int main()
{
  for (int i = 0; i < ExpType::N; ++i) {
    ExpType expType = i;
    switch (expType) {
#define CASE(TYPE) case TYPE: std::cout << #TYPE "\n"; break
      CASE(ExpType::Unary::Plus);
      CASE(ExpType::Unary::Minus);
      CASE(ExpType::Unary::Pointer);
      CASE(ExpType::Unary::Inc);
      CASE(ExpType::Binary::Plus);
      CASE(ExpType::Binary::Minus);
      CASE(ExpType::Binary::Multiply);
      CASE(ExpType::Binary::Div);
#undef CASE
      default: std::cout << "Unknown expression type!\n";
    }
  }
}

Output：

ExpType::Unary::Plus
ExpType::Unary::Minus
ExpType::Unary::Pointer
ExpType::Unary::Inc
ExpType::Binary::Plus
ExpType::Binary::Minus
ExpType::Binary::Multiply
ExpType::Binary::Div

coliru 现场演示

但是，我必须承认我个人肯定更喜欢其他答案中推荐的内容。