指向数组基地址的指针相比指向首元素的指针有何优势？

确实，第二种指向单个数组元素的指针用起来更直观顺手，很多单个数组遍历的场景里它都是首选，但第一种指向整个数组的指针（我们叫它数组指针）可不是没用的语法糖，它在一些特定场景下能解决普通指针搞不定的问题，或者让代码更严谨清晰。

先明确一下两者的本质差异：

• int (*ptr)[10]：指向包含10个int的数组的指针，它的指针运算步长是整个数组的大小（也就是10 * sizeof(int)）
• int *ptr：指向单个int的指针，运算步长是sizeof(int)

下面说几个数组指针不可替代的场景：

1. 处理多维数组 #

C语言里的二维数组本质是「数组的数组」，比如int arr[5][10]就是5个“包含10个int的数组”组成的数组。这时候用数组指针来遍历或操作会非常贴合它的结构：

int arr[5][10] = {/* 初始化数据 */};
int (*ptr)[10] = arr; // ptr指向第一个10元素的子数组

// 遍历二维数组
for (int i = 0; i < 5; i++) {
    for (int j = 0; j < 10; j++) {
        printf("%d ", (*(ptr + i))[j]);
        // 或者更简洁的写法：ptr[i][j]，和直接用arr[i][j]一样
    }
    printf("\n");
}

如果用普通的int *ptr来处理二维数组，你得手动计算偏移量（比如*(ptr + i*10 + j)），不仅写起来麻烦，还容易因为算错步长导致越界，数组指针则能天然匹配二维数组的层级结构。

2. 保留数组的类型大小信息 #

当你写函数需要接收一个固定大小的数组时，数组指针能让编译器明确知道参数的类型是「指向10个int的数组」，而不是模糊的int指针：

// 用数组指针作为参数
void process_fixed_size_array(int (*arr)[10]) {
    // 编译器在这里能知道arr指向的数组大小是10，甚至可以做一些编译期检查
    printf("数组大小：%zu\n", sizeof(*arr)); // 这里会输出10*sizeof(int)
}

int main() {
    int arr1[10] = {0};
    int arr2[5] = {0};
    process_fixed_size_array(&arr1); // 合法
    // process_fixed_size_array(&arr2); // 编译报错，类型不匹配！
    return 0;
}

如果用普通的int arr[]或者int *arr作为函数参数，编译器会把它退化成int指针，完全丢失数组的大小信息，你只能额外传一个长度参数，还没法阻止调用者传入大小不符的数组，而数组指针能通过类型检查避免这种错误。

3. 批量操作同大小的数组 #

假设你有多个长度相同的数组，需要批量处理它们的起始地址，数组指针的运算特性会让操作更高效：

int arr1[10] = {1,2,...};
int arr2[10] = {11,12,...};
int arr3[10] = {21,22,...};

// 把这些数组的地址存在一个数组指针数组里
int (*arr_ptr_list)[10] = {&arr1, &arr2, &arr3};

for (int i = 0; i < 3; i++) {
    // 直接通过arr_ptr_list[i]访问整个数组
    printf("第%d个数组的第一个元素：%d\n", i+1, (*arr_ptr_list[i])[0]);
}

这里数组指针的arr_ptr_list[i]直接指向整个数组的起始地址，你可以一次性获取整个数组的引用，而不用像普通指针那样逐个元素处理。

总的来说，第二种普通指针适合大多数单个数组的遍历场景，但数组指针在处理多维数组、需要严格类型检查、批量操作同大小数组的时候，是更严谨、更贴合C语言数组本质的选择。

内容的提问来源于stack exchange，提问作者Franc