C++ 개인 상속 및 정적 멤버/형식

Question

클래스에서 'this'포인터를 인터페이스 중 하나의 포인터로 변환 할 수 없도록하려고합니다. 중간 프록시 클래스를 통해 개인 상속을 사용하여이 작업을 수행합니다. 문제는 내가 개인 상속을 발견하면 모든 공용 정적 멤버와 기본 클래스의 유형이 계층의 상속 클래스 아래에있는 모든 클래스에 액세스 할 수 없게됩니다.

class Base 
{ 
public: 
    enum Enum 
    { 
     value 
    }; 
}; 

class Middle : private Base 
{ 
}; 

class Child : public Middle 
{ 
public: 
    void Method() 
    { 
     Base::Enum e = Base::value; // doesn't compile BAD!  
     Base* base = this; // doesn't compile GOOD! 
    } 
}; 

둘 다 VS2008 (필요한 버전) 및 VS2010, 어느 작업이 시도했습니다.

해결 방법은 누구나 생각할 수 있습니까? 또는 전환을 중지하는 다른 방법은 무엇입니까?

또한 나는이 동작의 골자를 쓰고 있는데, 이것은 컴파일러 구현의 부작용입니까, 아니면 의도적으로 설계된 것입니까? 설계 상으로는 그렇다면 왜 그렇습니까? 나는 항상 개인이 상속으로 생각하여 미들이 기지에서 물려 받았다는 것을 아무도 모른다는 것을 의미합니다. 그러나 전시 된 행동은 사적 상속이 그 이상을 의미한다는 것을 의미합니다. 실제로 클래스 계층 구조가 아닌 모든 네임 스페이스보다 Base에 대한 액세스 권한이 적습니다.

Answer 1

당신은 완전히 자격으로 Base::Enum에 액세스 할 수 있어야는 :

참고 :

class Child : public Middle 
{ 
public: 
    void Method() 
    { 
     ::Base::Enum e = ::Base::value; 
    } 
}; 

이 언어 (C++ 03 §11.2/3)에 의해 지정된 동작입니다 : 개인 기본 클래스의 멤버는 상속 된 멤버 이름으로 액세스 할 수 없지만 직접 액세스 할 수 있습니다.

다음은 예제 코드와 매우 유사한 확장 예제입니다.

그러나 Visual C++ 2008도 Visual C++ 2010도 올바르게 구현되어 있지 않으므로 ::Base::Enum 유형을 사용할 수 있지만 여전히 ::Base::value에 액세스 할 수는 없습니다. (사실, Visual C++은 잘못 입력 된 것 같습니다. 정확히 말하면 정규화되지 않은 Base::Enum을 사용할 수 있기 때문입니다.)

문제는, 당신은 Middle 클래스 선언을 사용하여 추가 할 수 있습니다 "주위를 얻을"다음

class Middle : private Base 
{ 
protected: 

    using Base::Enum; 
    using Base::value; 
}; 

이것은 당신이 당신의 Child 클래스 Base::Enum 또는 Base::value을 사용하지 않습니다,하지만 당신을 수 Enum 및 value 또는 Middle::Enum 및 Middle::value을 사용하십시오.

Answer 2

나는 한 가지 질문 만 가지고 있습니다. 왜 당신은 상속을 전혀하지 않습니까? 당신이

당신이

불행히도 상속이 필요 구현을 상속 인터페이스를 상속

• : 그것은 하나 책임의 원칙을 위반

  상속, 내 의견으로는, 꽤 깨진 개념이다 객체 지향 코드에서의 다형성을 위해,이 경우에 당신은 그것을 멀리 부끄럽게 생각할 수 없다.

  하지만 여기에서는 다형성을 사용하지 않기를 바라고 있기 때문에 상속을 전혀 사용하지 않는 이유가 궁금합니다. 왜냐하면 그것은 유일한 흥미로운 용도이기 때문입니다.

  대신, C++, 당신은 사용할 수 있습니다

  • 조성, 코드 재사용을 위해 (자신의 네임 스페이스에 정의)
  • 무료 기능
  • using, typedef 등 ...에서 개체를 가져 클래스 외부

  당신의 예제는 여기에 제한된 것처럼 보입니다.하지만 역시 열거 형을 struct으로 감싸서 (그리고 네임 스페이스가 가질 수없는 템플릿 매개 변수로 struct을 사용할 수 있기 때문에).

  struct MyEnum 
  { 
      enum type 
      { 
      value 
      }; 
  }; 
  
  class Child 
  { 
  public: 
      typedef MyEnum::type Enum; 
  
      Child(Enum e = MyEnum::value); 
  
  private: 
  }; 
  

  내가 대신 나는 당신이 우리가 얘기하는 열거 알고 있기 때문에, 다시 읽기 쉬워하게 느낄 이름을 자격과 아무 잘못 표시되지 않습니다

  ...

  정말, private 상속 가장 피해야합니다 (일반적으로 작문으로 대체됩니다). 유일한 유효 케이스 (imo)는 Empty Base Optimization을위한 것입니다. 솔직히 말해서 (자주 최적화 할 때처럼) 자주 필요하지 않습니다.