Tengo una duda sobre cómo obtiene los datos, para cada especificador %
, la función printf()
. Creo suponer que, por cada especificador, obtiene los valores de la pila donde se introdujeron las variables pasadas por argumentos. Como printf()
tiene una lista variable de argumentos, dentro de la función no hay manera de saber cuántos argumentos y de qué tipo han sido pasados. Por lo tanto, es la información detallada por los especificadores la usada para ir obteniendo correctamente los valores de los argumentos pasados.
Mi duda viene por lo siguiente: creo suponer que por cada especificador indicado se obtiene un valor de la pila del tamaño precisado por el especificador (%d
para int
, %ld
para long
, %lld
para long long
, etc). Por lo tanto, si dentro de printf()
hay dos especificadores %d
y %lld
, primero obtendrá un valor int
de la pila y a continuación obtendrá un valor long long
de la pila que contiene los valores de los argumentos pasados.
Explicado lo anterior, si miramos el siguiente código:
#include <stdio.h>
#include <limits.h>
int main(void)
{
unsigned int ui = 0;
unsigned long long ulli = ULLONG_MAX;
printf("TAMAÑOS\nint:%8zu\nlong long: %zu\n",
sizeof(int), sizeof(long long));
printf("\nulli: %u\nui: %llu\nulli: %u", ulli, ui, ulli);
return 0;
}
Con la siguiente salida:
TAMAÑOS int: 4 long long: 8 ulli: 4294967295 ui: 0 ulli: 4294967295
Podemos ver que, al imprimir el segundo valor correspondiente a la variable ui
usando el especificador %llu
, el valor mostrado es 0
pero, aunque el valor de la variable ui
sea 0
y parezca que lo hace correctamente, ¿por qué muestra su valor?
¿No tendría que haber impreso un segundo valor unsigned long long
de la pila, después de obtener un primer valor unsigned int
para el anterior especificador %u
, obteniendo así bits de la primera o tercera variables pasadas? Es decir, el primer argumento pasado es un long long
de 8 bytes con todos los bits a 1. Si de ese valor se obtienen 4 bytes para imprimir un valor de tipo unsigned int
debido al primer especificador %u
, ¿no empezaría a imprimir el valor del segundo especificador %llu
a partir del 4 byte del primer argumento unsigned long long
pasado (con todos los bits a 1) y, por lo tanto, dando un valor distinto de 0
?
Si el segundo especificador es para obtener un valor de tipo unsigned long long
de 8 bytes pero la segunda variable es de tipo unsigned int
de 4 bytes, ¿no obtendría el valor mostrado algunos bits de las otras dos variables?
PD: Los especificadores no corresponden intencionadamente con los tipos de datos de las variables pasadas por argumentos para poder entender el problema.