Брайан Керниган - Язык программирования Си. Издание 3-е, исправленное

f(a, (t=3, t+2), c)

три аргумента, из которых второй имеет значение 5.

Синтаксически, константное выражение - это выражение с ограниченным подмножеством операторов:

константное-выражение :

условное-выражение

При указании case -меток в переключателе, задании границ массивов и длин полей битов, на месте значений перечислимых констант и инициализаторов, а также в некоторых выражениях для препроцессора требуются выражения, вычисление которых приводит к константе.

Константные выражения не могут содержать присваиваний, операторов инкрементирования и декрементирования, вызовов функций и операторов-запятых; перечисленные ограничения не распространяются на операнд оператора sizeof . Если требуется получить целочисленное константное выражение, то его операнды должны состоять из целых, перечислимых ( enum ), символьных констант и констант с плавающей точкой; операции приведения должны специфицировать целочисленный тип, а любая константа с плавающей точкой - приводиться к целому. Из этого следует, что в константном выражении не может быть массивов, операций косвенного обращения (раскрытия указателя), получения адреса и доступа к полям структуры. (Однако для sizeof возможны операнды любого вида.)

Для константных выражений в инициализаторах допускается большая свобода; операндами могут быть константы любого типа, а к внешним или статическим объектам и внешним и статическим массивам, индексируемым константными выражениями, возможно применять унарный оператор & . Унарный оператор & может также неявно присутствовать при использовании массива без индекса или функции без списка аргументов. Вычисление инициализатора должно давать константу или адрес ранее объявленного внешнего или статического объекта плюс-минус константа.

Меньшая свобода допускается для целочисленных константных выражений, используемых после #if : не разрешаются sizeof -выражения, константы типа enum и операции приведения типа. (см. A12.5.)

То, каким образом интерпретируется каждый идентификатор, специфицируется объявлениями; они не всегда резервируют память для описываемых ими идентификаторов. Объявления, резервирующие память, называются определениями и имеют следующий вид:

объявление :

спецификаторы-объявления список-инициализаторов-объявителей необ

Объявители в списке-инициализаторов-объявителей содержат объявляемые идентификаторы; спецификаторы-объявления представляют собой последовательности, состоящие из спецификаторов типа и класса памяти.

спецификаторы-объявления :

спецификатор-класса-памяти спецификаторы-объявления необ

спецификатор-типа спецификаторы-объявления необ

квалификатор-типа спецификаторы-объявления необ

список-инициализаторов-объявителей :

инициализатор-объявитель

список-инициализаторов-объявителей , инициализатор-объявитель

инициализатор-объявитель :

объявитель

объявитель = инициализатор

Объявители содержат подлежащие объявлению имена. Мы рассмотрим их позже, в A8.5. Объявление должно либо иметь по крайней мере один объявитель, либо его спецификатор типа должен определять тег структуры или объединения, либо - задавать элементы перечисления; пустое объявление недопустимо.

Класс памяти специфицируется следующим образом:

спецификатор-класса-памяти :

auto

register

static

extern

typedef

Смысл классов памяти обсуждался в A4.

Спецификаторы auto и register дают объявляемым объектам класс автоматической памяти, и эти спецификаторы можно применять только внутри функции. Объявления с auto и register одновременно являются определениями и резервируют намять. Спецификатор register эквивалентен auto , но содержит подсказку, сообщающую, что в программе объявленные им объекты используются интенсивно. На регистрах может быть размещено лишь небольшое число объектов, причем определенного типа: указанные ограничения зависят от реализации. В любом случае к register - объекту нельзя применять (явно или неявно) унарный оператор & .