템플릿 매개 변수의 멤버 함수 호출 결과

Question

클래스의 템플릿 매개 변수의 멤버 함수 결과를 가져와야합니다. 불행히도, 나는 C++ 03에 바인딩되어 있고 decltype을 사용할 수 없지만 tr1 :: result_of를 사용할 수 있습니다. 나는 다음과 같은 코드를 시도하지만 내 컴파일러와 함께 작동하지 않았다 (GCC 4.3, 나는이를 변경할 수 없습니다) : 나는 통과

If Fn is a pointer to a non-static member function, and the first type in ArgTypes is the class the member belongs to (or a reference to it, or a reference to a derived type, or a pointer to it), and the remaining types in ArgTypes describe its arguments.

:

#include <tr1/functional> 

struct ReturnType {}; 

struct O 
{ 
     ReturnType f(); 
}; 

template<typename T> struct A 
{ 
     typename std::tr1::result_of<(&T::f)(T*)>::type f(); 
}; 

void f() 
{ 
     A<O> a; 
     ReturnType x = a.f(); 
} 

위의 코드는 result_of<Fn(ArgTypes ...)에 대한 이해를 반영 그것은 멤버 함수에 대한 포인터이며 첫 번째 매개 변수 유형을 클래스에 대한 포인터로 지정합니다. 그러나 컴파일러는 다음 오류를 인쇄합니다.

result_of.cpp:12: error: `&' cannot appear in a constant-expression 
result_of.cpp:12: error: a function call cannot appear in a constant-expression 
result_of.cpp:12: error: template argument 1 is invalid 
result_of.cpp:12: error: invalid use of ‘::’ 
result_of.cpp:12: error: expected ‘;’ before ‘f’ 
result_of.cpp: In function ‘void f()’: 
result_of.cpp:18: error: ‘struct A<O>’ has no member named ‘f’ 

결과 typedef를 추가하십시오, 그래서 나는 컴파일 타임에 반환 유형을 얻을 수 있어야합니다.

Answer 1

std::tr1::result_of에는 유형 매개 변수가 필요합니다. 비 유형 (멤버에 대한 포인터)을 전달하고 있습니다.

이 매우 decltype의 부재에 제한 std::tr1::result_of 있습니다. 예를 들어 래퍼 함수에서 사용할 수 있습니다.

template <typename Ct, typename Arg> 
void some_wrapper(Ct fun, Arg arg) 
{ 
    typedef typename std::tr1::result_of<Ct(Arg)>::type ret; 
    ret result = fun(arg); 
    // ... do something with result 
} 

그러나 시도하는 것처럼 사용할 수 없습니다.