템플릿 클래스 인스턴스 유형 별칭을 비 멤버 템플릿 함수에 전달

Question

Base 클래스 객체 포인터를 사용하여 외부 비 멤버 템플릿 함수 (DoSomething)에 템플릿 클래스 인스턴스 유형 별칭 (ClassTmplt/DerivedFloat::InternalType)을 전달하는 방법이 있습니까 (마지막 두 개는 test() 함수 주석 행)?

class Base 
{ 
}; 

template <typename T> 
class ClassTmplt: 
    public Base 
{ 
public: 
    using InternalType = T; 
}; 

class DerivedFloat: 
    public ClassTmplt<float> 
{ 
}; 

template <typename T, typename TIn> 
void DoSomething(const TIn value) 
{ 
    T val = T(value); 
    std::cout << val << " | " << typeid(val).name() << " | " << typeid(value).name() << std::endl; 
} 

template <typename T> 
typename T::InternalType PassInternalType(T* obj) 
{ 
    return T::InternalType; 
    //return obj::InternalType 
} 


void test() 
{ 
    Base* obj = new DerivedFloat; 
    DoSomething<float>(1.23); 
    DoSomething<DerivedFloat::InternalType>(1UL); 
    //DoSomething<(*obj)::InternalType>(-123); 
    //DoSomething<PassInternalType(obj)>(4.56); 
} 

Answer 1

번호는 고려 : 포인터의 동적 유형은 런타임에 알고 있기 때문에 기능을 컴파일 할 때 컴파일러가에 액세스 할

는

void f(Base* ptr) { 
    // What type does ptr point to? 
    // The runtime derived type might not exist when this function compiles 
} 

, 그것은 불가능합니다.

정의가 유용 할 수 있지만 더 많은 옵션이있을 수 있지만 지원하려는 유형 집합 전체를 사전에 알고 필요하면 먼저 다운 캐스트해야 할 수도 있습니다.

방문객 패턴이있는 일부 제한된 디자인을 만들 수 있습니다.