深入解析C语言指针：从数据操作到代码执行的跃迁
在前文的基础上，我们已掌握指针与数组的紧密关系，以及通过二级指针管理内存的技巧。本篇将带你迈入指针的更高层次——函数指针，它使程序具备在运行时动态选择和调用代码的能力，实现从"操控数据"到"驾驭逻辑"的质变。
一、字符指针与字符串常量的深层机制
字符指针（char*）有两种典型用途：
- 指向单个字符：如
char ch = 'a'; char *pc = &ch;，行为与普通指针一致。 - 指向字符串常量：如
const char* pstr = "Hello";，此时指针存储的是字符串首字符的地址，而实际内容位于只读内存区。
理解关键在于：指针变量存的是地址，而非字符串本身。以下代码片段揭示了常见误区：
char str1[] = "Hello";
char str2[] = "Hello";
const char* str3 = "Hello";
const char* str4 = "Hello";
printf("%d\n", str1 == str2); // false —— 两个独立数组
printf("%d\n", str3 == str4); // true —— 编译器复用同一常量区地址
原因：`str1` 和 `str2` 是栈上分配的独立数组，内容虽同但位置不同；而 `str3` 与 `str4` 均指向常量区中唯一的字符串实例。
二、数组指针：理解二维数组传参的核心
数组指针是"指向整个数组"的指针，其声明需注意括号优先级：
int arr[10];
int (*p)[10] = &arr; // 正确：指向一个包含10个整数的数组
int *p2[10]; // 错误：这是指针数组，非数组指针
二维数组名的本质是第一行的地址，类型为 int(*)[5]（即数组指针）。因此，传参可写为：
// 形式一：直观写法
void func(int a[][5], int rows, int cols);
// 形式二：本质写法
void func(int (*p)[5], int rows, int cols);
两种形式等价，调用方式相同。访问元素时，*(*(p + i) + j) 的含义如下：
p + i：跳至第 i 行起始地址*(p + i)：获取第 i 行首元素地址（退化为int*）*(p + i) + j：偏移 j 个元素，得到目标地址*(*(p + i) + j)：解引用，获取值
三、函数指针：让函数成为可操作的数据
函数也有地址。以下代码验证：
void greet() { printf("Hi\n"); }
int main() {
printf("%p\n", greet); // 函数名即地址
printf("%p\n", &greet); // 也可用 & 取地址
}
定义函数指针：
void (*pf)() = greet;
int (*add_ptr)(int, int) = &add;
调用方式有二：
int result1 = (*add_ptr)(2, 3); // 显式解引用
int result2 = add_ptr(2, 3); // 直接调用，更简洁
两者功能完全一致。复杂表达式如 ((*void(*)())0)() 可拆解为：
(void(*)())0：将数字 0 强制转换为"无参无返回值函数指针"类型*(...)：解引用，得到该函数本身()：调用该函数 —— 实际上是试图执行地址 0 处的指令，通常引发崩溃
四、使用 typedef 简化复杂声明
为避免冗长声明，可使用 typedef 定义别名：
typedef int (*ptr_t)(int, int); // 指向 int(int,int) 的指针
typedef void (*signal_handler)(int); // 信号处理函数类型
// 使用简化后语法
signal_handler signal(int, signal_handler); // 更清晰
五、函数指针数组与转移表设计
将多个函数指针放入数组，构成"函数指针数组"：
int (*ops[4])(int, int) = {
add, sub, mul, div
};
结合索引，可构建高效转移表，替代冗长的 switch-case：
int choice = 2;
if (choice >= 0 && choice < 4) {
int result = ops[choice](10, 5);
printf("结果: %d\n", result);
}
此模式广泛应用于事件响应、命令解析、插件系统等场景，极大提升代码灵活性与可扩展性。
