using 定义模板别名
都知道 typedef可以用来定义类型别名。例如typedef unsigned int uint_t;
相当于给unsigned int类型起了个别名uint_t
如果有一个类型std::map<std::string, int>
想给它起别名。方便在程序中书写,那应该在没写呢?
typedef std::map<std::string, int> map_s_i; //现在,这么长的类型名,可以换成一个短类型,写起来方便多了
//使用
map_s_i mymap;
mymap.insert({ "first",1 }); //插入元素到容器,容器中每个元素都是一个键值对
如果还有一种类型,std::map<std::string, std::string>,那么就要这样使用
typedef std::map<std::string, std::string> map_s_s;
map_s_s mymap2;
mymap2.insert({ "first","firstone" }); //key是"first",value是"firstone"
typedef痛点
如果在实际开发中有这样一个需求:希望定义一个类型,但这个类型不固定,例如对于 map类型容器中的元素,key是固定的 std::string类型,但是value不希望固定为 int或者固定位string,希望王可以由自己制定。
这个需求 typedef就很难办到,因为:typedef一般都是用来给固定类型起别名,而这里的类型名不固定,像一个模板一样,typedef无能为力。
C++98解决方案
通过一个类模板来实现
template <typename wt>
struct map_s
{
typedef std::map<std::string, wt> type; //定义了一个类型
};
//main
map_s<int>::type map1; //等价于 std::map<std::string, int> map1;
map1.insert({ "first",1 });
可以看到为了实现比较通用的,要专门写一个类模板来达到目的,实现方式不太令人满意,所以C++11新标准解决了这个问题。
C++11解决方案
template<typename T>
using str_map_t = std::map<std::string, T>;
//main
str_map_t<int> map1;
map1.insert({ "first",1 });
分析代码:
既然是 template 开头,那么肯定是用于定义模板的,然后通过 using关键字给这个模板起来一个名字(别名模板),这里叫 str_map_t。后面这个std::map<std::string,T>
是类型,所以不难看出using是用来给一个跟类型有关的模板起名字用的,有了名字,后续才能使用。
using与typedef用法对比
typedef unsigned int uint_t;
using uint_t = unsigned int; //typedef 后的两个内容的位置反过
typedef int(*FunType)(int, int);
using FunType = int(*)(int, int); //注意第一个圆括号中间的内容变成(*)了
//using 定义类型相关的模板(给函数指针起别名)
template <typename T>
using myfunc_M = int(*)(T, T);
//综上可以看出using更符合编程习惯
总结
- 用 using 定义类型相关模板与定义普通类型相差不太多,只是在前面要加一个 template 开头的额模板参数列表。
- 在using 中使用的这种模板。既不是类模板也不是函数模板,可以看做是一种新的模板形式——别名模板