std result_of

#include <type_traits>

auto call(const auto& f) -> typename std::result_of<decltype(f)()>::type

{

  return f();

}

int main()

{

  return call([] { return 0; });

}

Neither gcc-4.9.2 and gcc-5.0.0 compil!!!!

原因: result_of needs a call expression from which it will deduce the return type,

const auto& f中的f会被初始化为函数签名原型,而非函数引用.

ok version:

template<typename F>

auto call(F const& f) -> typename std::result_of<decltype(f)()>::type

//                    or typename std::result_of<F()>::type

{

  return f();

}

或者

template<typename F>

auto call(F const& f) -> decltype(f())

{

  return f();

}

Anyway, on gcc 4.5, result_of is implemented in terms of decltype:

template<typename _Signature>

  class result_of;

template<typename _Functor, typename... _ArgTypes>

  struct result_of<_Functor(_ArgTypes...)>

  {

    typedef decltype( std::declval<_Functor>()(std::declval<_ArgTypes>()...) )  type;

  };

  

  

template <class F, class R = result_of_t<F()>>

R call(F& f) { return f(); }

int answer() { return 42; }

call(answer); // error

使用:result_of_t<F&()>

/**************************正确的方式************************************************************/ 

#include <iostream>

#include <type_traits>

double f(int i)

{

        return i+0.1;

}

struct F

{

        public:

        double operator ()(int i) { return i+0.1; }

};

int

main(int, char**)

{

        std::result_of<F(int)>::type x;     

        std::result_of<f(int)>::type x;  //错误的用法

//typename std::result_of<decltype(&f)(int)>::type x; //正确的方式1

        //typename std::result_of<decltype((f))(int)>::type x; //正确的方式2, decltype((f))会返回一个引用

        x = 0.1;

        std::cerr << x << std::endl;

}

struct AA {};

int foo(AA x)

{

    return 0;

}

template<typename T>

void Test(const T& t)

{

    decltype(std::declval<T>()(std::declval<AA>())) i1 = 1;

    typename std::result_of<decltype(&t)(AA)>::type i2 = 2; //正确的方式1

typename std::result_of<decltype(t)(AA)>::type i2 = 2; //正确的方式2

    typename std::result_of<const T &(AA)>::type i3 = 2; //正确的方式3

}

int main()

{

    Test(foo);

    return 0;

}

g++ tpl.cpp -std=c++11 -g -fno-elide-constructors -O0