상속 및 CRTP

Question

, 나는

template <class A> 
class CRTP 
{ 
    template <int (A::*Member)()> 
    int func(void * obj) 
    { 
     int result 
     // Do something with Member, like 
     // result = (reinterpret_cast<A*>(obj)->*Member)(); 
     return result; 
    } 
}; 

template <void (A::*Member)()> 같은 클래스를 가지고 요구 사항입니다, 그것은 인수로 전달 될 수 없습니다.

그리고 나는 또한 수업 자료를

class Base : public CRTP<Base> 
{ 
    int aMemberOfBase() {...} 
}; 

그리고이 그 나는

같은 것을 할 것입니다, 나는 또한 파생의 일부 구성원에 CRTP

class Derived : public CRTP<Derived>, public Base 
{ 
    int aMemberOfDerived() {...} 
}; 

을 상속 할 도출

func<&Derived::aMemberOfDerived>(this); 
func<&Base::aMemberOfBase>(this); 

그럴 수 있습니까?

(음, VC는 첫 번째 라인을 컴파일 ++와 두 번째에 대해 읽을 수 없다 ...하지만 파생 보이는 이상한

template <int (Base::*Member)()> int func(void * obj); 
template <int (Derived::*Member)()> int func(void * obj); 

, 나는 그것을 인정 구성원이 있어야합니다. 그러나 코드 조각 다음

template <void (Base::*Member)()> int func() {return 0;} 
template <void (Derived::*Member)()> int func() {return 1;} 

컴파일 및 템플릿의 서명이 동일하지 않습니다와 동일 할 수 없기 때문에, func<&Base::someMember>() != func<&Derived::someMember>()을 반환합니다.)

내가 인정해야 나는 표준이 말하는 것을 잘받지 못한다. 하지만 허용하려는 상속 패턴이 있습니까? 그리고 그렇다면 왜 라인 중 하나가 컴파일되지 않습니까? 또한

, 내가

class Derived : public CRTP<Derived>, public Base 

class Derived : public Base, public CRTP<Derived> 

대신

를 선언하면 어디 선가 뭔가 문제가 있다는 것을 의미한다 (모든 func<...>(...)에) 시간 오류를 컴파일 얻을. 한편

, 나는

template <class A, int (A::*Member)()> int func(void * obj) 

가 CRTP의 필요성을 제거하는 것이라고 알고 있지만, 그것은 func<Derived, &Derived::aMember>()를 작성하는 고통 스럽다이다. 해결 방법이 있습니까 을 허용 할 수 있습니까?

template <class Class, void (Class::*Member)()> class A 
{ 
    void func(void * obj) {...(reinterpret_cast<Class*>(obj)->*Member)();...} 
}; 
template <typename Signature> class B; 

template <typename Class, typename Member> 
class B<&Class::Member> : public class A<Class, &Class::Member> {}; 

Answer 1

기본 멤버 템플릿의 이름을 정규화하여 명확하게 할 수 있습니다. 다음은 작동해야합니다 :

액세스 제어 세부 사항에서 수렁에 빠지지 않도록 모든 것을 공개했습니다.