在未引入using之前定义类型的别名通常用typedef, 下面是一些typedef定义类型别名的用法
typedef unsigned int u_int; // 相当于给unsigned int起了一个别名叫做u_int;
u_int a; // 将a声明为unsigned int类型.
typedef std::map<std::string, int> map_s_i;
map_s_i m1;
如何在map中保持前面部分不变, 后面是用户自定义的类型呢? 可以参考以下代码
template<typename T>
struct map_s // 定义一个结构类
{
typedef std::map<std::string, T> type; // 其中第二个参数我们可以自己指定类型.
}
map_s<int>::type m1 // 等价于 std::map<std::string, int> m1; 可以自己指定类型.
对于上述写法使用using可以更加的简便
template<typename T>
using map_s = std::map<std::string, T> type;
map_s<int> m2;
using在用于定义类型, (定义类型模板)的时候, 包含了typedef的所有用法, 下面来看一些使用using定义类型别名的例子
typedef unsigned int u_int; // 使用typedef的方式
using u_int = unsigned int; // 使用using的形式
// 定义函数指针
typedef int(*pf)(int, int)
using pf = int(*)(int, int);
以下是一些使用using定义类型别名的练习
1, 定义一个自定义函数参数类型和返回类型的函数指针模板
template<typename T>
using PF = T(*)(T, T);
int func(int a, int b)
{
cout << a << " " << b << endl;
}
PF<int> pf // PF是一个函数指针类型, pf是一个函数指针
pf(2, 3);
在using中使用这种模板,既不是类模板, 也不是函数模板, 我们可以看成一种新的模板类型, 类型模板(别名)
补充知识,有时候系统自动去推断类型,可能会造成错误, 需要自己手动提供指定参数
template<typename T1, typename T2, typename T3>
T1 sum(T2 a, T3 b)
{
T1 res = a + b;
return res;
}
auto result = sum<int>(2000000000, 2000000000); // 自动推断会导致结果出错, 超过int范围
auto result = sum<int, double, double>(2000000000, 2000000000); // 指定类型,不会出错。