비교 기능을 사용하는 C++ <오버로드 된 함수 유형>

Question

날짜 벡터를 실행하기 위해 사용자 지정 이진 검색을 구현하려고합니다. 내가 컴파일 오류 때 얻을 그러나 문제없이 컴파일

template <class T> 
inline bool cmp(T lhs,T rhs) 
{ 
    return lhs<rhs; 
} 

이 두 :

template <typename RandomAccessIterator, typename Value, typename Comparer> 
inline int binary_search(RandomAccessIterator const first, RandomAccessIterator const last, Value const& value, Comparer comparer) 
{ 
    RandomAccessIterator it(std::lower_bound(first, last, value, comparer)); 
    if (it == last || comparer(*it, value) || comparer(value, *it)) 
     return distance(first,last); 

    return distance(first,it); 
} 

내가 사용하고 비교기는 다음과 같이 정의된다

내 이진 검색 기능은이 다음이다 다음 코드를 사용하여 binary_search 함수를 호출 해보십시오.

whe re date_list는 날짜를 포함하는 벡터이고, date2는 int입니다.

정확한 오류 메시지는 다음과 같습니다이 문제를 해결하는 방법에 대한

error: no matching function for call to ?binary_search(__gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >, __gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >, int&, <unresolved overloaded function type>)? 

어떤 아이디어?

Answer 1

C++에서 값을 원할 때 컨텍스트에서 템플릿의 이름 (cmp)을 전달합니다. 당신이 이것을 할 수 없다는 사실 외에도, 그것은 닭 또는 계란 문제입니다 : cmp은 어떤 종류입니까? 함수의 형식은 인수에 따라 다르며이 함수는 모든 형식의 인수를 사용할 수 있습니다. 그렇다면 컴파일러는 템플릿 인수 Comparer에 대해 어떤 유형을 추측합니까? int이 필요하다는 것을 알아 내려면 함수의 본문을 살펴 봐야하며, 항상 컴파일러가 항상 템플릿의 소스 코드에 액세스 할 수있는 것은 아닙니다.

전달할 함수 템플릿의 유형을 구체적으로 선택해야합니다. 예 :

binary_search(date_list.begin(), date_list.end(), date2, cmp<int>);