25. Анахронизмы

Так как язык "C" является развивающимся языком, в старых

программах можно встретить некоторые устаревшие конструкции.

Хотя большинство версий компилятора поддерживает такие анах-

ронизмы, они в конце концов исчезнут, оставив за собой толь-

ко проблемы переносимости.

В ранних версиях "C" для проблем присваивания использо-

валась форма =ON, а не ON=, приводя к двусмысленностям, ти-

пичным примером которых является

X = -1

где X фактически уменьшается, поскольку операции = и - при-

мыкают друг к другу, но что вполне могло рассматриваться и

как присваивание -1 к X.

Синтаксис инициализаторов изменился: раньше знак равенс-

тва, с которого начинается инициализатор, отсутствовал, так

что вместо

INT X = 1;

использовалось

INT X 1;

изменение было внесено из-за инициализации

INT F (1+2)

которая достаточно сильно напоминает определение функции,

чтобы смутить компиляторы.

26. Сводка синтаксических правил

Эта сводка синтаксиса языка "C" предназначена скорее для

облегчения понимания и не является точной формулировкой язы-

ка.

26.1. Выражения

Основными выражениями являются следующие:

выражение:

первичное-выражение

* выражение

& выражение

- выражение

! Выражение

\^ выражение

++ L-значение

-- L-значение

L-значение ++

L-значение --

SIZEOF выражение

(имя типа) выражение

выражение бинарная-операция выражение

выражение ? Выражение : выражение

L-значение операция-присваивания выражение

выражение , выражение

первичное выражение:

идентификатор

константа

строка

(выражение)

первичное-выражение (список выражений

необ)

первичное-выражение [выражение]

L-значение . Идентификатор

первичное выражение -> идентификатор

L-значение:

идентификатор

первичное-выражение [выражение]

L-значение . Идентификатор

первичное-выражение -> идентификатор

* выражение

(L-значение)

Операции первичных выражений

() [] . ->

имеют самый высокий приоритет и группируются слева

направо. Унарные операции

* & - ! \^ ++ -- SIZEOF(Имя типа)

имеют более низкий приоритет, чем операции первичных выраже-

ний, но более высокий, чем приоритет любой бинарной опера-

ции. Эти операции группируются справа налево. Все бинарные

операции и условная операция (прим. Перевод.: условная опе-

рация группируется справа налево; это изменение внесено в

язык в 1978 г.) группируются слева направо и их приоритет

убывает в следующем порядке:

Бинарные операции:

* / %

+ -

>> <<

< > <= >=

== !=

&

\^

\!

&&

\!\!

?:

Все операции присваивания имеют одинаковый приоритет и груп-

пируются справа налево.

Операции присваивания:

= += -= *= ?= %= >>= <<= &= \^= \!=

Операция запятая имеет самый низкий приоритет и группируется

слева направо.

26.2. Описания

Описание:

спецификаторы-описания список-инициализируемых-описателей

необ;

---------------------------------------------------------

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

спецификатор-типа спецификаторы-описания

необ

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

необ

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

AUTO

STATIC

EXTERN

REGISTER

TYPEDEF

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

CHAR

SHORT

INT

LONG

UNSIGNED

FLOAT

DOUBLE

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

определяющее-тип-имя

список-инициализируемых-описателей:

инициализируемый-описатель

инициализируемый-описатель,

список-инициализируемых-описателей

инициализируемый-описатель

описатель-инициализатор

необ

описатель:

идентификатор

(описатель)

* описатель

описатель ()

описатель [константное выражение

необ]

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

STRUCT список-описателей-структуры

STRUCT идентификатор \(список-описаний-структуры\)

STRUCT идентификатор

UNION \(список-описаний-структуры\)

UNION идентификатор \(список-описаний-структуры\)

UNION идентификатор

список-описаний-структцры:

описание-структуры

описание-структуры список-описаний-структуры

описание структуры:

спецификатор-типа список-описателей-структуры:

список-описателей-структуры

описатель-структуры

описатель-структуры,список-описателей-структуры

описатель-структуры:

описатель

описатель: константное выражение

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

инициализатор:

= выражение

= \(список-инициализатора\)

= \(список-инициализатора\)

список инициализатора:

выражение

список-инициализатора,список-инициализатора

\(список-инициализатора\)

имя-типа:

спецификатор-типа абстрактный-описатель

абстрактный-описатель:

пусто

\(абстрактный-описатель\)

* абстрактный-описатель

абстрактный-описатель ()

абстрактный-описатель [константное-выражение

необ]

определяющее-тип-имя:

идентификатор