템플릿 매개 변수를 공용으로 만드는 효율적인 방법?

Question

CLASS::TYPE을 통해 공개적으로 사용할 수 있도록 일부 템플릿 매개 변수를 사용하는 클래스가 있습니다. 이를 위해 나는 항상 같은 공공 형식 정의를 수행

template <class Tx> 
Class C 
{ 
public: 
typedef Tx Ty; 

}; 

이 2 개 이유로 어색 : 그것은 느낌

• (투박하고
• 내가 두 개의 서로 다른 이름을 줄 필요가 그림자를 피하기 위해 중복 Tx 및 Ty)을 사용하면 실제로 버그가 발생합니다.

더 좋은 방법이 있나요?

Answer 1

당신은 만들 수 decltype 구문, 공제 및 태그 파견의 사용 :

template <class Tx> 
struct C { }; 

template <class T> 
struct tag { }; 

template <class T> 
T deduceCTx(tag<C<T>>); 

// now to extract type: 
decltype(deduceCTx(tag<C<int>>{})) a; // a is of type int 

보다 일반적인 경우에는 어떤 템플릿 형식 매개 변수를 추출하기를 추론 기능을 만들 수 있습니다 (때 적어도 C++ 11을 사용) 템플릿 템플릿 구문과 가변 인자 템플릿을 사용하여 :

#include <tuple> 

template <class Tx> 
struct C { }; 

template <class T> 
struct tag { }; 

template <size_t N, template <class...> class TT, class... Args> 
typename std::tuple_element<N, std::tuple<Args...>>::type 
    deduceAnyTypeTemplateParameter(tag<TT<Args...>>); 

// now to extract type: 
decltype(deduceAnyTypeTemplateParameter<0>(tag<C<int>>{})) a; // a is of type int 

당신은 유형 별칭 활용하여 공제의 사용을보다 편리하게 할 수있는 C++ (14)를 사용하는 경우 :

#include <tuple> 

template <class Tx> 
struct C { }; 

template <class T> 
struct tag { }; 

template <size_t N, template <class...> class TT, class... Args> 
typename std::tuple_element<N, std::tuple<Args...>>::type 
    deduceAnyTemplateParameter(tag<TT<Args...>>); 

// now to use passed type: 
decltype(deduceAnyTemplateParameter<0>(tag<C<int>>{})) a; // a is of type int 

template <size_t N, class T> 
using TemplateParameter = decltype(deduceAnyTemplateParameter<N>(tag<T>{})); 

int main() { 
    TemplateParameter<0, C<int>> i; // i of type int 
}