一级指针和二级指针的用法、用途、底层原理

一、先理解内存的本质（这是根基）

内存就是一个带编号的字节数组，每个字节都有一个地址（比如 0x1000）。

• 变量名：是给程序员看的标签，编译后变成地址。

• 指针变量：也是变量，它存储的内容是别人的地址。

二、一级指针（Type *p）

1. 原理图

c

int a = 10;      // 假设a的地址是 0x1000，里面存了 10
int *p = &a;     // p的地址是 0x2000，里面存了 0x1000

内存布局：

text

地址 0x1000: [ 10 ]     ← a
地址 0x2000: [0x1000]   ← p（存的是a的地址）

关键理解：

• p 的值 = 0x1000（别人的地址）

• *p = 去 0x1000 这个地址取内容 = 10（解引用）

2. 核心用途（3个）

3. 传参时的真相（很重要）

c

void set_zero(int *p) {
    p = NULL;  // 这里只改了形参p（局部变量），外部的实参不受影响
}
int *ptr = &a;
set_zero(ptr);  // 调用后ptr依然指向a，不是NULL！

因为函数参数是拷贝，形参 p 和实参 ptr 是两个独立的指针变量，只是初始值相同。
要修改指针本身，必须用二级指针。

三、二级指针（Type **pp）

1. 原理图

c

int a = 10;      
int *p = &a;     // p存的是a的地址
int **pp = &p;   // pp存的是p的地址

内存布局：

text

地址 0x1000: [ 10 ]      ← a
地址 0x2000: [0x1000]    ← p（存a的地址）
地址 0x3000: [0x2000]    ← pp（存p的地址）

关键理解：

• pp 的值 = 0x2000（指针变量p的地址）

• *pp = 去 0x2000 取内容 = 0x1000（得到a的地址）

• **pp = 去两次 = 10（最终的值）

层级关系：
pp → p → a（三级跳）

2. 核心用途（2个终极场景）

用途1：在函数内修改外部指针本身（最经典）

c

void alloc_memory(int **pp) {   // 接收指针的地址
    *pp = (int*)malloc(10 * sizeof(int));  // 修改外部的指针指向
}

int *ptr = NULL;
alloc_memory(&ptr);  // 传ptr的地址
// 现在ptr指向了堆上分配的内存，不是NULL了

为什么必须用二级指针？
如果写成 void alloc_memory(int *p)，形参 p 是 ptr 的拷贝，修改 p 只会让拷贝指向新内存，外部的 ptr 还是 NULL，函数结束后拷贝销毁，分配的内存就泄漏了。

用途2：操作指针数组（字符串数组）

c

char *strs[3] = {"hello", "world", "!"};  // 指针数组，每个元素是char*
char **p = strs;   // 指向第一个元素（即指向 "hello" 的指针）

// 遍历
for(int i=0; i<3; i++) {
    printf("%s", p[i]);  // p[i] 等价于 *(p+i)，取出一个char*
}

char ** 在这里是数组的数组——每个元素是 char* 指针，p 指向这些指针的起始位置。

四、一级 vs 二级：核心区分法则

记住一句话：

一级指针用来修改指向的对象（改内容），
二级指针用来修改指针本身（改指向）。

五、终极易混淆点（面试必坑）

1. int* p 和 int **pp 的类型区别

c

int a = 10;
int *p = &a;     // ✅ 一级指针指向int
int **pp = &p;   // ✅ 二级指针指向int*
int **pp2 = &a;  // ❌ 类型不匹配！&a是int*，不是int**

2. 数组传参退化

c

void func(int arr[]) {   // 实际类型是 int*，不是数组
    int size = sizeof(arr); // 得到8（64位指针大小），不是数组总大小
}

数组名作为函数参数时退化为一级指针，丢失长度信息。

3. 二级指针的"二级"含义

"二级"不是指"两个指针变量"，而是指针的指针。
三级指针 int ***ppp 就是存二级指针的地址，以此类推，但实际工程很少超过二级。

六、一句话总结（记住这个）

• 一级指针：告诉编译器"这是一个地址，去那里取数据" → 解决跨函数改内容的问题。

• 二级指针：告诉编译器"这是一个指针变量的地址，先取到指针，再取数据" → 解决跨函数改指针指向的问题。

底层本质：指针就是整数（地址），多一级就多一次内存寻址。