템플릿, 함수 포인터 및 C++ 0x

Question

C++ 0x 기능 중 일부를 이해하기위한 개인적인 실험 중 하나 : 실행할 함수 파일 포인터에 함수 포인터를 전달하려고합니다. 결국 실행은 다른 스레드에서 발생합니다. 그러나 모든 다른 유형의 기능을 사용하면 템플릿을 사용할 수 없습니다.

#include <functional> 

int foo(void) {return 2;} 

class bar { 
public: 
    int operator() (void) {return 4;}; 
    int something(int a) {return a;}; 
}; 

template <class C> 
int func(C&& c) 
{ 
    //typedef typename std::result_of< C() >::type result_type; 
    typedef typename std::conditional< 
     std::is_pointer<C>::value, 
     std::result_of< C() >::type, 
     std::conditional< 
      std::is_object<C>::value, 
      std::result_of< typename C::operator() >::type, 
      void> 
     >::type result_type; 
    result_type result = c(); 
    return result; 
} 

int main(int argc, char* argv[]) 
{ 
    // call with a function pointer 
    func(foo); 

    // call with a member function 
    bar b; 
    func(b); 

    // call with a bind expression 
    func(std::bind(&bar::something, b, 42)); 

    // call with a lambda expression 
    func([](void)->int {return 12;}); 

    return 0; 
} 

result_of 템플릿 혼자 클래스 바, 내가 컴파일되지 않습니다 만든 투박한 조건에서 연산자()를 찾을 수있을 것 같지 않습니다. 어떤 아이디어? const 함수에 추가 문제가 있습니까?

Answer 1

decltype 어때요? 내가 C + +0 초안을 이해한다면

template <class C> 
auto func(C&& c) -> decltype(c()) { 
    auto result = c(); 
    return result; 
} 

Answer 2

오른쪽 실제로 충분해야 다음

typedef typename std::result_of<C()>::type result_type; 

그 대신 조건식의 사용, 그것은 gcc4.5에 잘 컴파일 - 어쩌면 당신은 어떤 컴파일러에서 버그를 발견 했나요?

Answer 3

템플릿을 인스턴스화 할 수 있지만 GCC는 result_of을 사용할 때마다 불만을 토로합니다.

template <class C> 
int func(C&& c) 
{ 
    //typedef typename std::result_of< C() >::type result_type; 
    typedef typename std::conditional< 
     std::is_pointer<C>::value, 
     // C++0x still requires "typename" sprinkles: 
     typename std::result_of< C() >::type, 
     typename std::conditional< 
      std::is_object<C>::value, 
      // result_of takes a *type* as an argument, not an object: 
      //typename std::result_of< decltype(&C::operator()) >::type, 
      // Or better: 
      typename std::result_of<C>::type, 
      void> 
     >::type result_type; 
    result_type result = c(); 
    return result; 
} 

int main(int argc, char* argv[]) 
{ 
    // according to GCC, func(foo) passes a function reference. 
    func(foo); 

첫 번째 오류 메시지 :

rof.cpp:23:17: error: invalid use of incomplete type 'struct std::result_of<int (&)()>' 

result_of이 표준에 지정된대로 구현, 그래서 GCC는 부분 특수화 선언에 의사 프로토 타입 구문과 일치하지 수 있다는 것을 나타납니다.