C++ 11

Question

내가 아래 프로그램을 시도했다 실패

#include<type_traits> 
using namespace std; 
template <class F, class R = typename result_of<F()>::type> 
R call(F& f) { return f(); } 
int answer() { return 42; } 

int main() 
{ 
    call(answer); 
    return 0; 
} 

는 "호출 (답변)"실패

이 컴파일을

VC 말한다 'R 호출 (F &)' 'R'에 대한 템플릿 인수를 추론 할 수없는

GCC는 말한다 | 주 : 템플릿 인수 공제/대체 실패 : | 오류 : 함수가 나는 "쿵푸가 있는지 확실하지 않습니다 함수

를 반환 nction name "을 템플릿에 사용할 수 있습니다. 어디서 잘못 되었습니까? 내 전화 (답변)를 작동시키는 방법은 무엇입니까?

Answer 1

당신은 이러한 경우에 전달 참조를 사용할 수 있습니다

는

#include<type_traits> 
#include<utility> 
#include<cassert> 

using namespace std; 

template <class F, class R = typename result_of<F()>::type> 
R call(F&& f) { return std::forward<F>(f)(); } 

int answer() { return 42; } 

int main() 
{ 
    assert(call(answer) == 42); 
    return 0; 
} 

그것은 일반적으로 문제를 피할 수 있습니다.

그렇다면 왜 코드가 제대로 작동하지 않는지는 @ T.C에 의해 잘 설명됩니다. 그의 대답에.
자세한 내용은이 질문에 대한 의견을 참조하십시오.

Answer 2

두 번째 템플릿 인수를 피하고 auto과 decltype()의 조합을 사용할 수 있다고 가정합니다. (이 경우) C++ (14)을 사용할 수 있습니다

뭔가

#include<type_traits> 

using namespace std; 

template <class F> 
auto call(F& f) -> decltype(f()) 
{ return f(); } 

int answer() 
{ return 42; } 

int main() 
{ 
    call(answer); 

    return 0; 
} 

처럼 당신은, 당신은 단순히 auto

template <class F> 
auto call(F& f) 
{ return f(); } 

p.s : 내 나쁜 영어 죄송를 사용 할 수 있습니다.

Answer 3

당신은 너무, 좌변으로 f를 호출 :

template <class F, class R = typename result_of<F&()>::type> 
//            ^
R call(F& f) { return f(); }