C 中的复杂声明

约定不等于承诺〃 2021-12-09 03:45 325阅读 0赞

### 引用 ###

> C Primer Plus

--------------------

### C 中的复杂声明 ###

C 允许用户自定义数据形式。虽然我们常用的是一些简单的形式，但是根据需要有时还会用到一些复杂的形式。在一些复杂的声明中，常含下面的符号。如下所示:

<table> 
 <thead> 
  <tr> 
   <th>符号</th> 
   <th>含义</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td>*</td> 
   <td>表示一个指针</td> 
  </tr> 
  <tr> 
   <td>()</td> 
   <td>表示一个函数</td> 
  </tr> 
  <tr> 
   <td>[]</td> 
   <td>表示一个数组</td> 
  </tr> 
 </tbody> 
</table>

下面的一些复杂的声明示例 ：

int board[8][8];  // 声明一个内含 int 数组的数组。
    int ** ptr ;      // 声明一个指向指针的指针，被指向的指针指向 int。
    int * risks[10];  // 声明一个内含 10 个元素的数组，每一个元素都是一个指向 int 的指针。
    int (* rusks)[10];// 声明一个指向数组的指针，该数组内含 10 个 int 类型的值。
    int * oof[3][4];  // 声明一个 3 x 4 的二维数组，每个元素都是指向 int 的指针。
    int (* uuf)[3][4]; //声明一个指向 3 x 4 二维数组的指针，该数组中内含 int 类型的值。
    int (* uof[3])[4]; //声明一个内含 3 个指针元素的数组，其中每个指针指向一个内含 4 个 int 类型元素的数组。

要看懂以上声明，关键要理解 \* 、() 和 \[\] 的优先级。记住下面几条规则 :

1.数组名后面的 \[\] 和 函数名后面的 () 具有相同的优先级。它们比 \* 的优先级高。因此下面声明的 risk 是一个指针数组，不是指向数组的指针。

int * risks[10]；  // 声明一个内含 10 个元素的数组，每一个元素都是一个指向 int 的指针。(指针数组)

2.\[\] 和 () 的优先级相同，由于都是从左向右结合，所以下面的声明中，在应用方括号之前， \* 先与 rusks 结合。因此 rusks 是一个指向数组的指针，该数组内含 10 个 int 类型的元素。

int (* rusks)[10];   // int 类型数组的指针。

3.\[\]和() 都是从左向右结合。因此下面声明的 goods 是一个由 12 个内含 50 int 类型值的数组组成的二维数组，不是一个有 50 个 内含 12 个 int 类型值的数组组成的二维数组。

int goods[12][50];

把以上规则应用于下面的声明 :

int * oof[3][4];

\[3\] 比 \* 的优先级高，由于从左向右结合，所以 \[3\] off 结合。因此， oof 首先是一个内含 3 个元素的数组。然后在于 \[4\] 结合，所以 oof 的每个元素都是内含 4 个元素的数组。 \* 说明这些元素都是指针。  
最后， int 表面了这 4 个元素都是指向 int 的指针。 因此， 这条声明要表达的是 : foo 是一个内含 3 个 元素的数组，其中每个元素都是由 4 个指向 int 元素的指针组成的数组。简而言之， oof 是一个指向 3 x 4 的二维数组，每个元素都是指向 int 的指针。 编译器要为 12 个指针预留存储空间。  
现在来看下面的声明 :

int (* uuf)[3][4];

() 使得 \* 先于 uuf 结合，说明 uuf 是一个指针，所以 uuf 是一个指向 3 x 4 的 int 类型二维数组的指针。编译器为一个指针预留存储空间。

根据这些规则，还可以说明 :

char * fump(int);          // 返回字符指针的函数
    char (* frump)(int);       // 指向函数的指针，该函数的返回类型为 char 
    char (* flump[3][3])(int); //  内含 3 个指针的数组，每个指针都指向返回类型为 char 的函数。

这三个函数都接受 int 类型的参数。  
可以使用 typedef 建立一系列相关类型 :

typedef int arr5[5]
    typedef arr5 * p_arr[5]
    typedef P_arr5 arrp10[10]
    
    arr5 togs; // togs 是一个内含 5 个 int 类型值的数组
    p_arr5 p2; // p2 是一个指向数组的指针，该数组内含 5 个 int 类型的值。
    arrp10 ap; // ap 是一个内含 10 个指针的数组，每个指针都指向一个内含 5 个int 类型值的数组。

--------------------

### 小结 ###

看了眼 C 语言，又回头看了眼 Java , 突然间觉得还是 Java 眉清目秀呀。