ヘルパー関数

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()機能を最適化することができるはずと言うが、私が見つかりました。それとヘルパー関数は、常にそれがjust a jump to my_callback_function()（-O3）だ場合でも生成されますんhttps://gcc.godbolt.org でコンパイラなかっなし：

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_helper）の代わりに単にmy_callback_functionを使用して呼び出すことはできません。 my_callback_helperを完全に最適化するために、コンパイラはdo_stuffが何をしているかを知る必要があります。しかし、do_stuffは外部関数であり、その定義はコンパイラでは使用できません。したがって、この種の最適化は、do_stuffの定義とそのすべての用途を定義した場合に発生する可能性があります。