C: puntero a función en línea

Question

Tengo una función static inline definido en un archivo H, y en un momento en un fichero C, estoy asignación de un puntero a la función, algo como esto:

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

Así que creo que lo que sucederá aquí es que el compilador alineará la llamada a frobnicate desde bar.c, pero en foo.c, en realidad tendrá que crear una función para implementar frobnicate, para que pueda tener un funcionamiento puntero a ella.

¿Alguien puede confirmar si mi comprensión es correcta y corregirme de lo contrario?

Answer 1

inline es uno de los nombres incorrectos del estándar C. Su significado principal es poder poner la definición de una función en un archivo de encabezado sin tener que lidiar con problemas de "definición múltiple" en el tiempo del enlace.

La manera oficial en C99 y C11 para hacer lo que quiere lograr es tener la definición inline en el archivo de encabezado, sin el static. Como también necesita que se emita el símbolo, debe indicarle al compilador en qué unidad de compilación debería estar. Dicha instanciación se puede realizar con una declaración en ese archivo .c donde omite la palabra clave inline.

Lo más natural es que podría usar el archivo .c donde realmente necesita el símbolo.

Answer 2

Sí, tienes razón. Cuando toma el puntero a la función, el compilador debe crear una versión "independiente" donde el código se puede llamar como una función normal.

El beneficio de subrayar una función es que no es necesario crear el código de llamada y se puede aplicar cualquier otra optimización para integrar tanto la función de llamador como la función en línea. Pero cuando necesita hacer una llamada regular a la función (como cuando toma la dirección para llamarla más tarde), esas optimizaciones ya no son posibles.