【C语言进阶剖析】32、数组指针和指针数组

1 数组类型

• C 语言中的数组有自己特定的类型
• 数组的类型由元素类型和数组大小共同决定

例如：int array[5] 的类型为 int[5]

我们经常会碰见这样的情景：
问：这里定义的数组是什么类型的？
答：int 型。。。

这样的回答就是概念不清晰了，数组的类型包括元素类型和数组大小，回答 int 型只回答了元素类型，正确的答案是 int[5]

2 定义数组类型

C 语言通过 typedef 为数组类型重命名，如下所示：

3 数组指针

• 数组指针用于指向一个数组
• 数组名是数组首元素的起始地址，但并不是数组的起始地址
• 通过将取地址符 & 作用于数组名可以得到数组的起始地址
• 可通过数组类型定义数组指针：ArrayType* pointer;
• 也可以直接定义：type(*pointer)[n];
  其中：
  pointer 为数组指针变量名；
  type 为指向的数组的元素类型；
  n 为指向的数组的大小

//  32-1.c
#include<stdio.h>
typedef int(AINT5)[5];
typedef float(AFLOAT10)[10];
typedef char(ACHAR9)[9];

int main()
{
    AINT5 a1;
    float fArray[10];
    AFLOAT10* pf = &fArray;
    ACHAR9 cArray;

    char(*pc)[9] = &cArray;
    char(*pcw)[4] = cArray;

    int i = 0;
    printf("%ld, %ld\n", sizeof(AINT5), sizeof(a1));
    for (i = 0; i < 10; i++)
    {
        (*pf)[i] = i;
    }
    for (i = 0; i < 10; i++)
    {
        printf("%f\n", fArray[i]);
    }
    printf("%p, %p, %p\n", &cArray, pc + 1, pcw + 1);
    return 0;
}

分析：

• 3-5 行我们定义了 3 个数组类型，第 9 行通过数组类型定义了一个数组，第 11 行通过数组类型定义了一个数组指针。
• 第14 行，&cArray 表示取数组地址，定义数组指针 pc 指向数组，这没问题。第 15 行，cArray 表示数组首元素的地址，让一个指向数组的指针指向数组第一个元素，这是指针不匹配呀，所以第 15 行错误。
• 第 18 行，AINT5 为包含 5 个 int 的数组类型，所以应该打印出 20，a1 为 AINT5 类型的数组，也应该打印出 20。
• 第 21 行，(*pf)[i] 中，pf 为指向数组的指针，* 号表示解引用，解引用出来是数组，再加下标 i，表示数组中下标为 i 的元素，所以该行是给数组中元素赋值
• 第 27 行，&cArray 为数组的地址
  pc + 1 = pc + sizeof(*pc) = pc + sizeof(char[9]) = pc + 9
  pcw + 1 = pcw + sizeof(*pcw) = pcw + sizeof(char[4]) = pcw + 4

下面编译一下，验证我们的分析：

可以看出，第 15 行给出了警告，指针类型不匹配，下面打印的结果和我们的分析完全一样。

4 指针数组

• 指针数组是一个普通的数组，数组中每个元素为一个指针
• 指针数组的定义：type* pArray[n];
  其中：
  type* 为数组中每个元素的类型
  pArray 为数组名
  n 为数组大小

指针数组的内容如下图示例所示：

下面看一个数组指针的应用：

// 32-2.c
#include<stdio.h>
#include<string.h>
#define DIM(a)  sizeof(a)/sizeof(*a)
int lookup_keyword(const char* key, const char* table[], const int size)
{
    int ret = -1;
    int i = 0;
    for (i = 0; i < size; i++)
    {
        if (strcmp(key, table[i]) == 0)
        {
            ret = i;
            break;
        }
    }
    return ret;
}
int main()
{
    const char* keyword[] = {
        "do",
        "for",
        "if",
        "register",
        "return",
        "switch",
        "while",
        "case",
        "statlc"
    };
    printf("%d\n", lookup_keyword("return", keyword, DIM(keyword)));
    printf("%d\n", lookup_keyword("main", keyword, DIM(keyword)));
    return 0;
}

分析：const char* table[] 为一个指针数组，数组中每一个元素是一个指向 char 类型的指针。第 11 行 strcmp(key, table[i])，key 和 table[i] 都是指向 char 类型的指针，使用 strcmp 函数比较两个字符串是否相等。
该函数的功能：在字符串数组中找目标字符串，如果找到了返回下标，没找到返回 -1

$ gcc 32-2.c -o 32-2
$ ./32-2
4
-1

5 小结

1、数组的类型由元素类型和数组大小共同决定
2、数组指针是一个指针，指向对应类型的数组
3、指针数组是一个数组，其中每个元素都为指针
4、数组指针遵循指针运算法则
5、指针数组拥有 C 语言数组的各种特性