C语言log10：解析指针与内存管理（上）

解析指针与内存管理（上）

指针是 C 语言中最强大但也最容易让人崩溃的特性。掌握指针，就等于掌握了直接与计算机硬件对话的钥匙。本篇博客将从内存底层的物理机制出发，带你彻底搞懂指针的本质、运算规则以及避坑指南。

1. 内存与地址的物理真相

[cite_start]在计算机中，内存被划分为一个个极小的内存单元 [cite: 1428]。

• [cite_start]大小：每个内存单元的大小为 1 个字节（Byte），也就是包含 8 个比特位（Bit） [cite: 1428]。
• [cite_start]地址：每个内存单元都有一个唯一的编号，这个编号就是“地址” [cite: 1429][cite_start]。在 C 语言中，地址就是指针 [cite: 1429]。

地址是如何产生的？
[cite_start]计算机对内存单元的编址并不是靠内部记录实现的，而是通过硬件的地址总线 [cite: 1430][cite_start]。假设在一台 64 位机器上，拥有 64 根地址总线 [cite: 1430][cite_start]。每根线有 0 和 1 两种状态，那么一共就可以表示 $2^{64}$ 种状态（即产生 $2^{64}$ 个地址） [cite: 1430][cite_start]。想要把这么庞大的组合存储下来，恰好需要 8 个 Byte 的空间 [cite: 1430]。

2. 指针变量与平台大小差异

[cite_start]当我们使用 &a 获取变量的地址时，实际上取出的是该数据占用的多个字节中地址最低的那一个 [cite: 1456][cite_start]。为了把这个地址编号存储起来，我们需要使用指针变量 [cite: 1457, 1459]。

[cite_start]极其重要的考点：指针变量的大小与它所指向的数据类型毫无关系，而是完全取决于操作系统平台 [cite: 1487]！

• [cite_start]在 32 位机器（x86）上，地址数量为 $2^{32}$，指针大小固定为 4 个字节 [cite: 1458]。
• [cite_start]在 64 位机器（x64）上，指针大小固定为 8 个字节 [cite: 1458]。

3. 既然大小一样，为什么还要区分指针类型？

既然所有的指针在同一台机器上大小都一样，那我们为什么还要费力区分 int*、char* 和 double* 呢？区别主要体现在以下两个方面：

1. [cite_start]解引用的修改权限（步长）：指针的类型决定了对它进行解引用时能操作多少个字节的内存 [cite: 1490][cite_start]。例如，int* 类型的指针解引用后可以修改 4 个字节，而 char* 类型的指针只能修改 1 个字节 [cite: 1491]。
2. [cite_start]指针加减法的跨度：对指针进行 +1 运算时，移动的距离取决于指针类型。对于 int*，+1 会向高地址移动 4 个字节；而对于 char*，+1 只会向高地址移动 1 个字节 [cite: 1497, 1498]。

补充：万能的 void* 指针
[cite_start]void* 被称为泛型指针，它可以接收任意类型的指针 [cite: 1499, 1500][cite_start]。这种特性常用于函数的参数部分以实现泛型编程 [cite: 1501][cite_start]。但需要注意，void* 指针不能直接进行解引用操作，也不能进行指针的加减运算 [cite: 1500]。

4. 指针的奇妙运算

• [cite_start]指针 $\pm$ 整数：根据指针类型对应的字节大小，向前或向后移动对应的内存距离 [cite: 1503]。
• [cite_start]指针 - 指针：两个指针相减，得到的结果是这两个指针之间的元素个数（并非相差的字节数！） [cite: 1521, 1527][cite_start]。可以利用这个绝妙的特性来手写实现 strlen 函数 [cite: 1522, 1527]。
• [cite_start]指针关系运算：指针之间可以使用 < 或 > 进行大小比较，常用于数组遍历时的边界判断 [cite: 1542, 1548]。

5. const 与指针的排列组合

这是 C 语言考试和面试中最容易让人绕晕的区域。const 的位置决定了到底是谁被锁死了：

• const int *p 或 int const *p：
  [cite_start]修饰的是 *p。指针指向的内容 *p 不可以被修改，但是指针本身的指向 p 可以修改 [cite: 1587, 1609]。
• int * const p：
  [cite_start]修饰的是 p 本身。指针指向的内容 *p 可以被修改，但是指针本身的指向 p 不可修改 [cite: 1610]。
• const int * const p：
  [cite_start]双重锁死，p 和 *p 同时具有上述两种限制，都不可修改 [cite: 1631]。

6. 避开内存刺客：野指针防御指南

[cite_start]野指针是指向了一个不可知的、随机的、或已被回收的内存地址的指针 [cite: 1632]。它会导致程序崩溃或数据被恶意篡改。

三大成因：

1. [cite_start]指针创建后未初始化 [cite: 1634]。
2. [cite_start]指针进行了越界访问（例如超出了数组的元素个数界限） [cite: 1635]。
3. [cite_start]指针指向的局部变量空间已随着函数结束被释放 [cite: 1636, 1641]。

防御规范：

• [cite_start]在创建指针但暂时不用时，立刻赋值为 NULL（C 语言中的空指针常量标识符） [cite: 1650]。
• [cite_start]严格防止指针越界 [cite: 1651]。
• [cite_start]坚决避免返回局部变量的地址 [cite: 1677]。
• [cite_start]在使用指针前，一定要通过 if (p) 检查其有效性（是否为 NULL） [cite: 1652, 1667]。
• [cite_start]使用 <assert.h> 库提供的宏 assert(p) 进行强制断言。如果 p 为假则程序报错停止 [cite: 1678, 1679][cite_start]。在发布 release 版本时，只需在代码最前面加一句 #define NDEBUG 即可一键关闭所有断言检查 [cite: 1697]。

概念拓展：传值调用 vs 传址调用
[cite_start]使用传址调用（传递指针），可以让我们在自定义函数内部，直接跨越作用域去修改主函数中的变量数值（如经典的数值交换函数） [cite: 1698, 1699]。

7. 数组与指针的终极纠葛

[cite_start]在主函数中，数组名称在大多数情况下，直接等同于数组中第一个元素的地址 [cite: 1701, 1702]。
但是，有且仅有两个例外：

1. [cite_start]sizeof(数组名)：此时数组名称代表整个数组，计算的是整个数组所占用的字节数总和 [cite: 1703]。
2. [cite_start]&数组名：对数组名取地址，取出的是整个数组的存储地址（虽然打印出来的值和首元素地址一样，但如果对其进行 +1 运算，它会直接跨越整个数组的长度！） [cite: 1704]。

下标访问的底层本质：
[cite_start]在 C 语言中，p[i] 的底层执行逻辑其实就是 *(p + i) [cite: 1731, 1736, 1737][cite_start]。因为加法支持交换律，所以极其变态的是，你甚至可以反过来写成 i[p]，程序依然能完美运行 [cite: 1738, 1740]！

数组传参的本质：
[cite_start]当我们将数组作为参数传递给函数时，本质上只是传递了一个指针变量 [cite: 1741, 1773][cite_start]。因此在自定义函数内部，如果你写出 sizeof(a) / sizeof(a[0])，在 64 位机器下，sizeof(a) 其实是指针的大小（8 字节），除以 4 字节的 int，返回结果永远是 2 [cite: 1747, 1771, 1773][cite_start]！所以，可以直接在函数的参数列表中使用指针类型来接收数组 [cite: 1774]。

---

声明：本博客由gemini基于laobie本地obsidian笔记转写，意在将obsidian内置图片转化为了纯文本或表格描述，便于博客上传