深入理解 C 语言数组的内存布局与访问

注意观察输出：arr 和 arr[0] 的地址通常是一样的，而 arr[1] 的地址会比 arr[0] 大 3 * sizeof(int) 字节。多维数组同理，只是层级更深，但本质都是连续的一块内存。

数组元素的访问方式

下标访问

最直观的方式是使用下标。C 语言规定下标从 0 开始，到长度减 1 结束。

#include <stdio.h>

int main() {
    int arr[5] = {1, 2, 3, 4, 5};
    for (int i = 0; i < 5; i++) {
        printf("arr[%d] = %d\n", i, arr[i]);
    }
    return 0;
}

指针访问

数组名本质上是一个指向首元素的常量指针。因此，我们可以用指针变量来遍历数组。

#include <stdio.h>

int main() {
    int arr[5] = {1, 2, 3, 4, 5};
    int *ptr = arr;
    for (int i = 0; i < 5; i++) {
        printf("ptr[%d] = %d\n", i, ptr[i]);
    }
    return 0;
}

这里 ptr 初始化为 arr，即指向 arr[0]。通过 ptr[i] 或 *(ptr + i) 都能访问对应元素。

指针运算

指针加减法是基于其指向类型的大小进行的。对 int* 加 1，地址增加 4 字节；对 char* 加 1，地址只增加 1 字节。

#include <stdio.h>

int main() {
    int arr[5] = {1, 2, 3, 4, 5};
    int *ptr = arr;
    printf("ptr 指向的地址：%p\n", ptr);
    printf("ptr+1 指向的地址：%p\n", ptr + 1);
    printf("ptr+2 指向的地址：%p\n", ptr + 2);
    return 0;
}

指针与数组的关系

数组名即指针

数组名在大多数表达式中会退化为指向首元素的指针。但要注意，数组名本身是常量，不能修改其值（如 arr++ 是非法的）。

#include <stdio.h>

int main() {
    int arr[5] = {1, 2, 3, 4, 5};
    printf("数组名 arr：%p\n", arr);
    printf("数组第一个元素的地址：%p\n", &arr[0]);
    return 0;
}

两者打印出的地址是一致的，这验证了数组名作为首地址常量的特性。

指针数组与数组指针

这两个概念容易混淆，区别在于优先级和含义。

• 指针数组：数组元素是指针。int *ptr_arr[2]。
• 数组指针：指针指向一个数组。int (*arr_ptr)[5]。

#include <stdio.h>

int main() {
    int arr1[5] = {1, 2, 3, 4, 5};
    int arr2[5] = {6, 7, 8, 9, 10};

    // 指针数组：每个元素存一个地址
    int *ptr_arr[2] = {arr1, arr2};
    printf("ptr_arr[0][0] = %d\n", ptr_arr[0][0]);
    printf("ptr_arr[1][0] = %d\n", ptr_arr[1][0]);

    // 数组指针：指向整个数组块
    int (*arr_ptr)[5] = arr1;
    printf("arr_ptr[0][0] = %d\n", arr_ptr[0][0]);
    
    arr_ptr++; // 移动一个整型数组的大小
    printf("arr_ptr[0][0] = %d\n", arr_ptr[0][0]);
    
    return 0;
}

执行结果会显示 arr_ptr++ 后直接跳到了 arr2 的首元素，因为它是按'数组大小'移动的，而不是单个元素。

常见错误与注意事项

越界访问

C 语言不会自动检查数组边界。访问 arr[5]（长度为 5）属于未定义行为，可能读到垃圾数据甚至导致崩溃。

#include <stdio.h>

int main() {
    int arr[5] = {1, 2, 3, 4, 5};
    printf("arr[5] = %d\n", arr[5]); // 危险！
    return 0;
}

动态内存泄漏

使用 malloc 分配的内存必须手动释放。忘记调用 free 会导致内存泄漏，长期运行的程序可能会耗尽资源。

#include <stdio.h>
#include <stdlib.h>

int main() {
    int *arr = (int *)malloc(5 * sizeof(int));
    if (arr == NULL) return -1;
    
    arr[0] = 1;
    arr[1] = 2;
    // ... 使用完毕
    free(arr); // 必须释放
    return 0;
}

总结

掌握数组的内存布局是理解 C 语言的关键。记住三点：一是内存连续，二是下标从 0 开始，三是指针运算依赖类型大小。在实际开发中，务必警惕越界风险，养成及时释放动态内存的习惯。只有深入理解这些底层细节，才能写出既高效又稳健的代码。