Шаблоны, указатели функций и 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?

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

Answer 2

Если я понимаю, проект C++ 0x право следующее должно быть на самом деле достаточно:

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 не может соответствовать синтаксису псевдо-прототип в объявлении частичной специализации.