15.5 using定义模板别名与显式指定模板参数

一：using定义模板别名

typedef：一般用来定义类型别名

//希望定义一个类型，前边这部分固定不变，std::map<std::string, 类型自己指定>
// C++98
template<typename wt>
struct map_s
{
	typedef std::map<std::string, wt> type;
};

int main()
{
	typedef unsigned int unit_t;  //相当于给unsigned int类型起了一个别名unit_t
	unit_t abc;
	typedef std::map<std::string, int> map_s_i;
	map_s_i mymap;
	mymap.insert({ "first", 1 });
	mymap.insert({ "second", 2 });

	typedef std::map<std::string, std::string> map_s_s;
	map_s_s mymap2;
	mymap2.insert({ "first", "firstone" });

	map_s<int>::type map1;  //等价于std::map<std::string, int> map1;
	map1.insert({ "first", 1 });
	return 0;
}

我们为了实现这种比较通用的以 string 类型为 key，以任意类型为 value (值)的 map 容器，我们不得不自己写一个类来达到这个目的，
实现手段比较猥琐。

// C++11
template<typename T>
using str_map_t = std::map<std::string, T>;  // str_map_t是类型别名
// using用来给一个"类型模板"起名字(别名)用的

int main()
{
	str_map_t<int> map2;
	map2.insert({ "first", 1 });
	return 0;
}

using在用于定义类型(定义类型模板)的时候，是包含了 typedef 的所有功能的。

template<typename T>
using myfunc_M = int(*)(T, T);  //定义类型模板是个函数指针模板

int RealFunc(int a, int b)
{
	return 1;
}

int main()
{
	typedef unsigned int unit_t;
	using unit_t = unsigned int;

	typedef std::map<std::string, int> map_s_i;  //typedef定义类型的方法感觉像定义一个变量：类型名 变量名
	using map_s_i = std::map<std::string, int>;

	typedef int(*FuncType)(int, int);  //用typedef来定义函数指针
	using FuncType = int(*)(int, int);  //using定义类型的定义方法感觉像赋值

	myfunc_M<int> pointFunc;  //myfunc_M<int>是一个函数指针类型，是一个类型名
	//pointFunc是一个函数指针变量。
	pointFunc = RealFunc;  //把函数地址赋给函数指针变量
	cout << pointFunc(1, 2) << endl;
	return 0;
}

总结：
using中使用这种模板，既不是类模板，也不是函数模板，我们可以看成是一种新的模板类型：类型模板(模板别名)。

二：显式指定模板参数

template<typename T1, typename T2, typename T3>
T1 sum1(T2 a, T3 b)
{
	T1 result = a + b;
	return result;
}

template<typename T1>
T1 sum2(T1 a, T1 b)
{
	T1 result = a + b;
	return result;
}

int main()
{
	//auto result1 = sum1<int, string, string>(2000000000, 2000000000);  //编译器直接报错
	//auto result2 = sum1<double, int, int>(2000000000, 2000000000);  //相加结果超过int值，得到错误答案，
	auto result3 = sum1<long long, long long, long long>(2000000000, 2000000000);  //手工指定的类型优先
	cout << result3 << endl;
	return 0;
}