C语言指针进阶：从字符指针到回调函数的核心逻辑与实战

1. 指针的核心概念与内存约束

指针本质上是一个变量，其内容为内存地址，用于唯一标识一块内存空间。理解指针需掌握以下关键点：

• 大小固定：在32位平台上占4字节，64位平台上占8字节，仅与平台架构有关，与指向的数据类型无关。
• 类型决定行为：指针的类型决定了±整数的步长（如 int* 步进4字节，char* 步进1字节）以及解引用时的访问权限（如 int* 可访问4字节，char* 仅访问1字节）。
• 安全性：严禁对未初始化的野指针或空指针进行间接访问（解引用），否则将导致程序崩溃。

2. 字符指针的内存分布特性

字符指针（char*）通常有两种初始化方式，其背后的内存处理逻辑截然不同。

第1步：局部变量取址

将局部字符变量的地址赋给指针：

char ch = 'a';
char* p = &ch;

此时 p 指向栈区中的 ch，修改 *p 会改变 ch 的值。

第2步：字符串常量初始化

直接将字符串字面量赋给指针：

char* p2 = "bcdef";

此处 p2 存放的是字符串常量 "bcdef" 首字符 'b' 的地址。该字符串存储在只读的数据段（.rodata）中。若尝试修改 *p2，将触发段错误（Segmentation Fault）。

第3步：经典面试题解析

分析以下代码的输出结果：

#include <stdio.h>
int main()
{
	char str1[] = "hello yang.";
	char str2[] = "hello yang.";
	char* str3 = "hello yang.";
	char* str4 = "hello yang.";
	if (str1 == str2)
		printf("str1 and str2 are same\n");
	else
		printf("str1 and str2 are not same\n");

	if (str3 == str4)
		printf("str3 and str4 are same\n");
	else
		printf("str3 and str4 are not same\n");
	return 0;
}

结论判断：

解析： str1 和 str2 是数组，编译器会在栈区为它们分别开辟独立的内存块并拷贝字符串内容，因此地址不同，输出 not same。而 str3 和 str4 是指针，均指向同一份位于数据段的常量字符串 "hello yang."，因此地址相同，输出 same。

3. 数组指针与指针数组的本质区别

区分这两者的关键在于运算符优先级：() 括号优先级高于 [] 数组下标，而 * 指针运算符低于两者。

第1步：辨析声明

int *arr1[10]; // 指针数组
int (*arr2)[10]; // 数组指针

• int *arr1[10]：先与 [] 结合，说明 arr1 是一个包含10个元素的数组，每个元素类型为 int*（整型指针）。即“存放指针的数组”。
• int (*arr2)[10]：先与 () 结合，说明 arr2 是一个指针，它指向一个包含10个整数的数组。即“指向数组的指针”。

第2步：数组名与&数组名的步长差异

在以下代码中，arr 和 &arr 的值相同，但含义与步长不同：

int arr[5] = {0};
printf("%p\n", arr);   // 数组首元素地址
printf("%p\n", &arr); // 整个数组的地址
printf("arr+1 = %p\n", arr + 1);     // 跳过 sizeof(int) = 4 字节
printf("&arr+1= %p\n", &arr + 1);   // 跳过 sizeof(arr) = 20 字节

关键区别： arr 代表首元素地址，加1跳跃1个元素大小；&arr 代表整个数组对象的地址，加1跳跃整个数组的大小。这一特性在多维数组传参中至关重要。

第3步：数组指针的使用

数组指针常用于接收二维数组或处理大型数据结构。例如，使用函数打印一维数组：

void print_arr(int(*p)[10], int sz) 
{
	for (int i = 0; i < sz; i++)
	{
		printf("%d ", (*p)[i]); // 解引用获取数组，再索引
	}
}
// 调用时传入 &arr

4. 数组传参与指针传参的匹配规则

函数参数中的数组声明会自动退化为指针。理解退化规则是避免编译错误的关键。

第1步：一维数组传参

三种等效形式，底层均接收首元素地址：

• void test(int arr[])：形参省略大小，实为指针。
• void test(int arr[10])：大小仅为注释作用，实为指针。
• void test(int *arr)：直接接收指针。

对于指针数组（如 int* pArr[20]），传参时需接收二级指针或指针数组：

void test2(int **arr) {} // 接收一级指针的地址
void test2(int *arr[20]) {} // 直接接收指针数组

第2步：二维数组传参

二维数组 int arr[3][5] 的首元素是第一行（一个长度为5的一维数组）。因此，函数形参必须明确指出列数：

• 正确：void test(int arr[][5]) 或 void test(int (*arr)[5])。
• 错误：void test(int arr[][])（缺少列宽，无法计算偏移）；void test(int* arr)（类型不匹配，一维指针无法直接解析二维结构）。

第3步：通用指针传参

一级指针传递普通指针变量；二级指针传递指针变量的地址，常用于允许被调用函数修改调用者指针指向的场景（如链表插入、动态内存分配）。

5. 函数指针与回调机制

函数指针是存储函数入口地址的变量，是实现回调函数和高阶抽象的基础。

第1步：函数指针的定义

语法结构：返回类型 (*指针名) (参数列表)。

// 假设函数原型
int add(int a, int b);

// 定义函数指针
int (*pFunc)(int, int) = &add; // 取地址
// 或
int (*pFunc)(int, int) = add;   // 函数名隐式转换

二者等价，编译器会将函数名自动转换为函数指针。

第2步：回调函数实战

回调函数是将函数指针作为参数传递给另一个函数。标准库中的 qsort 是最典型的例子：

int compare(const void* a, const void* b)
{
	return (*(int*)a - *(int*)b);
}

int arr[] = {3, 1, 4, 2};
qsort(arr, 4, sizeof(int), compare); // 传入函数指针

通过将比较逻辑抽象为回调函数，qsort 得以复用，无需为每种数据类型重新实现排序算法。

6. 高级复合类型：函数指针数组与指向它的指针

当需要管理一组同类函数时，可使用函数指针数组。

第1步：函数指针数组

// 存放5个返回值void、参数const char*的函数指针的数组
void (*pfArr[5])(const char*);

注意区分：int (*p)[10] 是数组指针，而 int* p[10] 是指针数组。同理，void (*pfunArr[5])(...) 是数组，每个元素是函数指针。

第2步：指向函数指针数组的指针

这种类型极为少见，但有助于理解嵌套声明。语法遵循从内向外、从高优先级的原则：

// 指向包含10个函数指针的数组，函数签名：void func(const char*)
void (*(*ppFunArr)[10])(const char*);

解析步骤：

1. ppFunArr 先与 (*...) 结合，是个指针。
2. 该指针指向 [10]，即一个数组。
3. 数组元素类型为 void (*)(const char*)，即函数指针。

总结

指针进阶的核心在于理解内存布局与运算符优先级。通过区分数组名与指针、明确二维数组传参的列数约束、以及熟练运用函数指针实现回调，可以编写出更具模块化且高效的下层代码。以上就是C语言指针进阶学习之指针的详细内容，更多关于C语言指针教程的资料请关注本站其它相关文章！