Actualmente estoy escribiendo código C para un microprocesador y me encontré con algo que no podía explicar. Implementé una interfaz de línea de comando usando punteros de función. Para hacer esto, he creado una estructura que contiene el nombre del comando, el puntero a la función que se ejecutará y también una descripción de ayuda.
typedef void(*command)(char *); typedef struct commandStruct { char const *name; command execute; char const *help; } commandStruct; const commandStruct commands[] = { {"led", CmdLed, "Turns on or off the LED1"}, {"AT+START_SIM", start_simulation, "Starts the simulation"}, {"AT+STOP_SIM", stop_simulation, "Stops the simulation"}, {"",0,""} //End of table indicator. }; void exec_command(char *buffer) { uint16 i = 0; char *cmd = buffer; char *args; while (buffer[i]) { if(buffer[i] == '=') { buffer[i] = 0; args = buffer + i + 1; break; } i++; } uint16 cmdCount = 0; while(strcmp(commands[cmdCount].name,"")) { if(!strcmp(commands[cmdCount].name,cmd)) { commands[cmdCount].execute(args); break; } cmdCount++; } } void start_simulation(void) {run = 1;} void stop_simulation(void) {run = 0;} void CmdLed(char *args) { P1DIR |= BIT0; if(!strcmp(args,"on")) P1OUT = 1; if(!strcmp(args,"off")) P1OUT = 0; } He incluido arriba la función exec_command que es donde se usa el puntero de función. En la parte inferior también he puesto las funciones start_simulation y stop_simulation , junto con CmdLed . Escribí CmdLed en una fecha anterior y luego volví y escribí start_simulation y stop_simulation . Había olvidado que había definido mi puntero de función tomando un (char *) como argumento. Sin embargo, me sorprendió descubrir que todo seguía compilado y funcionaba absolutamente bien. ¿Por qué es esto? Parece que cualquier argumento simplemente se 'descartó' y no se usa.
Esto no debería compilarse con compiladores modernos.
Qué pasa aquí :
start_simulation se llamará con un argumento char* , pero como start_simulation no tiene argumento, el argumento simplemente se ignora (o se "descarga" mientras escribe).
Recuerde, en la función C, los argumentos se colocan en la pila y la persona que llama limpia la pila después de la llamada. Así que si llamas a una función sin argumento fingiendo que tiene argumento(s), entonces
Eche también un vistazo a esta pregunta SO .
Supongo que ha declarado sus funciones antes de usarlas o su compilador las declaró implícitamente como (C predeterminado):
int start_simulation(); ... lo que significa que start_simulation debe definirse en otro lugar como una función que toma cualquier parámetro y devuelve un int.
Pero esto debería darle al menos algunas advertencias, porque la definición es diferente de la declaración, o la declaración de funciones no coincide con la declaración de comando para el segundo elemento de una estructura de comando (en const commandStruct commands[] = ... )
Por el hecho de que compila y funciona bien, la forma cdecl de pasar parámetros es la siguiente:
Eso significa que siempre puede agregar parámetros no utilizados, siempre que el compilador sea lo suficientemente tolerante para compilar una llamada incorrecta, o la función se declaró con una lista de parámetros vacía.