Me he encontrado con el siguiente fragmento de código:
int a = 3; printf("%d", sizeof(a)++);Aparentemente, esto se compilará con GCC 9.3.0 y -std=c99. Si bien esto no compila:
printf("%d", sizeof(3)++);GCC imprime un error
error: se requiere lvalue como operando de incremento
Antes de haber compilado el primer fragmento, habría esperado tal error.
El operando del operador sufijo ++ será un valor l a partir del estándar C99
El operando del operador de incremento o decremento postfijo deberá tener un tipo de puntero o real calificado o no calificado y deberá ser un valor l modificable.
Sobre el valor de retorno del operador sizeof (como se esperaba):
El operador sizeof produce el tamaño (en bytes) de su operando, que puede ser una expresión o el nombre entre paréntesis de un tipo. El tamaño se determina a partir del tipo de operando. El resultado es un número entero. Si el tipo del operando es un tipo de matriz de longitud variable, se evalúa el operando; de lo contrario, el operando no se evalúa y el resultado es una constante entera.
El valor del resultado está definido por la implementación y su tipo (un tipo entero sin signo) es size_t, definido en (y otros encabezados).
¿Cómo es posible que se sizeof(a)++ ? ¿Es este un comportamiento indefinido o me estoy perdiendo algo?
El sizeof es un operador, no una función, y como cualquier operador tiene una precedencia, que es en C inferior a la del operador ++ . Por lo tanto, la construcción sizeof(a)++ es equivalente a sizeof a++ que a su vez es equivalente a sizeof (a++) . Aquí tenemos un incremento posterior en a que es un valor l, por lo que es perfectamente legal. Si en lugar de a tiene 3 que no es lvalue, la compilación fallará.