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（），并且我创建的笨重的条件不能编译。有任何想法吗？我还有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无法匹配部分特化声明中的伪原型语法。

模板，函数指针和C ++ 0x

3 个答案: