C语言函数指针详解：定义、调用与内存操作实例

函数指针基础与应用

函数指针是指向函数代码入口地址的指针变量。在C语言中，函数名本质上就是一个指向该函数代码段起始地址的常量指针。使用函数指针可以实现类似“回调”的功能，使得程序能够根据运行时的条件灵活地调用不同的函数逻辑，这是实现泛型算法（如通用的排序或查找例程）和面向对象风格编程的关键技术。

1. 函数指针的定义与区分

函数指针的定义形式为：返回类型 (*指针变量名)(参数列表)。

• 语法结构：指针变量名首先与*结合，表明这是一个指针；随后与后面的()结合，表明它指向的是一个具有特定参数和返回值的函数。
• 易混淆点：int *f(int i, int j);表示一个返回值是指针类型的函数；而int (*p)(int i, int j);才是一个指向函数的指针。括号决定了运算符的结合优先级。

2. 函数指针的赋值与调用

将函数名赋值给指针变量时，无需取地址符&（尽管加上也不会报错）。调用时可以直接使用指针名加参数，但推荐使用(*p)(args)的形式以明确指示这是通过指针进行的函数调用。

3. 应用示例：通用比较逻辑

以下示例展示了如何使用函数指针根据标志位动态决定是寻找最大值还是最小值：

#include <stdio.h>
#define GET_MAX 0
#define GET_MIN 1

// 目标函数
int get_max(int i, int j) { return i > j ? i : j; }
int get_min(int i, int j) { return i > j ? j : i; }

// 利用函数指针实现多态行为
int compare(int i, int j, int flag)
{
    // 定义函数指针类型：接受两个int，返回一个int
    int (*p)(int, int);
    
    if(flag == GET_MAX)
        p = get_max;  // 指针指向get_max函数
    else
        p = get_min;  // 指针指向get_min函数
        
    return p(i, j);   // 调用指针指向的函数
}

int main()
{
    int ret = compare(5, 10, GET_MAX);
    printf("The MAX is %d\n", ret);
    ret = compare(5, 10, GET_MIN);
    printf("The MIN is %d\n", ret);
    return 0;
}

Exercise 1：qsort中的函数指针机制

qsort标准库函数是函数指针应用的典型场景。由于它需要对任意类型的数组进行排序，因此无法硬编码比较逻辑。用户必须提供一个符合特定签名的比较函数，并将其地址传递给qsort。

原型声明：

void qsort(void *base, size_t nitems, size_t size,
           int (*compar)(const void *, const void *));

核心逻辑：

• compar接收两个const void *类型的参数，分别指向待比较的两个元素。
• 比较函数需返回整数：<负数表示第一个参数排在前面，0表示相等，正数表示第二个参数排在前面。
• 由于参数类型为void*，在自定义比较函数内部必须进行强制类型转换，将其转换为实际的数据指针类型（如char**用于字符串数组）。

字符串数组排序陷阱分析：

当对字符指针数组char *num[]排序时，qsort传递的是指向每个指针元素的地址（即二级指针char **），而非指针本身的值。常见的错误是直接解引用为(char*)p1导致访问非法内存，正确的做法是先转为char**再解引用获取字符串：

// 错误写法：return strcmp((char *) p1, (char *) p2);
// 正确写法：
int string_comp(const void *p1, const void *p2) {
    return strcmp(*((char **) p1), *((char **) p2));
}

Exercise 2：内存映射(mmap)与函数指针劫持

本实验深入探讨了如何将数据区域视为代码区域执行，这不仅是安全研究（如缓冲区溢出攻击）的核心概念，也是即时编译器（JIT）的工作原理。

1. mmap() 内存映射

通过mmap可以将匿名内存或文件映射到进程的地址空间，使其具备可读、可写、可执行的权限。PROT_EXEC | PROT_READ | PROT_WRITE组合允许代码在被映射区域内运行和被修改。

// 分配一块既可读又可写还可执行的内存
code_buf = (int *) mmap(0, 4096, PROT_EXEC|PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);

2. 动态生成代码与执行流控制

实验展示了通过memcpy将现有函数的机器码拷贝到映射内存中，并将函数指针指向该内存块，从而实现“克隆”函数：

memcpy(code_buf, addnum, L);
f = (int (*)(int)) code_buf;
a = f(10); // 调用位于新内存地址的代码

3. 运行时修改代码导致的异常

由于code_buf拥有PROT_WRITE权限，程序员可以在运行时直接修改内存中的指令字节（例如修改特定的操作码）。然而，如果未正确处理缓存一致性或权限切换，随意修改指令可能导致CPU提取到非法的操作码，从而触发Segfault。实验中通过index定位并修改特定字节，以及最后将首字节改为0xc3（x86下的RET指令，导致函数提前返回或栈混乱），展示了内存操作的危险性。

Exercise 3：基于内存操作的重构与排错

任务目标：消除对全局/局部常数密钥的硬依赖，通过动态修改内存中的机器码来实现在运行时传入新的加密密钥（XOR Key）。

实施思路：

1. 映射内存：使用mmap获取可写可执行的内存块。
2. 代码拷贝：将原始的encrypt函数机器码通过memcpy复制到新内存块。
3. 指令修改: 识别原始代码中 XOR 常数的位置（通常紧随Opcode之后），通过函数指针找到对应内存地址，将其写入用户输入的密钥secret。
4. 执行测试：更新后的代码块将通过函数指针被调用，此时加密逻辑使用的是新密钥。

关键风险提示与segfault原因：

代码中有一行*((int *)f) = 0;，意图直接覆盖代码内容。如果在没有使用mprotect临时移除执行权限或处理I-Cache同步的情况下，直接写入可能被CPU立即读取或受到某些保护机制限制，从而导致Segfault。此外，直接覆写字节必须确保不会破坏指令长度或跳转偏移量，否则会导致程序崩溃。

本章节验证了数据即代码的可操作性，同时也警示了在高性能计算中，频繁修改可执行内存可能带来的性能开销和安全风险。

总结

C语言中的函数指针赋予了程序强大的动态分发能力，从简单的回调应用到复杂的泛型排序，再到底层的内存动态代码生成，都离不开这一特性。理解其语法本质（优先级的区别）是正确使用的前提，而在使用mmap等系统调用操作执行内存时，务必注意权限管理（PROT_EXEC/PROT_WRITE）和内存一致性，以避免难以调试的运行时崩溃。以上就是关于C语言函数指针的详细解读，更多关于C/C++底层内存管理的资料请关注本站其它相关文章！