类型提升（Promotion Trait）

本节将用到上节https://blog.csdn.net/xunye_dream/article/details/83050031中实现的IfThenElse模板类，如果感兴趣可以查看该模板类的实现。

类型提升在多参数的函数中体现。如实现以计算两个数之和的函数，而这两数的和可能大于现有这样数的类型或者要取这两数类型的最大者。于是，就需要将现有类型进行提升，以使函数的返回值类型能够容纳计算出的结果。

下面是类型提升的代码实现（模板）。

//base template, choose T1, T2, void
template<typename T1, typename T2>
struct Promotion
{
	typedef typename IfThenElse<(sizeof(T1) > sizeof(T2)),
				T1,
				typename IfThenElse<(sizeof(T1) < sizeof(T2)),
					T2,
					void>::ResultT
				>::ResultT ResultT;
};

如果两个类型完全相同，就需要对上述模板类进行特化。

//local specialization template
template<typename T>
struct Promotion<T, T>
{
	typedef T ResultT;
};