C++(17)：invoke_result声明函数的返回值类型

通常的C++程序，函数的返回值是确定的类型，那么为什么需要通过invoke_result来声明函数的返回值类型呢？

用一个简单但不一定实际的例子进行说明：

#include <iostream>
using namespace std;

int funcAdd(int a, int b)
{
	return a + b;
}

int wrapFuncAdd(int a, int b)
{
	return funcAdd(a, b);
}

int main()
{
	cout<<wrapFuncAdd(1, 2)<<endl;
	return 0;
}

这是一段平淡无奇的程序，但是假如有一天，funcAdd（也许是在另一个文件中定义的）被修改了类型为：

string funcAdd(int a, int b)

那么程序的编译将会报错。 

可以通过invoke_result解决这个问题

#include <iostream>
#include <string>
#include <type_traits>
using namespace std;

string funcAdd(int a, int b)
{
	return to_string(a + b);
}

auto wrapFuncAdd(int a, int b) -> invoke_result<decltype(funcAdd), int, int>::type
{
	return funcAdd(a, b);
}

int main()
{
	cout<<wrapFuncAdd(1, 2)<<endl;