람다 및 std :: 함수를 사용하는 C++ 11 형식 유추

Question

다음과 같은 코드 스 니펫을 사용합니다. 아주 일반적인 코드이지만 좀 더 일반적인 코드에서 사용하려고하는 패턴을 보여줍니다. 모두를 추상화에 std::function의 따라서 사용 :

template<typename InT, typename ResT> 
ResT unary_apply(InT val, std::function<ResT(InT)> fn) 
{ 
    return fn(val); 
} 

나는 함수 포인터, 펑, 람다 등으로 unary_apply 호출 할 수 싶습니다.

나는 다음과 같은 방법으로 위를 사용하려고

는, C++ (g ++ 4.7) 관련 타입 추론을 수행 할 수 없습니다 :

double blah = unary_apply(2, [](int v) { return 3.0 * v; }); 

이

src/fun.cpp:147:75: error: no matching function for call to ‘unary_apply(int, test()::<lambda(int)>)’ 
src/fun.cpp:147:75: note: candidate is: 
src/fun.cpp:137:6: note: template<class InT, class ResT> ResT unary_apply(InT, std::function<ResT(InT)>) 
src/fun.cpp:137:6: note: template argument deduction/substitution failed: 
src/fun.cpp:147:75: note: ‘test()::<lambda(int)>’ is not derived from ‘std::function<ResT(double)>’ 

과 실패를 그리고 난 것을 발견 명시 적으로 템플릿 매개 변수를 지정해야합니다 (실제로는 반환 할 수없는 반환 유형이라고 생각합니다).

double blah = unary_apply<int, double>(2, [](int v) { return 3.0 * v; }); 

C++ 11에서 타입 유추 규칙에 익숙하지 않지만, 위의 동작은 합리적으로 보입니다 (std::function의 내부 메커니즘을 통해 추론하는 것이 아마도 큰 질문 일 수 있음을 알 수 있습니다). 제 질문은 위의 unary_apply 함수를 다시 작성하여 두 번째 매개 변수로 전달할 수있는 함수/펑쳐 등의 유형에 따라 동일한 유연성을 유지하는 것입니다. 또한 유추를 입력하는 데 더 많은 단서를 제공합니다. 그래서 나는 명시 적으로 호출 시점에 템플릿 매개 변수를 제공 할 필요가 없습니까? 작업을해야 조금 더 오리 typey가는

Answer 1

:

template <typename T, typename F> 
auto unary_apply(T&& val, F&& func) -> decltype(func(val)) { 
    return func(std::forward<T>(val)); 
}