C++嵌套枚举的操作

Question

我有几个类似于以下内容的嵌套枚举。我希望定义一个尽可能接近 enum 定义的 isValid() 函数。实际代码更加冗长，具有多层嵌套命名空间和结构。

struct S
{
    enum E { V1, V2 };
    /* ????? */ bool isValid(E e) { return e==V1 || e==V2; }
};

template <typename Enum>
bool legalValue(Enum e)
{  
    return isValid(e);
}

是否可以使此代码工作而不必将 isValid() 放在全局命名空间中？

请不要评论 isValid() 是否是好的做法。这个问题同样适用于想要重写运算符<<()以便能够有意义地流式传输枚举值的人。那么，有什么方法可以将operator<<()的本质定位到struct S的主体中呢？

Answer 1

不，您必须将 isValid 移出 struct。不过，enum 定义可以保留在其中。

struct S
{
    enum E { V1, V2 };
};

bool isValid(S::E e) { return e == S::V1 || e == S::V2; }

template <typename Enum>
bool legalValue(Enum e)
{
    return isValid(e);
}

Answer 2

无法从 S::E 找到 S。

如果 S 是一个命名空间，Koenig 查找 将找到 isValid 即使它不是全局命名空间的一部分，但我认为这不是你的意思。

Answer 3

如果这是针对标准 C++，即 C++2011，您可以转发声明嵌套枚举：

struct S { enum E: int; };

enum S::E: int { V1, V2 };
bool isValid(S::E e) { return e == S::V1 || S::V2; }

当然，您也不需要将枚举嵌套到结构中以避免污染封闭范围：相反，您可以使用

enum class S { V1, V2 };
bool isValid(S e) { return e == S::V1 || S::V2; }

不合格的使用 V1 或 V2 是非法的。

Answer 4

这些可能是技术点，但使 isValid 全局化的另一个选择是重载（或专门化）legalValue。

struct S
{
    enum E { V1, V2 };
    static bool isValid(E e) { return e==V1 || e==V2; }
};
bool legalValue(S::E e) { return S::isValid(e); }

template <typename Enum>
bool legalValue(Enum e) { return isValid(e); }

另一种选择是让 isValid 成为全球好友。尽管这与它只是一个自由的全局函数几乎没有什么不同。

struct S
{
    enum E { V1, V2 };
    friend bool isValid(E e) { return e==V1 || e==V2; }
};
template <typename Enum>
bool legalValue(Enum e) { return isValid(e); }