Приложение C. Перечень изменений

С момента публикации первого издания этой книги определение языка Си претерпело изменения. Почти все нововведения — это расширения исходной версии языка, выполненные так, чтобы сохранилась совместимость с существующими программами; некоторые изменения касаются устранения двусмысленностей первоначального описания, а некоторые представляют собой модификации, привнесенные существующей практикой. Многие из новых возможностей, впоследствии принятые другими разработчиками Си-компиляторов, были первоначально объявлены в документах, прилагаемых к компиляторам. Комитет ANSI, подготавливая стандарт языка, включил большинство этих изменений, а также ввел другие значительные модификации. Некоторые коммерческие компиляторы реализовали их еще до выпуска официального Си-стандарта.

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

В стандарте более тщательно, по сравнению с первым изданием, определено и расширено препроцессирование: в его основу явно положены лексемы; введены новые операторы для «склеивания лексем» (##) и создания стрингов (#), а также новые управляющие строки типа #elif и #pragma; разрешено повторное определение макроса с той же последовательностью лексем; отменена подстановка параметров внутри стрингов. Разрешено склеивание строк при помощи \ в любом месте, но только не в стрингах и макроопределениях.
Минимальное число значимых литер всех внутренних идентификаторов доведено до 31; для идентификаторов с внешней связью оно остается равным 6 с неразличимостью букв на верхнем и нижнем регистрах. (Многие реализации допускают большее число значимых литер.)
Для знаков # \ ^ [ ] { } | ~, которых может не быть в некоторых наборах литер, введены трехзнаковые последовательности, начинающиеся с ?? (См. A12.1). Следует заметить, что введение трехзнаковых последовательностей может «испортить» значения стрингов, в которых содержатся ??.
Введены новые ключевые слова (void, const, volatile, signed, enum), а мертворожденное слово entry из обращения изъято.
Для литеральных констант и стринговых литералов определены новые эскейп-последовательности. Объявлено, что появление за \ «неправильных» литер приводит к непредсказуемому результату (См. A2.5.2.)
Узаконено полюбившееся всем тривиальное изменение: 8 и 9 не являются восьмеричными цифрами.
Введен расширенный набор суффиксов для явного указания типов констант: U и L — для целых и F и L — для плавающих. Уточнены также правила определения типа для констант без суффиксов (A2.5).
Объявлено, что соседние стринги конкатенируются.
Предоставлены средства, позволяющие записывать стринговые литералы и литерные константы из расширенного набора литер (A2.6).
Объект типа char (как и объект другого типа) можно специфицировать явно со знаком или без знака. Исключается использование словосочетания long float в смысле double, но вводится тип long double для чисел с плавающей точкой повышенной точности.
С некоторых пор доступен тип unsigned char. Стандарт вводит ключевое слово signed для явного указания знаковости char и других целочисленных объектов.
Уже несколько лет в большинстве реализаций доступен тип void. Стандарт вводит void * в качестве типа обобщенного указателя; раньше для этой цели использовали char *. Одновременно вступают в силу правила, по которым запрещается без преобразования типа «смешивать» указатели и целые или указатели разных типов.
Стандарт устанавливает минимальные пределы диапазонов арифметических типов, предусматривает головные файлы <limits.h> и <float.h>, в которых помещаются эти характеристики для каждой конкретной реализации.
Перечисление — новый тип, которого не было в первой редакции.
Стандарт заимствует из Си++ способ записи квалификатора типа, в частности квалификатора const (A8.2).
Вводится запрет на модификацию стрингов; это значит, что их разрешается размещать в памяти, доступной только на чтение.
Изменены «обычные арифметические преобразования», по существу, осуществлен переход от «для целых всегда превалирует unsigned; для плавающей точки всегда используется double» к «повышению до минимального достаточно вместимого типа». (См. A6.5.)
Отменены старые операторы присваивания типа =+. Каждый оператор присваивания теперь представляется одной отдельной лексемой. В первом издании оператор присваивания мог изображаться парой литер, возможно, разделенных пробельными литерами.
Компиляторам более не разрешается трактовать математическую ассоциативность операторов как вычислительную ассоциативность.
Введен унарный оператор + для симметрии с унарным -.
Разрешено использовать указатель на функцию в качестве ее именователя без явного оператора *. (См. A7.3.2.)
Со структурами разрешено оперировать как с целыми объектами при присваиваниях, передачах их в качестве аргументов функциям и получении их в качестве результата от функций.
Разрешено применять оператор получения адреса & к массиву; результатом будет указатель на массив.
В первой редакции результат sizeof-операции имел тип int; во многих реализациях он заменен на unsigned. Стандарт официально объявляет его реализационно-зависимым, но требует, чтобы он был определен в головном файле <stddef.h> под именем size_t. Аналогичное изменение было сделано в отношении типа разности указателей, который теперь выступает под именем ptrdiff_t. (См. A7.4.8 и A7.7.)
Запрещено применять оператор получения адреса & к register-объекту даже тогда, когда данный компилятор не располагает его на регистре.
Типом результата операции сдвига является тип ее левого операнда; тип правого операнда на повышение типа результата влияния не оказывает. (См. A7.8.)
Стандарт разрешает адресоваться при помощи указателей на место, лежащее сразу за последним элементом массива, и позволяет оперировать с такими указателями, как с обычными. (См. A7.7.)
Стандарт вводит (заимствованный из Си++) способ записи прототипа функции с включением в него типов параметров и явного указания о варьируемости их числа и формализует метод работу с переменным списком аргументов. (См. A7.3.2, A8.6.3, B7.) С некоторыми ограничениями доступен старый способ записи.
Стандартом запрещены пустые декларации, т.е. такие, в которых нет деклараторов и не декларируется ни одной структуры, объединения или перечисления. Однако декларация с одним тегом структуры (или объединения) передекларирует ее даже в том случае, если она была объявлена во внешней области действия.
Запрещены декларации внешних данных, не имеющие спецификаторов и квалификаторов (т.е. декларации с одним «голым» декларатором).
В некоторых реализациях, когда extern-декларация расположена во внутреннем блоке, ее действие распространяется на остальную часть файла. Стандарт вносит ясность в эту ситуацию и объявляет, что область действия такой декларации ограничена блоком.
Область действия параметров «вставляется» в составную инструкцию, представляющую собой тело функции, так что декларации на верхнем уровне функции не могут их «затенить».
Несколько изменены именные пространства идентификаторов. Всем тегам структур, объединений и перечислений стандарт выделяет одно именное пространство; для меток инструкций вводится отдельное именное пространство; см. A11.1. Кроме того, имена членов связаны со структурой или объединением, частью которой они являются. (С некоторых пор это общепринятая практика.)
Допускается инициализация объединения; инициализатор относится к первому члену объединения.
Разрешается инициализация автоматических структур, объединений и массивов, хотя и с некоторыми ограничениями.
Разрешается инициализация массива литер при помощи стрингового литерала по точному количеству указанных литер (без \0).
Управляющее выражение и case-метки в switch могут иметь любой целочисленный тип.