ARM-GCC中const结构体函数指针未被直接调用优化的原因及解法

你的代码现象本质是ARM-GCC的去虚拟化优化（Devirtualization）决策差异，核心在于编译器能否确定结构体中的函数指针值始终不变：

• 当注释掉test.x = 1;时，结构体test初始化后无任何写入操作，编译器可明确判定func成员是绑定到square的常量，直接将函数指针调用替换为square的直接调用，完全消除间接跳转开销。
• 当保留test.x = 1;时，编译器的别名分析会认为：结构体内存区域被写入，无法100%排除“存在其他指针篡改func成员”的可能性（即便你只修改了无关的x）。为保证代码正确性，编译器会放弃去虚拟化，保留通过结构体指针查找函数再调用的逻辑。

要让编译器稳定消除函数指针的间接调用开销，核心是让编译器明确知道函数指针不会被修改，以下是几种可靠实现方式：

1. 用const修饰结构体实例 #

如果接口实例不需要修改函数指针成员，直接将整个结构体声明为const：

#include <stdio.h>

struct Interface {
    int x;
    int (*const func)(int);
};

int square(int a) {
    return a * a;
}

int main() {
    // 直接初始化const结构体，编译器能确定func不会被修改
    const struct Interface test = {.x = 1, .func = square};
    printf("%d\n", test.func(5));
    return 0;
}

此时即便结构体包含可变逻辑的成员（比如这里的x），只要通过const声明将整个实例放入只读数据段，编译器就能确定func成员的常量性，直接生成square的调用代码。

2. 拆分虚表与数据结构体 #

如果需要修改结构体的可变成员，将只读的函数指针集合（虚表）和可变数据分开：

#include <stdio.h>

// 只读的虚表结构体，仅包含函数指针
struct InterfaceVTable {
    int (*const func)(int);
};

// 包含虚表指针和可变数据的结构体
struct Interface {
    const struct InterfaceVTable* vtable;
    int x;
};

// 全局只读虚表实例，编译期确定
const struct InterfaceVTable square_vtable = {.func = square};

int square(int a) {
    return a * a;
}

int main() {
    struct Interface test = {.vtable = &square_vtable, .x = 0};
    test.x = 1; // 修改可变数据，不影响虚表的常量性
    printf("%d\n", test.vtable->func(5));
    return 0;
}

这种模式下，虚表指针指向只读内存中的常量结构，无论你如何修改x，编译器都能确定vtable->func的值不会变化，从而直接替换为square的调用。

3. 栈上初始化且不暴露指针 #

如果接口实例在函数栈上创建且未将指针传递到外部，编译器的数据流分析可跟踪到函数指针未被修改，依然能实现去虚拟化：

int main() {
    struct Interface test = {.func = square};
    test.x = 1;
    // 没有将&test传递给其他函数，编译器能确定func未被篡改
    printf("%d\n", test.func(5));
    return 0;
}

不过这种方式依赖编译器的分析能力，稳定性不如前两种方案。

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