函数指针typedef使用const时的行为差异：报错原因及修复方法

先看示例代码：

#include <stdio.h>

typedef int (*func_t)(int);

int foo(int x) {
    return x * 2;
}

int main() {
    const func_t ptr = foo; // 可正常编译
    //const func_t *ptr = &foo; // 编译失败：原因？
    printf("%d\n", ptr(5)); // 输出10
}

问题现象 #

const func_t ptr = foo;能正常编译运行，但取消注释const func_t *ptr = &foo;时，会触发如下编译错误：

error: invalid conversion from 'int ()(int)' to 'const func_t' {aka 'int (* const)(int)'}

编译失败原因 #

核心问题出在typedef的const修饰规则：

• func_t是typedef定义的函数指针类型，等价于int (*)(int)。
• const func_t表示的是「指向int(int)函数的常量指针」（指针本身不能被修改），对应直接声明的int (* const)(int)。
• 而const func_t *ptr则表示「指向上述常量函数指针的指针」，对应直接声明的int (* const)(int) *。

但&foo的实际类型是「指向普通函数指针的指针」，也就是int (*)(int) *。C语言不允许将普通指针的地址隐式转换为指向const指针的地址——这是为了避免const限定被绕过，破坏类型安全性，因此编译器报错。

修复方法 #

根据实际需求，有几种修复方式：

1. 确实需要指向「常量函数指针」的指针 #

先定义一个const func_t类型的中间变量，再取它的地址赋值：

const func_t func_ptr = foo;
const func_t *ptr = &func_ptr;

此时&func_ptr的类型和ptr的类型完全匹配，编译通过。

2. 只需要指向普通函数指针的指针 #

直接去掉const修饰即可：

func_t *ptr = &foo;

3. 需要「指向函数指针的常量指针」（指针本身不可修改） #

调整const的位置，声明指针本身为const：

func_t *const ptr = &foo;

内容的提问来源于stack exchange，提问作者Alphin Thomas