入れ子になった列挙体のC++操作

Question

次のようないくつかの入れ子になった列挙型があります。私は、isValid()関数をenum定義に可能な限り近いものとして定義したいと考えています。実際のコードは、ネストされた名前空間と構造体の複数のレベルでより冗長です。

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<<()をオーバーライドして、意味のある列挙値をストリームできるようにするためのものと同じです。その場合、operator<<()のエッセンスはstruct Sの体内にある方法はありますか？

Answer 1

いいえ、からisValidを移動する必要があります。しかし、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をS::Eから見つけることができません。

Sが名前空間であれば、Koenig lookupは、それがグローバル名前空間の一部でない場合でも、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; } 

を、あなたはまたに巣に列挙を必要はありません囲みスコープの汚染を避けるために、構造体：代わりにあなたが違法になるV1またはV2非修飾を使用して

enum class S { V1, V2 }; 
bool isValid(S e) { return e == S::V1 || S::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); }