C: Puntatore inline funzione

Question

Ho una funzione static inline definita in un file H, e ad un certo punto in un file C, sto assegnando un puntatore alla funzione, qualcosa di simile:

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(); 

Quindi penso che ciò che accadrà qui è che il compilatore inline la chiamata a frobnicate da bar.c, ma in foo.c, in realtà dovrà creare una funzione per implementare frobnicate, in modo che possa avere un funzionamento puntatore ad esso.

Qualcuno può confermare se la mia comprensione è accurata e correggermi altrimenti?

Answer 1

inline è uno dei termini impropri dello standard C. Il suo significato principale è quello di essere in grado di inserire la definizione di una funzione in un file di intestazione senza dover affrontare problemi di "definizione multipla" al momento del collegamento.

Il modo ufficiale in C99 e C11 di fare ciò che si vuole raggiungere è quello di avere la definizione inline nel file di intestazione, senza il static. Poiché è necessario anche il simbolo da emettere, è necessario indicare al compilatore in quale unità di compilazione dovrebbe essere. Tale istanziazione può essere eseguita con una dichiarazione in questo file .c in cui si omette la parola chiave inline.

Naturalmente è possibile utilizzare il file .c in cui è effettivamente necessario il simbolo.

Answer 2

Sì, hai ragione. Quando si prende il puntatore sulla funzione, il compilatore deve creare una versione "autonoma" in cui il codice può essere chiamato come una funzione normale.

Il vantaggio di incorporare una funzione è che il codice chiamante non deve essere creato e qualsiasi altra ottimizzazione può essere applicata per integrare sia la funzione chiamante che quella in linea. Ma quando è necessario effettuare una chiamata regolare alla funzione (come quando si prende l'indirizzo per chiamarlo quest'ultimo), tali ottimizzazioni non sono più possibili.