响水凹

欢迎来到 Guang-Wen Duan (Dennis Duan) 的个人 Wiki

用户工具

站点工具


computer:c:tips:complicated_type

复杂类型声明的分析

C语言的类型声明可以很简单,如仅仅声明一个int变量、指向int的指针、int数组等。也可以将这些简单类型组合起来构成很复杂的类型。

要分析这些复杂声明,关键是记住优先级:

  • 函数(function)和数组(array)比指针(pointer)有更高的优先级;
  • 可以使用括号(parentheses)来改变优先级。
括号的嵌套层次是有限的,早期的C编译器允许最多6层嵌套,标准C扩大到至少支持12层嵌套。

示例:

int (*ary[5])();

根据优先级,ary是一个有5个元素的数组,每个元素是一个函数指针,该函数的返回值类型是int。

对于更复杂的类型,最好用typedef来简化定义。

例如:

int *(*(*(*x)())[10])();

我们先从里向外进行分析:

  1. (*x),x是一个指针,我们暂称为A指针,为便于分析,我们接下来将这块声明用A代替;
  2. (*A()),A指针是一个函数指针,该函数返回值类型为B指针,同理我们接下来将这块声明用B代替;
  3. (*B[10]),B指针是一个指向10个元素数组的指针,每个元素的类型是C指针,我们接下来将这块声明用C代替;
  4. int *C(),C指针是一个函数指针,该函数返回值类型是int指针。

综上,x是一个函数指针,该函数的返回值类型是一个指向10个元素数组的指针,每个数组元素又是一个函数指针,对应函数的返回值类型是int指针。

虽然总能分析出来,但合理使用typedef,结果会清晰很多:

typedef int *(*print_function_ptr)();
typedef print_function_ptr (*digit_routines)[10];
digit_routines (*x)();
computer/c/tips/complicated_type.txt · 最后更改: 2014/11/01 02:02 由 127.0.0.1