深入解析C语言函数指针：从基础用法到复杂表达式

陆遥

发布时间：2026-10-13 | 4人浏览过

原创

在C/C++开发中，函数指针是连接不同功能模块的关键纽带。本文从函数地址的本质出发，阐述函数指针的声明与调用规范，深入剖析强制类型转换在指针赋值中的应用，并进一步扩展至函数指针数组及数组指针的高级用法，助力构建更清晰、低耦合的系统架构。

1. 理解函数指针的核心概念

函数由执行语句组成，编译后会被分配到特定的内存空间。这一空间的起始地址即为“函数地址”。编译器通过函数名来索引这个入口地址。为了能够像操作普通变量一样操作这些具有相同类型属性的函数，C/C++引入了函数指针。

函数指针本质上是变量，但它指向的是代码入口地址（而非数据）。它主要有两个用途：

调用函数
作为参数传递给其他函数

第1步：正确声明函数指针

函数指针的声明需遵循特定语法，重点在于括号的使用以确保优先级正确。

标准格式：

数据类型标识符 (*指针变量名) (形参列表);

关键说明：

“函数类型”说明返回值类型。
(*)中的圆括号不可省略，因为()的优先级高于*。
括号后的“形参列表”定义了该指针能指向的函数的参数签名。

示例：

// 声明一个具体的函数
int function(int x, int y);

// 声明一个指向该函数的指针
int (*f)(int x, int y); 

// 将function的首地址赋给f
f = function;

注意：赋值时函数名不带括号和参数，因为它本身代表首地址。

2. 函数指针的基础调用实践

定义指针后，需要通过解引用获取其指向的内容进行调用。这与普通指针操作逻辑一致。

代码示例：

#include <stdio.h>
#include <string.h>

char * fun(char * p1, char * p2)
{
    int i = strcmp(p1, p2);
    if (i == 0)
        return p1;
    else
        return p2;
}

int main()
{
    // 声明指向fun的指针
    char * (*pf)(char * p1, char * p2);
    
    // 赋值：VC6环境下 &fun 或 fun 均可
    pf = fun; 
    
    // 调用：(*pf) 解引用后加参数
    (*pf)("aa", "bb");
    
    return 0;
}

在实际环境如Visual C++ 6.0中，由于函数名本身就是地址，&fun和fun在赋值时无本质区别，但使用(*pf)进行调用是标准做法。

3. 进阶：通过地址直接修改指针值

有时需要通过内存层面的操作来给函数指针赋值，例如经典的强制转换写法：

void Function(){ printf("Call Function!\n"); }

int main() {
    void (*p)();
    // 核心步骤解析
    *(int*)&p = (int)Function;
    (*p)();
    return 0;
}

代码拆解：

void (*p)();：定义指向无参无返回值为void函数的指针p。
&p：获取指针变量p自身的地址（32位系统中的32位常数）。
(int*)&p：将该地址强转为指向int类型的指针，以便进行整数级赋值。
(int)Function：将函数入口地址强转为int整型数据。
*...：将整型的函数地址写回p占用的内存块中。

这种方法揭示了函数指针与普通指针在内存存储上的一致性，常用于嵌入式开发或底层驱动中动态切换中断服务例程等场景。

4. 挑战经典：解析 ((void() ())0)()

这是《C Traps and Pitfalls》中的著名例子，看似发狂实则逻辑严密。我们分步解析：

(*(void(*) ())0)();

void (*) ()：这是一个类型，表示“指向无参无返回值函数的指针类型”。
(void (*) ())0：将整数 0 强制转换为上述指针类型。此时认为地址 0（通常指ROM或硬件寄存器起始处）存放了一个函数。
*((...))：解引用该地址，取出位于地址 0 的函数实体。
(...)()：对取出的函数进行调用。

同理，复杂表达式 (*(char**(*) (char **,char **))0) ( char **,char **); 也是基于同样的拆解逻辑：识别类型 -> 转换地址 -> 解引用 -> 调用。

5. 高级应用：函数指针数组

既然指针可以作为变量，那么多个函数指针也可以存放在数组中，即“函数指针数组”。

声明方式：

// 定义一个包含3个元素的数组，每个元素都是指向特定函数的指针
char * (*pf[3])(char * p);

使用场景：

#include <stdio.h>

char * fun1(char * p){ printf("%s\n",p); return p; }
char * fun2(char * p){ printf("%s\n",p); return p; }
char * fun3(char * p){ printf("%s\n",p); return p; }

int main() {
    char * (*pf[3])(char * p);
    
    // 填充数组：既可以用函数名，也可以用&函数名
    pf[0] = fun1;
    pf[1] = &fun2;
    pf[2] = &fun3;
    
    // 调用
    pf[0]("fun1");
    pf[1]("fun2");
    pf[2]("fun3");
    
    return 0;
}

这种结构常用于实现状态机、命令分发系统等，有利于系统分层设计，降低模块间耦合。

6. 难点突破：函数指针数组的指针

这是最绕的部分：char * (*(*pf)[3])(char * p);

结构剖析：

pf：是一个指针（上一节的 pf 是数组名）。
(*pf)[3]：该指针指向一个包含3个元素的数组。
char * (*)(char * p)：数组中的每个元素是指向特定函数的指针。

典型用法：

#include <stdio.h>

char * fun1(char * p){ printf("%s\n",p); return p; }
char * fun2(char * p){ printf("%s\n",p); return p; }
char * fun3(char * p){ printf("%s\n",p); return p; }

int main() {
    char * (*a[3])(char * p); // 真正的函数指针数组
    char * (*(*pf)[3])(char * p); // 指向该数组的指针
    
    pf = &a; // pf指向数组a
    
    a[0] = fun1;
    a[1] = &fun2;
    a[2] = &fun3;
    
    // 通过双重索引调用
    pf[0][0]("fun1"); // 等价于 a[0]()
    pf[0][1]("fun2");
    pf[0][2]("fun3");
    
    return 0;
}

掌握此结构有助于处理复杂的回调注册或插件系统加载。