C++에서 템플릿 클래스 공분산을 구현하는 방법은 무엇입니까?

Question

템플릿 매개 변수가 관련된 경우 한 개체를 다른 개체로 캐스팅 할 수있는 방식으로 클래스 템플릿을 구현할 수 있습니까?

struct Base {}; 
struct Derived : Base {}; 

template <typename T> class Foo { 
    virtual ~Foo() {} 
    virtual T* some_function() = 0; 
}; 

Foo<Derived>* derived = ...; 
Foo<Base>* base = derived; 

여기에 또 다른 문제는 푸 T & 및 T *를 리턴하는 함수를 포함하는 인터페이스로 사용되는 추상 클래스는 것을, 그래서 I : 여기에 아이디어를 보여줄 수있는 exaple이다 (물론 그것은 컴파일되지 않습니다) 템플릿 복사 생성자를 구현할 수 없습니다.

std::list<Derived> l; 
MyIterator<Base> it(l.begin()); 

UPD :

나는 그것이 다형성 싶습니다 삭제를 입력 할 수있는 STL 반복자를 개최하고, 추가 할 수있는 보편적 인 반복자 클래스를 쓰고 있어요, 즉 I는 다음과 같이 쓸 수있다 그건 내 실수 였고, MyIterator를 구현하기 위해 Foo *에 Foo *를 캐스팅 할 필요가 없었기 때문에 더 이상 문제가 아닌 것으로 생각합니다.

Answer 1

템플릿 인수는 사용자가 가리키는 객체의 내용과 아무 관련이 없습니다. 이것이 작동 할 이유가 없습니다. 당신은 결국 정말 a에 존재하지 않는 정수 bar에 액세스 할

struct Base { }; 
struct Derived : Base {}; 

template<typename T> struct A { int foo; }; 
template<> struct A<Base> { int foo; int bar; }; 

A<Derived> a; 
A<Base> *b = &a; // assume this would work 
b->bar = 0; // oops! 

설명하기 위해!

---

이제 더 많은 정보를 제공 했으므로 이제 완전히 다른 것을하고 싶습니다. 여기에 몇 가지 스타터는 다음과 같습니다

template<typename T> 
struct MyIterator : std::iterator<...> { 
    MyIterator():ibase() { } 
    template<typename U> 
    MyIterator(U u):ibase(new Impl<U>(u)) { } 
    MyIterator(MyIterator const& a):ibase(a.ibase->clone()) 

    MyIterator &operator=(MyIterator m) { 
    m.ibase.swap(ibase); 
    return *this; 
    } 

    MyIterator &operator++() { ibase->inc(); return *this; } 
    MyIterator &operator--() { ibase->dec(); return *this; } 
    T &operator*() { return ibase->deref(); } 
    // ... 

private: 
    struct IBase { 
    virtual ~IBase() { } 
    virtual T &deref() = 0; 
    virtual void inc() = 0; 
    virtual void dec() = 0; 
    // ... 

    virtual IBase *clone() = 0; 
    }; 
    template<typename U> 
    struct Impl : IBase { 
    Impl(U u):u(u) { } 
    virtual T &deref() { return *u; } 
    virtual void inc() { ++u; } 
    virtual void dec() { --u; } 
    virtual IBase *clone() { return new Impl(*this); } 
    U u; 
    }; 

    boost::scoped_ptr<IBase> ibase; 
}; 

이 그런 다음 당신은 any_iterator을 조사 할 수 있습니다

MyIterator<Base> it(l.begin()); 
++it; 
Base &b = *it; 

로 사용할 수 있습니다. 약간의 행운을 가지고, 목적에 맞게 템플릿을 사용할 수 있습니다 (테스트하지는 않았습니다).

Answer 2

Foo<Derived>은 Foo<Base>을 상속하지 않으므로 후자로 변환 할 수 없습니다. 또한 가정이 잘못되었습니다. dynamic_cast이 실패합니다.

Foo<Derived> 인스턴스를 복사하는 Foo<Base> 인스턴스의 새 개체를 만들 수 있지만 지금은 사용자가 찾고있는 것 같습니다.

Answer 3

다른 종류의 관계가 이러한 종류의 관계가 템플릿과 함께 "내장"되어 있지 않다고 지적한 반면, 이러한 종류의 관계로 작동하는 기능을 빌드하는 것이 가능하다는 점에 유의해야합니다. 예를 들어, boost::shared_dynamic_cast and friends는

class A { ... }; 
class B : public A { ... }; 

당신이 boost::shared_ptr<A> 및 boost::shared_ptr<B> 사이 치라 주어진.

이와 비슷한 작업을 수행하는 경우 MyIterator가 지원하는 작업에주의해야합니다. 예를 들어, MyIterator<Base>(std::list<Derived>::iterator)의 귀하의 예제를 사용하여, 당신은

*myIter = someBaseValue; 

컴파일되지해야한다, 예를 들어, operator*()의 좌변 버전이 안된다.