数组的地址辨析

理解“数组的地址”，最忌讳的就是只看“数值”（打印出来的数字）。你必须把“数值”和“类型”牢牢绑定在一起看，才能真正理解 C/C++ 指针的精髓。

为了帮你彻底搞懂，我把“数组的地址”拆解为三个层次的认知：

1. 数值层面：指向同一个“起点”

假设数组 int a[5] = {1,2,3,4,5}; 在内存中的起始地址是 0x100。

• a（数组名）的数值是 0x100。
• &a（数组的地址）的数值也是 0x100。
• &a[0]（首元素的地址）的数值还是 0x100。

结论：从**数值（地址值）**上看，它们仨一模一样，都指向同一块内存区域的第一个字节。

2. 类型层面（最核心）：决定“步长”和“范围”

虽然数值相同，但类型完全不同，这决定了当你对它们做加减法时，指针会走多远：

这就是你上个问题中 (&a+1) 直接越过整个数组的原因——因为编译器认为你在操作一个“大小为 20 字节的大块头”。

3. 内存视角：看作“盒子”与“盒子里的格子”

把内存想象成一个巨大的仓库：

• a（首元素地址）：相当于是仓库第一个货架（格子）的门牌号。你只知道这一个格子的位置。
• &a（整个数组的地址）：相当于是整个仓库大门的门牌号。这个门牌号虽然和第一个货架的门牌号在物理位置上重合（都在大门口），但它包含的范围是整个仓库（20 字节）。

物理位置上重合，但逻辑管辖范围完全不同。

4. 关键误解澄清（避开大坑）

• 误区一：认为 a 就是一个指针。
  实际上，在 C/C++ 标准中，a 是个“数组名”。只有在表达式中被使用时，它才会**退化（Decay）**为指向首元素的指针（int*）。而 &a 不会退化，它始终代表整个数组的地址。

• 误区二：&a 可以赋值给 int**。
  int** 是指向指针的指针，而 &a 是指向数组的指针。它们是完全不同的类型，强转可能会出错。

5. 终极辅助记忆法（代码验证）

你可以通过以下小代码来感受它们的区别：

#include <stdio.h>

int main() {
    int a[5] = {1,2,3,4,5};
    
    // 方式1：看地址数值（通常相同）
    printf("a:   %p\n", a);
    printf("&a:  %p\n", &a);
    printf("&a[0]: %p\n\n", &a[0]);

    // 方式2：看步长（核心区别）
    printf("a + 1 偏移量： %ld 字节\n", (long)((char*)(a+1) - (char*)a));     // 输出 4
    printf("&a + 1 偏移量： %ld 字节\n", (long)((char*)(&a+1) - (char*)&a)); // 输出 20

    return 0;
}

一句话总结（背下来）

“数组的地址”（&a）在数值上等于首元素地址（a），但在类型上它代表“整块连续内存的集体户口”，指针加 1 就会跨过整个数组；而首元素地址只代表“第一个居民的户口”，指针加 1 只跳到下一个居民。