C++ 컴파일러는 이러한 함수 중 어떤 것이 호출되는지 어떻게 결정합니까?

Question

인터페이스

template<class T> 
    void FooClass<T>::foo(boost::function<double (int)> f) 
{...} 

펑터를 사용하여 f를 구현하고 싶습니다.

class MyFun { 
    public: double operator()(int a) {do something...;} 
} 

그러나 인터페이스

에 정의 된 다른 함수가 있습니다.

template<class T> 
    template <class FunPtr> 
    void FooClass<T>::foo(const FunPtr& f) 
{...} 

FooClass 객체가 호출되면

MyFun f; 
FooClass<double> fooclass; 
fooclass.foo(f); 

두 번째 정의를 사용합니다. 첫 번째 정의를 호출하고 싶습니다. 어떻게 든 변경할 수 있습니까?

Answer 1

컴파일러 'preferres' 두 번째 정의 때문에 대한 정확한 경기에서 템플릿 버전 결과 boost::function 매개 변수 은이고 암시 적 변환이 필요합니다. 암시 적 변환은 직접 오버로드 해결 후 으로 간주됩니다. (난 그냥 명확성을 위해 별도로하고있어이 같은 줄에서이 작업을 수행 할 수 있습니다) 당신은 단지 boost::function 객체를 구성하여 당신이 원하는 것을 얻을 수 있고, 함수에 전달 다음는 :

boost::function<double (int)> bMyFun(myFunInstance); 
fooClassInstance.foo(bMyFun); 

Answer 2

당신은 명시 적으로 최초의 과부하가 선호됩니다 있도록 boost::function 객체를 생성 할 수 있습니까? 과부하가 선택되면 템플리트 화되지 않은 유형이 템플리트 화 된 유형보다 더 적합하지만 템플리트 형식 (FunPtr = MyFun)이 implictit 변환 (MyFun -> boost::function<double(int)>)보다 더 일치하므로 두 번째 오버로드가 원래 케이스.

(덕분에 내 원래의 제형에 눈부신 오류를 지적 @ 데이비드합니다!)