¿Por qué (y cuándo) necesito usar paréntesis después de sizeof?

Question

La continuación falla al compilar:

typedef int arr[10]; 
int main(void) { 
    return sizeof arr; 
} 

sizeof.c:3: error: expected expression before ‘arr’ 

pero si lo cambio a

sizeof(arr); 

todo está bien. ¿Por qué?

Answer 1

De acuerdo con 6.5.3, existen dos formas para sizeof como los siguientes:

sizeof unary-expression 
sizeof (type-name) 

Desde arr en su código es un type-name, tiene que estar entre paréntesis.

Answer 2

Así se especifica el idioma, los nombres de tipos deben estar entre paréntesis aquí.

Supongamos que la gramática veía así:

sizeof unary-expression sizeof type-name

Ahora, por ejemplo, la siguiente expresión sería ambigua:

sizeof int * + 0 

Podría ser cualquiera o sizeof(int *) + 0sizeof(int) * +0. Esta ambigüedad no se presenta para expresiones unarias, ya que un asterisco agregado a una expresión no es una expresión (pero para algunos nombres de tipos, al agregar uno, nuevamente se encuentra un nombre de tipo).

Se debe especificar algo aquí y es necesario que los nombres de tipos queden entre paréntesis para resolver la ambigüedad.

Answer 3

Creo que es porque tiene typedef. Si lo eliminas, debería compilarse.

Ejemplo de Wikipedia:

/* the following code fragment illustrates the use of sizeof  
* with variables and expressions (no parentheses needed), 
* and with type names (parentheses needed)  
*/ 
char c; 
printf("%zu,%zu\n", sizeof c, sizeof (int));