泛型 之 追踪返回类型

模板编写时，经常需要自动推导参数类型，比较直观的例子，两个数值相加，并返回结果，按照我们的预期，可以编写以下代码：

template<typename T1, typename T2>
decltype(t1 + t2) Sum(T1& t1, T2& t2){
	return t1 + t2;
}

然而编程语言的规则，往往不支持我们的预期行为， decltype(t1+t2) 中的t1和t2此时会被识别未定义类型；
此时需要追踪返回值类型：

template<typename T1, typename T2>
auto Sum(T1& t1, T2& t2) -> decltype(t1 + t2){
	return t1 + t2;
}

其中：复合符号 -> decltype(t1 + t2) 就是追踪返回值类型；

class OuterType{
	struct InnerType{ int i; };
	InnerType GetInner();
	InnerType it;
};
//可以不写 OutType::InnerType，稍微降低一些代码复杂度
auto OuterType::GetInner() -> InnerType {
	return it;
}

void main(){
	auto a = 1, b=2;
	auto c = Sum(a, b);
}

甚至，还可以更任性：

int fn(int a, int b) { return a + b; }
double fn(double d1, double d2) { return d1 + d2; }

template<typename T1, typename T2>
auto Sum(T1& t1, T2& t2) -> decltype(fn(t1, t2)){
	return fn(t1, t2);
}

void main(){
	auto ret1 = Sum(1, 2);
	auto ret2 = Sum(1.1, 2.2);
}