Почему sizeof int неправильный, а sizeof (int) правильный?

Мы знаем, что sizeofэто оператор, используемый для вычисления размера любого типа данных и выражения, и когда операнд является выражением, скобки можно опустить.

int main()
{
        int a;

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

        return 0;
}

первое использование sizeofневерно, тогда как другие верны.

При компиляции с использованием gcc будет выдано следующее сообщение об ошибке:

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

У меня вопрос, почему стандарт C не допускает такого рода операции. Вызовет sizeof intли двусмысленность?

Следующее может быть двусмысленным:

sizeof int * + 1

Это (sizeof (int*)) + 1или (sizeof(int)) * (+1)?

Очевидно, что язык C мог бы ввести правило для разрешения двусмысленности, но я могу представить, почему это не беспокоило. В существующем языке спецификатор типа никогда не появляется в выражении «голым», и поэтому нет необходимости в правилах для определения того, *является ли эта секунда частью типа или арифметическим оператором.

Существующая грамматика уже устраняет потенциальную двусмысленность sizeof (int *) + 1. Это (sizeof(int*))+1, не sizeof((int*)(+1)) .

В C ++ есть несколько похожая проблема, которую нужно решить с помощью синтаксиса приведения в стиле функции. Вы можете писать int(0)и вы можете писать typedef int *intptr; intptr(0);, но вы не можете писать int*(0). В этом случае решение состоит в том, что «голый» тип должен быть простым именем типа, это не может быть просто любой старый идентификатор типа, в котором могут быть пробелы или конечная пунктуация. Может быть, это sizeofмогло быть определено с таким же ограничением, я не уверен.

От стандарта C99

6.5.3.4.2 оператор дает размер (в байтах) своего операнда, который может быть выражение в скобках или имя типа.
sizeof

В вашем случае intнет ни выражения, ни имени в скобках.

Есть два способа использовать оператор sizeof в C. Синтаксис следующий:

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

Каждый раз, когда вы используете тип в качестве операнда, вы должны иметь круглые скобки в соответствии с определением синтаксиса языка. Если вы используете sizeof в выражении, скобки не нужны.

Стандарт C дает один такой пример того, где вы можете использовать его в выражении:

sizeof array / sizeof array[0]

Однако для согласованности и во избежание ошибок, связанных с приоритетом операторов, я лично посоветовал бы всегда использовать () независимо от ситуации.