gcc优化旗标为何能“修复”函数指针转对象指针的代码问题？

编译代码时收到警告：

ISO C forbids conversion of function pointer to object pointer type

启用gcc优化（如gcc -O1）时代码运行正常，但关闭所有优化（如gcc -O0 -ggdb）时崩溃。问题根源是用数组存储函数指针时，通过(void *)强制转换函数定义触发了上述警告。

代码示例：

static const struct
{
    UINT8       parameter1;
    UINT8       parameter2;
    UINT8       parameter3;
    void *      function1;
    void *      function2;
} handlerList[] =
{
    { 8, 12, 0, (void *)FUNC1, (void *)FUNC2 },
    { 12, 24, 1, (void *)FUNC3, (void *)FUNC4 },
    { 3, 12, 2, (void *)FUNC5, (void *)FUNC6 },
};

其中FUNC1、FUNC2等是无返回值函数的宏，调用时通过return handlerList[i].function1返回函数指针。

另外，仅添加-ftree-coalesce-vars旗标（gcc -O0 -ggdb -ftree-coalesce-vars）时，代码也能正常运行。

疑问：

• 优化旗标为何能让代码正常运行？
• 如何合规定义函数指针数组避免类型转换？
• -ftree-coalesce-vars的作用是什么？

1. 优化旗标为何能让代码正常运行？ #

C标准明确禁止函数指针和对象指针（比如void*）之间的转换，这种转换属于未定义行为——编译器可以按任何逻辑处理，包括“碰巧正常工作”。

当启用-O1及以上优化时，gcc会对内存布局、指针处理做简化：在很多架构上，函数指针和对象指针的长度、存储方式实际是一致的，优化后的代码直接忽略了类型转换的“非法性”，按实际内存地址直接使用，所以碰巧能跑通。而-O0下编译器严格按代码字面类型处理，可能对void*做一些和函数指针不兼容的操作（比如特殊对齐检查、不同的地址解析逻辑），最终导致崩溃。

2. 合规定义函数指针数组的方法 #

直接在结构体中定义正确的函数指针类型，别用void*中转。假设FUNC1等都是无参数、无返回值的函数，正确写法如下：

// 先定义函数指针类型
typedef void (*FuncPtr)(void);

static const struct
{
    UINT8       parameter1;
    UINT8       parameter2;
    UINT8       parameter3;
    FuncPtr     function1;
    FuncPtr     function2;
} handlerList[] =
{
    { 8, 12, 0, FUNC1, FUNC2 },
    { 12, 24, 1, FUNC3, FUNC4 },
    { 3, 12, 2, FUNC5, FUNC6 },
};

如果函数带参数，修改typedef里的参数列表就行，比如函数是void func(int a)，就定义typedef void (*FuncPtr)(int);。这样完全不需要类型转换，既符合C标准，也不会触发编译器警告。

3. -ftree-coalesce-vars的作用 #

这个gcc选项属于树优化阶段的优化，核心作用是合并生命周期和类型相同的变量，减少内存占用。-O0下默认不启用，因为-O0要尽量保留代码原始结构方便调试。

在你的场景里，启用这个选项后，编译器调整了结构体中void*成员的存储布局或处理逻辑，让非法转换后的指针在使用时碰巧和函数指针的预期行为一致，从而避免了崩溃。但这依然是依赖未定义行为的巧合，绝对不能作为正式解决方案。

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