Возможности стандартной библиотеки описаны в приложении Б.

Стандарт языка C++ определен комитетом, работающим под эгидой ISO (International Organization for Standardization — Международная организация по стандартизации) в сотрудничестве с национальными стандартными комитетами, такими как INCITS (США), BSI (Великобритания) и AFNOR (Франция). Действующим стандартом считается документ ISO/IEC 14882:2003 Standard for Programming Language C++. Он доступен как в электронном виде, так и в виде обычной книги: The C++ Standard, опубликованной издательством Wiley (ISBN 2870846747).

В стандарте языка C++ даны следующие определения программы на языке C++ и разных его конструкций.

• Соответствие стандарту. Программа, написанная на языке C++ в соответствии со стандартом, называется соответствующей стандарту (conforming), или легальной (legal), или корректной (valid).

• Зависимость от реализации. Программа может зависеть (и обычно зависит) от свойств (таких как размер типа

или числовое значение символа ), которые точно определены только для заданного компилятора, операционной системы, машинной архитектуры и т.д. Свойства языка, зависящие от реализации, перечислены в стандарте и должны быть указаны в сопроводительной документации компилятора, а также в стандартных заголовках, таких как (см. раздел Б.1.1). Таким образом, соответствие стандарту не эквивалентно переносимости программы на разные реализации языка C++ .

• Неопределенность. Смысл некоторых конструкций является неустановленным точно (unspecified), неопределенным (undefined) или не соответствующим стандарту, но не диагностируемым (not conforming but not requiring a diagnostic). Очевидно, что такие свойства лучше не использовать. В этой книге их нет. Перечислим неопределенные свойства, которых следует избегать.

• Несогласованные определения в разных исходных файлах (используйте заголовочные файлы согласованно; см. раздел 8.3).

• Повторное чтение и запись одной и той же переменной в выражении (основным примером является инструкция

).

• Многочисленные явные преобразования типов (приведения), особенно

.

В программе на языке С++ должна быть отдельная глобальная функция с именем

. Программа начинается с выполнения именно этой функции. Значение, возвращаемое функцией , имеет тип (альтернативный тип не соответствует стандарту). Значение, возвращаемое функцией , передается системе. Некоторые системы игнорируют это значение, но признаком успешного завершения программы является нуль, а признаком ошибки — ненулевое значение или исключение, оставшееся не перехваченным (правда, такие исключения считаются признаком плохого стиля).

Аргументы функции

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

В определении функции

явно указывать тип возвращаемого значения не обязательно. В таком случае программа, дойдя до конца, вернет нуль. Вот как выглядит минимальная программа на языке C++:

Если вы определили глобальный (в пространстве имен) объект, имеющий конструктор и деструктор, то вполне логично, чтобы конструктор выполнялся до функции

, а деструктор — после функции . Формально говоря, выполнение таких конструкторов является частью вызова функции , а выполнение деструкторов — частью возвращения из функции . При малейшей возможности постарайтесь избегать глобальных объектов, особенно если они требуют нетривиального создания и уничтожения.

Все, что можно сказать в программе, должно быть сказано. Однако в языке C++ есть два стиля комментариев, позволяющие программистам сказать то, что невозможно выразить с помощью кода.

Очевидно, что блоки комментариев чаще всего оформляются как многострочные комментарии, хотя некоторые люди предпочитают разделять их на несколько однострочных.

Комментарии играют важную роль для документирования предназначения кода; см. также раздел 7.6.4.

Литералы представляют значения разных типов. Например, литерал 12 представляет целое число двенадцать, литерал "

" — символьную строку Morning, а литерал — булево значение true.