중첩 열거 형에 대한 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에서 찾을 수 없습니다.

이 전체 네임 스페이스의 일부가 아니더라도 isValid을 찾을 수 있지만 그게 무슨 뜻인지는 생각하지 않습니다.

Answer 3

이 즉, C++ 2011 표준 C++에 대한 경우, 당신은 중첩 된 열거 선언 전달할 수 : 물론

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); }