C: Wskaźnik do funkcji

Question

Mam static inline funkcję zdefiniowaną w pliku H inline, aw pewnym momencie w pliku C, mam przypisując wskaźnik do funkcji, coś takiego:

Foo.h :

static inline void frobnicate(void) { 
    // frobs something. 
} 

foo.c

#include "foo.h" 

void execute(void (*func)(void)) { 
    func(); 
} 

void blahBlahBlah(void) { 
    execute(frobnicate); 
} 

bar.c

#include "foo.h" 
// ... 
frobnicate(); 

Więc myślę, że to, co się tutaj stanie, to, że kompilator zainicjuje połączenie z frobnicate z paska.c, ale w foo.c będzie musiał utworzyć funkcję do implementacji frobnicate, aby mógł działać wskaźnik do niego.

Czy każdy może potwierdzić, że moje zrozumienie jest prawidłowe, i poprawić mnie w inny sposób?

Answer 1

inline jest jednym z mylących nazw standardu C. Jego głównym znaczeniem jest możliwość umieszczenia definicji funkcji w pliku nagłówkowym bez konieczności radzenia sobie z problemami "wielokrotnej definicji" w czasie łączenia.

Oficjalny sposób w C99 i C11, aby zrobić to, co chcesz osiągnąć, to mieć definicję inline w pliku nagłówkowym, bez static. Ponieważ potrzebujesz również emitowanego symbolu, powinieneś powiedzieć kompilatorowi, w której jednostce kompilacji powinno to być. Taką instancję można wykonać, mając w tym pliku .c deklarację, w której pominięto słowo kluczowe inline.

W naturalny sposób można użyć pliku .c, w którym faktycznie potrzebny jest symbol.

Answer 2

Tak, masz rację. Po przejściu do funkcji kompilator musi utworzyć wersję "stand alone", w której kod można nazwać normalną funkcją.

Zaletą wbudowywania funkcji jest to, że kod wywoławczy nie musi być tworzony i można zastosować dowolną inną optymalizację w celu zintegrowania zarówno funkcji wywołującej, jak i funkcji wstawionej. Ale kiedy musisz wykonać zwykłe wywołanie funkcji (jak wtedy, gdy podasz adres, aby wywołać to później), te optymalizacje nie są już możliwe.