내부 유형을 템플릿 매개 변수로 사용하여 템플릿 클래스를 상속 함

Question

이와 비슷한 작업을 수행 할 수 있습니까? 특히

template<class T> struct A { 

}; 

struct B : public A<B::X> { 
    typedef string X; 
}; 

가, 내가 Enumerator를 작성하는 것을 시도하고, 그 또한 카운터와 몇 가지 다른 기능에 대한 반복자 값을 보유하는 개체에 대한 반복과 역 참조 수와 추가로 제공하는 액세스를 계산하는 반복자 래퍼입니다 . 순간에 당신이 B::X 사용하기 때문에 당신이, 유형 B::X (또는 그 문제에 대한 클래스 B가) 완전히 선언되지 수 없습니다

template<class Iterator> 
struct Enumerator : public iterator<input_iterator_tag, Enumerator<Iterator>::value_type> 
{ 
    typedef size_t counter_type; 

    struct value_type 
    { 
     counter_type i; 
     const typename Iterator::value_type& a; 
     value_type(const counter_type& i, const typename Iterator::value_type& a) : i(i), a(a) {} 
    }; 

    counter_type i; 

    Iterator it; 

    Enumerator() : i(0), it() {} 
    Enumerator(const Iterator & it) : i(0), it(it) {} 

    bool operator==(const Enumerator& a) const {return this->it==a.it;} 
    bool operator!=(const Enumerator& a) const {return this->it!=a.it;} 

    Enumerator& operator++() {++this->i; ++this->it; return *this;} 
    Enumerator operator++(int) {Enumerator tmp(*this); this->operator++(); return tmp;} 

    const value_type& operator*() const {return value_type(i,*this->it);} 
}; 

Answer 1

아니, B 그 시점에서 불완전한 유형이 불완전한 유형에 사용할 수 없습니다

struct B : public A<std::string> 
{ 
    typedef std::string X; 

    ... 
}; 

또는처럼 템플릿 매개 변수에 대한 기본 유형뿐만 아니라 B 템플릿 기반 구조를 만들 중첩 된 이름 지정자.

당신은 다른 클래스 (아래 EnumeratorBase)에 구조체의 정의를 이동 한 다음이 같은 것을 할 수있는 : 당신은 내가 준 확장 반복자의 예에서 보듯이, 정말 A.을 수정할 수 없습니다

template<class Iterator> 
struct Enumerator 
    : private EnumeratorBase<Iterator> 
    , public iterator<input_iterator_tag, EnumeratorBase<Iterator>::value_type> 

{ 
    using typename EnumeratorBase<Iterator>::value_type;  
}; 

Answer 2

Can I do something like this?

아니,이처럼. 당신의 B에에 다음 typedef을

template<class T> struct A { 
    typedef T t_type; 
}; 

과 :

대안은 A 클래스의 형식 정의를 추가하는 것입니다

struct B : public A<string> { 
    typedef t_type X; 
}; 

Live demo

Answer 3

불행하게도 아니, 그렇지 않아 가능한. struct B : public A<B::X>이있을 때 유형 이명 B::X이 아직 존재하지 않기 때문입니다.

그러나 어떤 유형이 X인지 알면 그 대신 실제 유형을 사용하십시오.

template<typename T = std::string> 
struct B : public A<T> 
{ 
    typedef T X; 

    ... 
};