pasar demasiados argumentos de printf

Question

Cualquier programador C que ha estado trabajando durante más de una semana se ha encontrado con los accidentes que resultan de llamar printf con más especificadores de formato que argumentos reales, por ejemplo:

printf("Gonna %s and %s, %s!", "crash", "burn"); 

Sin embargo, ¿hay alguna cosas malas similares que pueden suceder cuando pasa demasiados argumentos para printf?

printf("Gonna %s and %s!", "crash", "burn", "dude"); 

Mi conocimiento de ensamblador x86/x64 me lleva a creer que esto es inofensivo, aunque no estoy convencido de que no hay una condición de borde que me falta, y no tengo ni idea acerca de otras arquitecturas. ¿Se garantiza que esta condición es inofensiva, o hay una trampa potencialmente inductora de colisiones aquí también?

Answer 1

Usted probablemente conoce el prototipo de la función printf como algo parecido a este

int printf(const char *format, ...); 

Una versión más completa de la que en realidad sería

int __cdecl printf(const char *format, ...); 

El __cdecl define la "convención de llamada", que, junto con otras cosas, describe cómo se manejan los argumentos. En este caso, significa que los argumentos se insertan en la pila y que la función que realiza la llamada limpia la pila.

Una alternativa a _cdecl es __stdcall, hay otros. Con __stdcall, la convención es que los argumentos se envían a la pila y se limpian con la función que se llama. Sin embargo, hasta donde yo sé, no es posible para una función __stdcall aceptar una cantidad variable de argumentos. Eso tiene sentido ya que no sabría cuánta pila limpiar.

Lo largo y lo corto es que en el caso de las funciones __cdecl es seguro pasar tantas args como desee, ya que la limpieza se realiza en el código que realiza la llamada. Si tuviera que pasar demasiados argumentos a una función __stdcall, daría lugar a una corrupción de la pila. Un ejemplo de dónde podría suceder esto es si tienes el prototipo incorrecto.

Más información sobre convenciones de llamadas se puede encontrar en Wikipedia here.

Answer 2

Todos los argumentos se insertarán en la pila y se eliminarán si se elimina el marco de la pila. este comportamiento es independiente de un procesador específico. (Solo recuerdo un mainframe que no tenía stack, diseñado en los 70) Entonces, sí, el segundo ejemplo no fallará.

Answer 3

printf está diseñado para aceptar cualquier número de argumentos. printf lee el especificador de formato (primer argumento) y extrae los argumentos de la lista de argumentos según sea necesario. Esta es la razón por la que faltan muy pocos argumentos: el código simplemente comienza a usar argumentos inexistentes, accediendo a la memoria que no existe, o alguna otra cosa mala. Pero con demasiados argumentos, los argumentos adicionales simplemente serán ignorados. El especificador de formato utilizará menos argumentos que se han aprobado en

Answer 4

Online C Draft Standard (n1256), sección 7.19.6.1, párrafo 2:.

La función fprintf escribe salida al flujo de datos apuntado por flujo, bajo el control de la cadena de apuntado por el formato que especifica cómo los argumentos posteriores son convertidos para la salida.Si no hay suficientes argumentos para el formato, el comportamiento es indefinido. Si el formato se agota mientras los argumentos permanecen, los argumentos en exceso son evaluados (como siempre) pero de lo contrario se ignoran. La función fprintf devuelve cuando se encuentra el final de la cadena de formato.

El comportamiento de todas las demás funciones *printf() es el mismo exceso de argumentos wrt a excepción de vprintf() (obviamente).

Answer 5

Comentario: ambas advertencias gcc y producir sonido metálico:

$ clang main.c 
main.c:4:29: warning: more '%' conversions than data arguments [-Wformat] 
    printf("Gonna %s and %s, %s!", "crash", "burn"); 
          ~^ 
main.c:5:47: warning: data argument not used by format string 
         [-Wformat-extra-args] 
    printf("Gonna %s and %s!", "crash", "burn", "dude"); 
     ~~~~~~~~~~~~~~~~~~     ^
2 warnings generated.