c - 优化辅助函数

Question

这或多或少是对澄清的要求 Casting a function pointer to another type带有示例代码

struct my_struct;
void my_callback_function(struct my_struct* arg);
void do_stuff(void (*cb)(void*));

static void my_callback_helper(void* pv)
{
    my_callback_function(pv);
}
int main()
{
    do_stuff(&my_callback_helper);
}

答案说“好的”编译器应该能够优化my_callback_helper() 函数，但我在 https://gcc.godbolt.org 处找不到编译器 这样做并且辅助函数总是生成，即使它是 just a jump to my_callback_function() (-O3):

my_callback_helper:
        jmp     my_callback_function
main:
        subq    $8, %rsp
        movl    $my_callback_helper, %edi
        call    do_stuff
        xorl    %eax, %eax
        addq    $8, %rsp
        ret

所以我的问题是:标准中是否有任何内容阻止编译器删除帮助程序？

Answer 1

标准中没有任何内容直接阻止这种优化。但在实践中，编译器在没有“全貌”的情况下并不总是可行的。

您已经获取了 my_callback_helper 的地址。所以编译器不能轻易地优化它，因为它不知道 do_stuff 对它做了什么。在定义了 do_stuff 的单独模块中，编译器不知道它可以简单地使用/调用 my_callback_function 代替它的参数(my_callback_helper ).为了完全优化 my_callback_helper，编译器还必须知道 do_stuff 做了什么。但是 do_stuff 是一个外部函数，其定义对编译器不可用。因此，如果您为 do_stuff 及其所有用途提供定义，则可能会发生这种优化。