¿Por qué GCC mantiene las funciones vacías?

Question

En la mayoría de los casos, si quiero crear una característica opcional en C, simplemente crear dos funciones de la siguiente manera:

#ifdef OPTIONAL_SOMETHING 
void do_something(int n, const char *s) 
{ 
    while (n--) { 
     printf("%s", s); 
    } 

    /* ...You might get the point, really do something... */ 
} 
#else 
void do_something(int n, const char *s) 
{ 
    /* Empty body */ 
} 
#endif 

Así que si no está definido el símbolo - cuando la función está desactivada - una función de vacío se compila en el ejecutable.

Profundizando en el listado de montaje, parece que GCC compila y pide las funciones vacías cuando las optimizaciones están desactivados. Si las optimizaciones están habilitadas, también con -O2 y -O3, compila solo el código de manejo de pila necesario, pero optimiza las instrucciones de la llamada. En general, mantiene la función.

Casi lo mismo aplica para los métodos no vacíos, pero no utilizados.

Simplemente debería descartar todo, pero no es así. ¿Por qué es el comportamiento predeterminado? Y solo por curiosidad: ¿cómo puedo eliminar esto?

Answer 1

Como la función tiene un enlace externo (no es static), el compilador no puede eliminarlo porque otro archivo de objetos podría hacer referencia a él. Si la función es static, se eliminará por completo.

Answer 2

Si desea que el compilador finalmente alinee la función, debe decirle. Declare su función inline, esto permite que el compilador no emita la función si lo considera oportuno.

Ahora esto puede provocar un error de "símbolo indefinido" cuando compila con -O0 más o menos. Coloque una "instanciación" como

void do_something(int n, const char *s); 

en una sola unidad de compilación (archivo .c).