추가 템플릿 매개 변수를 전문으로하는 파생 포인터에 대한 특수 기본 포인터 캐스팅 (특수 대상에 추가)

Question

파생 클래스에 고유 한 몇 가지 메서드를 활용하기 위해 기본 클래스 포인터를 파생 된 포인터로 캐스팅하고 싶습니다. 수업. 여기에 작동하는 간단한 예제의 Ideone입니다 :

template<typename A> 
class Base {}; 

template<typename A, typename B> 
class Derived : public Base<A> { 
public: 
    void doSomething() {} 
}; 

int main() { 
    Base<int>* foo = new Derived<int, double>; 
    static_cast<Derived<int, double>*>(foo)->doSomething(); 
    return 0; 
} 

을 이제 문제는, 내가 돈 내 foo는 템플릿 클래스의 멤버,

template<typename A> 
class Container 
{ 
public: 
    Base<A>* foo; 
}; 

실제로와 시간에 내가 캐스팅이다 ,

int main() { 
    Container<int> container; 
    container.foo = new Derived<int, double>; 

    // a lot of code later... 
    static_cast<Derived< /* ??? */ , double>*>(container.foo)->doSomething(); 

    return 0; 
} 

가 그럼 난 어떻게 든 A 내 기본 클래스에 무엇을 저장할 수 있다면 이것이 가능 될 줄 알았는데 '는 t는 A가 무엇인지 같은

template<typename A> 
class Base 
{ 
public: 
    static type template_type = A; // made-up syntax 
}; 

나는

static_cast<Derived<container.template_type, double>*>(container.foo)->doSomething(); 

처럼 참조 할 수 있도록하지만 this question에 따라 C++로 유형을 저장할 수 없습니다.

A을 몰라도이 캐스트를 어떻게 얻을 수 있습니까?

즉, 추가 기본 템플릿 매개 변수를 전문으로하는 파생 포인터에 특수 기본 포인터를 어떻게 캐스팅합니까? 덜 전문적인 용어로, 나는 Base 포인터와 을 택하여 Derived 포인터를 형성하는 데 필요한 다른 특수화 인을 압정하고 싶습니다.

Answer 1

일반적으로 업 - 캐스트를 수행하는 것이 좋지 않으며 일반적으로 업 - 캐스팅의 필요성을 피하기 위해 사용할 수있는 더 나은 디자인이 있지만 실제로 필요한 경우에는 dynamic_cast을 사용할 수 있습니다 이 작업을 수행.

이 연산자는 한 유형에서 다른 유형으로 동적으로 변환하려고 시도하며 변환이 불가능한 경우 nullptr을 반환합니다. 하지만 적어도 하나의 virtual 함수를 가진 다형 타입에서만 작동한다는 것을 기억하십시오.이 경우 Base 클래스는 다형성을 가져야합니다 (기본 클래스에 대한 포인터를 보유하고 있으므로 delete을 허용하는 가상 소멸자가 필요합니다). 기본 포인터에서 작업하면 Base이 다형성 클래스가됩니다.

그러나 C++의 유형을 기억하는, 당신은 두 가지 옵션이 있습니다 :

• 사용 typedef을 :

당신은 클래스 타입 정보를 보유하는 타입 정의를 사용할 수 있습니다 :

template< class A > 
class my_class 
{ 
public: 
    typedef A input_type; 
}; 

template< class T > 
void do_something(T const& t) 
{ 
    typename T::input_type n; 
    do_something_on_input_type(n); // possibly overloaded for different input types 
} 

이 접근 방식은 정말 빠르며 런타임에 오버 헤드가 없지만 컴파일 타임에 무언가를하고 싶을 때만 사용할 수 있습니다. 포인터의 유형이 런타임까지 결정되지 않으면이 접근법은 유용하지 않습니다.

• 사용 std::type_info

이 실제로 클래스 유형의 정보를 저장할 수있는 사용 :

class Base { virtual std::type_info const& get_type() const = 0; }; 
class Child : public Base 
{ 
    virtual std::type_info const& get_type() const { return typeid(Child); 
    void child_specific_function() { /**/ } 
} 
class ChildOfChild : public Child 
{ 
    virtual std::type_info const& get_type() const { return typeid(ChildOfChild); } 
    // ... 
}; 

void do_something(Base* base) 
{ 
    if (base->get_type() == typeid(Child)) 
    { 
     static_cast<Child*>(base)->child_specific_function(); 
    } 
} 

이 소리는 정말 재미 있지만 정확한 유형을 알고있을 때, 그것은 단지 유용 개체이며 파생 형식에서는 작동하지 않으므로이 접근 방식은 Child에 대해 작동하지만 ChildOfChild에 대해