포인터 템플릿 매개 변수에서 형식을 추출 할 수 있습니까?

Question

단일 포인터 매개 변수를 사용하고 가리키는 유형을 추출하는 템플릿을 정의 할 수 있습니까?

extern int three = 3; 
typename examine<&three>::pointed_type // int 

Answer 1

는 이미 사용할 수 있습니다 (C++ 11) <type_traits>에서 std::remove_pointer<T>::type있다.

Answer 2

예, 다음과 같은이 달성하기 위해 부분 특수화를 사용합니다 :

template<typename T, T* p> 
struct foo { }; 

extern int three = 3; 
foo<decltype(three), &three> bar; 

:

template<typename T> 
struct examine { 
    typedef T pointed_type; 
}; 

template<typename T> 
struct examine<T*> { 
    typedef T pointed_type; 
}; 

비 형 템플릿 매개 변수의 사용에 대한 의견을 참조하기를, 다음 사항을 고려

foo은 &x의 템플릿 매개 변수를 실제로 사용할 수 있지만 먼저 매개 변수를 type으로 지정해야합니다 (또는 int*으로 제한하십시오. 엘). 이 작업을 수행하지 않으면 템플릿 매개 변수 p이 정의되어있는 경우 T이라는 이름이 어떤 유형도 아닙니다.

T의 자동 공제를 수행하는 방법은 없습니다. 템플릿 인수가 다른 순서로 정의되어야하기 때문입니다.

당신이 decltype를 사용하지 않고 얻을 수있는 가장 가까운 다시 그렇게

template<typename T> 
void deduce_argument_type(T const&) 
{ 
    // here, the type T is (close to) that of your argument 
} 
deduce_argument_type(&three); // uses deduce_argument_type<int*> 

같은 추론 할 템플릿 형식 매개 변수의 원인이됩니다 비 템플릿 인수를 얻는 함수 템플릿을 정의하여, 당신은이를 사용할 수 없습니다 &three을 전달하기 전에 T을 정의하는 제한을 없애기 위해 템플릿 매개 변수 공제는 전달한 템플릿 매개 변수의 오른쪽에만 유형을 추론하기 때문에