¿Por qué sizeof int es incorrecto, mientras que sizeof (int) es correcto?

Sabemos que sizeofes un operador que se usa para calcular el tamaño de cualquier tipo de datos y expresión, y cuando el operando es una expresión, se pueden omitir los paréntesis.

int main()
{
        int a;

        sizeof int;
        sizeof( int );
        sizeof a;
        sizeof( a );

        return 0;
}

el primer uso de sizeofes incorrecto, mientras que otros son correctos.

Cuando se compila usando gcc, aparecerá el siguiente mensaje de error:

main.c:5:9: error: expected expression before ‘int’

Mi pregunta es por qué el estándar C no permite este tipo de operación. ¿Causará sizeof intalguna ambigüedad?

Lo siguiente podría ser ambiguo:

sizeof int * + 1

¿Eso es (sizeof (int*)) + 1, o (sizeof(int)) * (+1)?

Obviamente, el lenguaje C podría haber introducido una regla para resolver la ambigüedad, pero puedo imaginar por qué no se molestó. Con el lenguaje tal como está, un especificador de tipo nunca aparece "desnudo" en una expresión, por lo que no hay necesidad de reglas para resolver si ese segundo *es parte del tipo o un operador aritmético.

La gramática existente ya resuelve la posible ambigüedad de sizeof (int *) + 1. Es (sizeof(int*))+1, no sizeof((int*)(+1)) .

C ++ tiene un problema similar que resolver con la sintaxis de conversión de estilo de función. Puedes escribir int(0)y puedes escribir typedef int *intptr; intptr(0);, pero no puedes escribir int*(0). En ese caso, la resolución es que el tipo "desnudo" debe ser un nombre de tipo simple, no puede ser cualquier ID de tipo antiguo que pueda tener espacios o puntuación final. Tal vez sizeofpodría haberse definido con la misma restricción, no estoy seguro.

Desde C99 Standard

6.5.3.4.2
El sizeofoperador da el tamaño (en bytes) de su operando, que puede ser una expresión o el nombre entre paréntesis de un tipo.

En su caso, intno hay expresión ni nombre entre paréntesis.

Hay dos formas de usar el operador sizeof en C. La sintaxis es la siguiente:

C11 6.5.3 Unary operators
...
sizeof unary-expression
sizeof ( type-name )

Siempre que use un tipo como operando, debe tener el paréntesis, por la definición de sintaxis del lenguaje. Si usa sizeof en una expresión, no necesita el paréntesis.

El estándar C da un ejemplo de dónde podría querer usarlo en una expresión:

sizeof array / sizeof array[0]

Sin embargo, en aras de la coherencia y para evitar errores relacionados con la precedencia del operador, personalmente recomendaría usar siempre () sin importar la situación.