c++ using定义类型别名

在未引入using之前定义类型的别名通常用typedef, 下面是一些typedef定义类型别名的用法

typedef unsigned int u_int; // 相当于给unsigned int起了一个别名叫做u_int;
u_int a; // 将a声明为unsigned int类型.

typedef std::map map_s_i;
map_s_i m1;

 如何在map中保持前面部分不变, 后面是用户自定义的类型呢? 可以参考以下代码

template
struct map_s  // 定义一个结构类
{
    typedef std::map type; // 其中第二个参数我们可以自己指定类型.

}

map_s::type m1 // 等价于 std::map m1; 可以自己指定类型.

 对于上述写法使用using可以更加的简便

template
using map_s = std::map type;

map_s 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
using PF = T(*)(T, T);

int func(int a, int b)
{
    cout << a << " " << b << endl;
}

PF pf // PF是一个函数指针类型, pf是一个函数指针
pf(2, 3);

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

补充知识,有时候系统自动去推断类型,可能会造成错误, 需要自己手动提供指定参数

template
T1 sum(T2 a, T3 b)
{
    T1 res = a + b;
    return res;
}

auto result = sum(2000000000, 2000000000); // 自动推断会导致结果出错, 超过int范围
auto result = sum(2000000000, 2000000000); // 指定类型,不会出错。

你可能感兴趣的:(c++,primer,plus,c++)