C++ 常用特征-类型-typedef关键字-函数指针-复杂类型

  官方定义，任何声明变量的语句前面加上typedef之后，原来是变量的都变成一种类型。不管这个声明中的标识符号出现在中间还是最后。它是缩短类型定义，方便使用的一种手段，那在此之前，读者需要知道有哪些类型定义：

1. 简单类型

typedef float NUM;
typedef struct{int a;} Age;//结构体
typedef int *int_p;//定义了一个名为int_p的指针类型, 它指向int ;

2. 数组

typedef int Arr[]; // 定义一个名为Arr的整形数组类型

3. 函数

typedef int f1(); // 定义一个名为f1, 参数为空, 返回值为int的函数类型
typedef int f2(int); // 定义一个名为f2, 含一个int参数, 返回值为int行的函数类型

4. 复杂类型定义

  理解复杂定义的“右左法则”，从变量名看起，先往右，再往左，碰到圆括号就调转阅读的方向；括号内分析完就跳出括号，还是先右后左的顺序。如此循环，直到分析完整个定义。   先分析int (*pfunc) (int);找到变量名pfunc，先往右是圆括号，调转方向，左边是一个*号，这说明pfunc是一个指针；然后跳出这个圆括号，先看右边，又遇到圆括号，这说明(*pfunc)是一个函数，所以pfunc是一个指向这类函数的指针，即函数指针，这类函数具有一个int类型的参数，返回值类型是int。   再分析int (*arr[10]) (int);找到变量名arr，先往右是[]运算符，说明arr是一个数组；再往左是一个*号，说明arr数组的元素是指针（注意：这里的*修饰的不是arr，而是arr[10]。原因是[]运算符的优先级比*要高，arr先与[]结合。）；跳出圆括号，先往右又遇到圆括号，说明arr数组的元素是指向函数的指针，它指向的函数有一个int类型的参数，返回值类型是int。   type (*var)(…); // 变量名var与*结合，被圆括号括起来，右边是参数列表。表明这是函数指针   type (*var)[]; //变量名var与*结合，被圆括号括起来，右边是[]运算符。表示这是数组指针   type (*var[])…; // 变量名var先与[]结合，说明这是一个数组（至于数组包含的是什么，由旁边的修饰决定）

更复杂的类型， typedef void * (* (*fp1) (int)) [10];   找到变量名fp1，往右看是圆括号，调转方向往左看到*号，说明fp1是一个指针；跳出内层圆括号，往右看是参数列表，说明fp1是一个函数指针，接着往左看是*号，说明指向的函数返回值是指针；再跳出外层圆括号，往右看是[]运算符，说明函数返回的是一个数组指针，往左看是void *，说明数组包含的类型是void *。简言之，fp1是一个指向函数的指针，该函数接受一个整型参数并返回一个指向含有10个void指针数组的指针。

typedef float (* (*fp2) (int, int, float)) (int);   找到变量名fp2，往右看是圆括号，调转方向往左看到*号，说明fp2是一个指针；跳出内层圆括号，往右看是参数列表，说明fp2是一个函数指针，接着往左看是*号，说明指向的函数返回值是指针；再跳出外层圆括号，往右看还是参数列表，说明返回的指针是一个函数指针，该函数有一个int类型的参数，返回值类型是float。简言之，fp2是一个指向函数的指针，该函数接受三个参数(int, int和float)，且返回一个指向函数的指针，该函数接受一个整型参数并返回一个float。

typedef double (* (* (*fp3) ()) [10]) (); fp3 a;   跟前面一样，先找到变量名fp3（这里fp3其实是新类型名），往右看是圆括号，调转方向往左是*，说明fp3是一个指针；跳出圆括号，往右看是空参数列表，说明fp3是一个函数指针，接着往左是*号，说明该函数的返回值是一个指针；跳出第二层圆括号，往右是[]运算符，说明函数的返回值是一个数组指针，接着往左是*号，说明数组中包含的是指针；跳出第三层圆括号，往右是参数列表，说明数组中包含的是函数指针，这些函数没有参数，返回值类型是double。简言之，fp3是一个指向函数的指针，该函数无参数，且返回一个含有10个指向函数指针的数组的指针，这些函数不接受参数且返回double值。

  最后再模板编程中使用类型 typedef typename _Myvec::value_type value_type;斜体部分的类型命名。

5.作者答疑

  如有疑问，请留言。