자동 형식 유추

Question

을 금지 나는 다음과 같은 한 데모 코드 :

In function ‘int main()’:             
11:23: error: call of overloaded ‘func(int)’ is ambiguous 
11:23: note: candidates are: 
2:3: note: T func(const U&) [with int i = 1, T = int, U = int] 
5:3: note: T func(const T&) [with int i = 1, T = int] 

: 그것은 쓸모없는 듯 보이지만 문제를 보여주기 위해 충분합니다, 그래서 내 진짜 코드로 요약 버전입니다

template <int i, typename T, typename U> 
T func(const U &t){return i * t;} 

template <int i, typename T> 
T func(const T &t){return 2 * i * t;} 

int main() 
{ 
     return func<1, int>(1); 
} 

따라서 자동 유형 유추 (템플릿 매개 변수 U의 경우)가 템플릿 함수의 올바른 버전을 선택하는 것에 대한 내 관심사를 방해합니다 (이는 매개 변수가 2 개 뿐인 매개 변수입니다).

기본 템플릿과 특수 템플릿을 사용하려면 두 버전이 필요합니다.

그래서 질문입니다 :이 시점에서 형식을 자동으로 추론하지 않도록 컴파일러에 지시 할 가능성이 있습니까 (예 : 어쨌든 2 개의 매개 변수 만있는 템플릿 사용).

Answer 1

다음과 같은 경우,

template <int i, typename T, typename U> 
T func(const U &t){return i * t;} 

template <int i, typename T> 
T func(const T &t){return 2 * i * t;} 

int main() 
{ 
     return func<1, int>({1}); 
} 

을하지만 귀하의 경우를 func<N>(...)으로 전화를 걸면 두 번째 전화를 걸고 싶은데, func<N, T>(...)으로 전화를 걸면 항상 두 번째 전화를 걸고 싶을뿐입니다. func<N, T, U>(...)에 전화를 걸려면 먼저 U에 대한 매개 변수를 비 감추어 진 컨텍스트로 만들면

template <int i, typename T, typename U> 
T func(typename std::common_type<const U &t>::type t){return i * t;} 

template <int i, typename T> 
T func(const T &t){return 2 * i * t;} 

int main() 
{ 
     return func<1, int>({1}); 
} 

Answer 2

당신은 형식 유추를 사용하지 않도록 설정할 수 있지만 오버로드 중 하나 억제하는 SFINAE를 사용할 수 있습니다 기본적으로 추론 유형 U이 유형 T 경우 대체가 실패 할에 대한 템플릿 함수를 만듭니다

template <int N, typename T, typename U> 
typename std::enable_if< !std::is_same<T,U>::value, T >::type 
func(const U & t) { 
    return i*t; 
} 

을, SFINAE는 후보자 집합에서 템플릿을 제거하고 다른 템플릿이 선택됩니다.

C++ 11 지원 컴파일러가없는 경우 enable_if 및 is_same 템플릿은 간단하게 작성할 수 있습니다. 단지 Google을 사용하거나 댓글을 달아주세요.

당신은 효과적으로 공제를 비활성화합니다 (그러나 int이 경우에 비록 같은 효과가 매개 변수의 목록이 초기화됩니다) 이니셜 라이저 목록, 통과 할 수