어떻게 중첩 열거

Question

내가 관련 세터/게터와 그 서브 클래스는 C++ (11) enum class 속성이 것 같은 클래스를 구축하기 위해 노력하고있어과 코드 재사용을 달성하기 위해 너무 좋아!

// Base as before 

class Derived : public Base { 
    public: 

    enum class MyEnum { 
     C, 
     D 
    }; // intention: to override Base's "my_enum" attribute 

    Derived(): Base() { 
     my_enum = MyEnum::C; 
     // ERROR: cannot convert 'Derived::MyEnum' to 'Base::MyEnum' 
    } 
}; 

int main(int argc, char *argv[]) 
{ 
    Derived Deriv; 

    // ERROR: no match for 'operator==' for types 'Base::MyEnum' and 'Derived::MyEnum' 
    Deriv.get() == Derived::MyEnum::C; 

    return 0; 
} 

내가 뭘 이해 : 모든 시간을/세터/게터를 다시 구현 속성을 가지고 있지 동안

그러나, 나는 파생 좋아할 클래스는 MyEnum 열거 클래스를 다시 정의 할 수 문제는; 이 경우 코드를 재사용 할 수있는 가장 깨끗한 방법을 찾고 있습니다.

바람직하게는 상속을 통해서만 (또는 오히려 Base()에서 파생 된 행위로 인해 Derived() 클래스에서 기능을 사용할 수 있어야합니다).

제안 사항?

Answer 1

Base 템플릿을 열거 형으로 매개 변수화하고 특성 클래스를 사용하여 파생 형식별로 특수화 할 수있는 "기본"열거 형을 제공 할 수 있습니다.

template<typename T> 
struct MyEnumTraits 
{ 
    enum class type { 
     A, 
     B 
    }; 

    static const type default_value = type::A; 
}; 

template<typename T = void> 
class Base { 
    public: 

    typedef typename MyEnumTraits<T>::type MyEnum; 
    MyEnum my_enum; 

    Base() : my_enum(MyEnumTraits<T>::default_value) {} 

    MyEnum get() { return my_enum; } 
    void set(const MyEnum &ME) { my_enum = ME; } 
}; 

class Derived; 

template<> 
struct MyEnumTraits<Derived> 
{ 
    enum class type { 
     C, 
     D 
    }; 
    static const type default_value = type::C; 
}; 

class Derived : public Base<Derived> { 
    // ... 

그러나 파생 된 유형마다 다른 기본 클래스가 생기며, 이는 아마도 원하는 것이 아닙니다. 비 템플릿 Base을 유지하고 getter 및 setter를 Base에서 파생 된 중간 클래스 템플리트로 이동시킨 다음 파생 된 유형을 그로부터 파생시킬 수 있습니다.

class Base { ... }; 

template<typename T = void> class GetterSetterImpl : public Base { ... }; 

class Derived : public GetterSetterImpl<Derived> { ... }; 

Answer 2

컴파일러가 맞습니다. 열거 형 Base::MyEnum 및 Derived::MyEnum이 상속을 통해 연결된 클래스에 정의되어 있지만 열거 자체는 관련이없는 것으로 간주됩니다. 그들은 단지 의 정규화되지 않은이라는 이름을 가지기 때문에 컴파일러에는 아무런 의미가 없습니다. 컴파일러에 관한 한 두 가지 열거 형은 서로 관련이 없습니다.

열거 형이 두드러진 방식으로 구현되는 방식을 생각해 보면 이해할 수 있습니다. 강력한 형식 임에도 불구하고 열거 형은 작은 정수로 유지됩니다. 두 개는 서로 관련이 없으므로 Base::MyEnum::A은 Derived::MyEnum::C과 동일한 값을 가지며 런타임에 두 값을 구분할 수있는 것이 없습니다.

기본 클래스의 enum에 모든 열거 값을 덤프하는 것 외에도 (사용자 자신의 라이브러리 외부로 확장 할 수있는 기회를 없애는) C++ enumerations do not support inheritance은 일반적으로 매우 유연하지 않습니다.

Answer 3

이것은 나쁜 아이디어이며 작동하지 않을 것입니다.

• 언어 수준 C++에서는 내용을 재정의 할 수 없습니다. 같은 이름을 가진 새롭고 관련없는 것들을 숨길 수 있습니다 (완전히 아님). 가상 함수를 서명을 유지하면서 새 구현을 제공하여 재정의 할 수도 있습니다.
• 디자인 수준 기본 클래스는 파생 클래스가 준수해야하는 계약을 정의합니다. Base::get()이 MyEnum {A, B}을 반환하면 모든 파생 클래스는 MyEnum {A, B}을 반환하는 get()을 가져야합니다. 이것이 상속이 전부입니다 (코드 재사용이 아니라 코드 재사용이 아니라).

상속에 의존하지 않고 클래스를 템플릿으로 만들어 코드 재사용을 달성 할 수도 있습니다.