CRTP 입력 가시성

Question

내가 해결하기 위해 노력하고이 퍼즐을 가지고 있고, 기본적으로 다음과 같은 예로 요약된다 :

template <typename CT> 
struct A 
{ 
    typedef typename CT::VALUE_T FOO; // FOO is dependent on CT 
}; 

template <typename CT> 
struct B 
{ 
    typedef typename CT::BAR BAR; 

    BAR foo() {} 
}; 

template <typename DT> 
struct C : B<C<DT> > 
{ 
    typedef DT VALUE_T; 

    typedef typename A<C>::FOO BAR; 
}; 

int main() { 
    C<int> c; 
} 

내가 위의 설명을 시도 할 수 있습니다

(나는 시도했습니다 약 3 배 ! 등) 텍스트를 삭제하지만, 기본적으로 요구 사항은 다음과 같습니다

1. C이 C (즉,) CRTP을 이용 B<C<>>
2. 로 입력 B에서 상속해야합니다은 A을 인스턴스화 할 수있는 유일한 인터페이스입니다. A는
3. A이 FOO (FOO이 유형 CT에 따라 달라집니다 정의 할 수있는 유일한 사람입니다) C로 입력해야하며, 관계는 당신이 할 수있는 (발표가)

문제보다 더 복잡하다 위의 코드를 참조하십시오) B이 B 인 경우 내에서만 BAR 유형을 사용할 수 없으므로 B은 템플릿 인수 CT (C<int>) 유형을 볼 수 없습니다. 불행하게도 B 내에서 BAR 유형이 함수에 대한 인수로 사용되고 형식을 반환합니다 (즉, 함수 범위에만 국한되지 않아 결과적으로 typedef를 함수 범위로 이동할 수 없습니다).

이 방법이 있습니까? 위에 언급 된 관계를 깨뜨릴 수는 없습니다 (최후의 수단이 아니면). 아마도 C++ 11에서 auto을 사용하고 typedef를 B에 넣어야 할 필요가 없지만 현재로서는 아직 옵션이 아닙니다.

EDIT : @bitmasks의 의견에 이어 몇 가지 추가 정보가 있습니다.

A 및 B의 코드가 서로 다른 상황에서 꽤 많은 바이너리에 사용되는
1. ,이 경우 유일한 독특한 상황이 C이 B에서 유래한다는 것입니다, 다른 경우에, C은에서 파생 된 무언가의 인스턴스를 소유 B.
2. 템플릿 인수는 기존 용도 변경이 필요없는 값인 A 및 B으로 기본값을 설정할 수있는 한 변경할 수 있습니다 (A 및 B). 동일한 유형 세트는 기본값 인 템플리트 매개 변수 또는 다른 메커니즘으로 사용할 수 있어야합니다.

필자는 tight-coupling이 필요하기 때문에 여기서 템플릿을 사용하고 있으며 다른 상황에서 코드를 사용할 수있는 유연성이 필요했습니다.구성 요소의

대한 설명 :

• A 최고의 컨테이너로 설명하고, FOO 정말 최고의으로 설명이 템플릿 매개 변수
• B의 형식 정의에 의해 정의에 포함 된 내용 반복자이며, 일부 구성 요소에 의해 호출되는 함수 집합을 포함하는 기본 클래스 의 인스턴스는 C입니다. 이전의 경우에는 해당 구성 요소에 B에서 파생 된 내용에 대한 참조가 전달되었습니다 (이 경우 도 C에 의해 소유 됨).이 경우에는 C에 대한 참조를 제공합니다. 의미론 휴식의 변화 -

주요 합병증 용기 A 액세스 발생, B 및 C 간의 이전 관계 C인스턴스 B의이 있지만, 지금 C인스턴스B의가 있다는 클래스에 웨이 유형이 삽입됩니다.

Answer 1

기본 템플릿 매개 변수로 순환 typedef 요구 사항을 해결할 수 있다고 생각합니다. (지금까지의 내가 질문을 이해) 의도를 (거의) 원래 코드의 모든 자유 잎으로 다음 작품 : 템플릿 유형이 끔찍한 도우미의

template <typename CT, typename CTVALUE_T = typename CT::VALUE_T> 
struct A 
{ 
    //typedef typename CT::VALUE_T FOO; // FOO is dependent on CT 
    typedef CTVALUE_T FOO; // FOO is dependent on CT 
}; 

template <typename CT, typename CTBAR = typename CT::BAR> 
struct B 
{ 
    //typedef typename CT::BAR BAR; 
    typedef CTBAR BAR; 

    BAR foo() {return 0;} 
}; 

template <typename DT> struct VALUE_T__from__DT { 
    typedef DT VALUE_T; 
}; 

template <typename DT, template <class T> class _C_ > struct BAR__from__DT { 
    typedef typename A<_C_<DT> , typename VALUE_T__from__DT<DT>::VALUE_T >::FOO BAR; 
}; 

template <typename DT> 
struct C : B<C<DT>, typename BAR__from__DT<DT, C >::BAR > 
{ 
    //typedef DT VALUE_T; 

    //typedef typename A<C>::FOO BAR; 
}; 

int main() { 
    C<int> c; 
    int x = c.foo(); 
    (void)x; 
    return 0; 
} 

이름, 아마 당신은 더 나은 찾을 수 있습니다 이름.

핵심 트릭은 문제가되는 typedef의 정의가 별도의 메타 컨테이너 (즉, 특성을위한 컨테이너)에 넣어져있어 거기에서 부두를 수행 할 수 있다는 것입니다.

필자는 불필요한 typedef를 주석 처리했지만 (거기에 남겨 두었기 때문에 내가하는 일을 파악할 수있는 기회가 더 많았습니다).

귀하의 필요에 맞습니까?