C++类型别名是对已有类型定义新的名称，能简化复杂类型的书写，当和指针、引用、数组等复合类型结合使用时，需要遵循特定的语法规则，否则很容易出现定义偏差。合理使用类型别名和复合类型的组合，能让代码可读性更高，也便于后续的类型修改。
C++类型别名的两种定义方式
C++中定义类型别名主要有两种方式，分别是传统的typedef关键字和C++11引入的using别名声明，两者在基础类型别名定义上效果一致，但在和复合类型结合时有一些差异。
1. typedef定义类型别名
typedef是C语言延续下来的别名定义方式，语法格式为typedef 原类型 新别名;，示例如下：
// 定义int的类型别名 typedef int IntType; // 使用别名定义变量 IntType a = 10;
2. using定义类型别名
using是C++11新增的别名定义方式，语法更清晰，格式为using 新别名 = 原类型;，示例如下：
// 定义int的类型别名 using IntType = int; // 使用别名定义变量 IntType b = 20;
类型别名与常见复合类型结合技巧
与指针类型结合
定义指针类型的别名时，别名代表的是整个指针类型，而不是普通类型加指针修饰，这是很多初学者容易混淆的点。
正确的指针别名定义方式如下：
// 使用typedef定义int指针别名 typedef int* IntPtr; // 使用using定义int指针别名 using IntPtr2 = int*; // 两种定义方式效果一致，p1和p2都是int*类型 int num = 5; IntPtr p1 = # IntPtr2 p2 = #
如果错误地将指针修饰放在别名后面，会导致定义不符合预期：
typedef int IntType; // 这里的*是修饰变量p的，不是类型的一部分，IntType还是int类型 IntType* p = # // 等价于int* p = &num，IntType本身不是指针类型
与引用类型结合
引用类型的别名定义和指针类似，别名直接代表引用类型，语法上需要在原类型后加&。
// 使用using定义int引用别名 using IntRef = int&; // 使用typedef定义int引用别名 typedef int& IntRef2; int val = 10; // 定义int引用变量 IntRef r1 = val; IntRef2 r2 = val; r1 = 20; // val的值会变为20
与数组类型结合
数组类型的别名定义相对特殊，需要把数组的类型和维度都包含在原类型中，避免定义成指针类型。
// 定义长度为5的int数组别名，使用using
using IntArr = int[5];
// 使用typedef定义同样类型的别名
typedef int IntArr2[5];
// 使用别名定义数组变量
IntArr arr1 = {1,2,3,4,5};
IntArr2 arr2 = {6,7,8,9,10};
如果定义时遗漏数组维度，别名会变成指针类型：
// 错误定义：这里的IntArrWrong是int*类型，不是数组类型 typedef int IntArrWrong[];
与函数指针类型结合
函数指针的别名定义语法相对复杂，using方式的写法比typedef更易读，推荐优先使用using。
// 函数类型：返回int，参数为两个int
using FuncPtr = int(*)(int, int);
// 等价的typedef写法
typedef int(*FuncPtr2)(int, int);
// 定义两个符合类型的函数
int add(int a, int b) { return a + b; }
int sub(int a, int b) { return a - b; }
// 使用别名定义函数指针变量
FuncPtr fp1 = add;
FuncPtr2 fp2 = sub;
int res1 = fp1(3,4); // 结果为7
int res2 = fp2(5,2); // 结果为3
常见使用误区与注意事项
- 不要误以为类型别名是简单的文本替换，别名是一个独立的类型名称，和原类型等价但语义更清晰。
- 定义复合类型别名时，修饰符（*、&、[]等）要紧跟原类型，不要和别名分开写，避免产生歧义。
- 当复合类型嵌套层级较多时，优先使用
using定义别名，比typedef的嵌套写法更易理解。 - 类型别名可以和模板结合使用，定义模板类型别名时需要用到
using，typedef不支持模板别名定义。
掌握类型别名和复合类型的结合技巧，能有效简化复杂类型的书写，减少代码中的重复定义，提升代码的可维护性。实际开发中可以根据场景选择合适的别名定义方式，让代码逻辑更清晰。