Шаблоны, указатели функций и 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 не может найти operator () в строке классов, а созданное мной неуклюжее условие не компилируется. Есть идеи? Будут ли у меня дополнительные проблемы с константными функциями?

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