C++中result_of用法

        result_of主要用于目标函数定义的类型推导中，在C++中auto也会自动推导类型，但是初始值不赋值时，auto是不能推导出目标类型，但result_of是可以推导出类型。

result_of的用法如下：

template <class Fn, class... ArgTypes>

struct result_of<Fn(ArgTypes...)>

模板参数：

（1）Fn

可调用类型（即函数对象类型或指向成员的指针），或对函数的引用，或对可调用类型的引用。

（2）ArgTypes 

类型列表，与调用中的顺序相同。
请注意，模板参数不是逗号分隔的，而是函数形式的。

成员类型：

（1）type     

使用 ArgTypes 中指定类型的参数调用 Fn 的结果类型。

总述：

使用result_of推导的类型是函数Fn(ArgTypes...)的返回类型。

demo如下：

// result_of example
#include <iostream>
#include <type_traits>

int fn(int) {return int();}                            // function
typedef int(&fn_ref)(int);                             // function reference
typedef int(*fn_ptr)(int);                             // function pointer
struct fn_class { int operator()(int i){return i;} };  // function-like class

int main() {
  typedef std::result_of<decltype(fn)&(int)>::type A;  
    // int，其中decltype(funName)返回函数funName的函数类型
 
  typedef std::result_of<fn_ref(int)>::type B;         // int
  typedef std::result_of<fn_ptr(int)>::type C;         // int
  typedef std::result_of<fn_class(int)>::type D;       // int

  std::cout << std::boolalpha;
  std::cout << "typedefs of int:" << std::endl;

  std::cout << "A: " << std::is_same<int,A>::value << std::endl;
  std::cout << "B: " << std::is_same<int,B>::value << std::endl;
  std::cout << "C: " << std::is_same<int,C>::value << std::endl;
  std::cout << "D: " << std::is_same<int,D>::value << std::endl;

  return 0;
}

知识链接如下：

上述demo的代码参考于result_of - C++ Reference (cplusplus.com)http://www.cplusplus.com/reference/type_traits/result_of/

 上述代码中typedef的用法见C++ typedef用法详解 - seventhsaint - 博客园 (cnblogs.com)https://www.cnblogs.com/seventhsaint/archive/2012/11/18/2805660.html

上述代码中decltype的用法见
C++11的std::declval与decltype_hanxiaoyong_的博客-CSDN博客https://blog.csdn.net/hanxiaoyong_/article/details/120123056