Основные понятия

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

Программа на C++ — это последовательность текстовых файлов (обычно заголовочных и исходных файлов), содержащих объявления. Они проходят трансляцию, в результате которой получается исполняемая программа. Она выполняется, когда реализация C++ вызывает её главную функцию.

Некоторые слова в программе на C++ имеют специальное значение и называются ключевыми словами. Другие могут использоваться как идентификаторы. Комментарии игнорируются при трансляции. Программы на C++ также содержат литералы; значения символов внутри них определяются наборами символов и кодировками. Некоторые символы в программе должны представляться с помощью последовательностей escape.

Сущностями программы на C++ являются значения, объекты, ссылки, структурированные привязки(начиная с C++17), привязки результата(начиная с C++26), функции, перечислители, типы, члены классов, шаблоны, специализации шаблонов, пакеты(начиная с C++11) и пространства имён. Макросы препроцессора не являются сущностями C++.

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

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

Имена, встречающиеся в программе, связываются с объявлениями, которые их ввели, с помощью поиска имён. Каждое имя действительно только в той части программы, которая называется его областью видимости. Некоторые имена обладают связыванием, благодаря которому они обозначают одни и те же сущности, когда встречаются в разных областях видимости или единицах трансляции.

Каждому объекту, ссылке, функции и выражению в C++ соответствует тип, который может быть фундаментальным, составным или определённым пользователем, полным или неполным и т. д.

Объявленные объекты и объявленные ссылки, не являющиеся нестатическими членами данных, — это переменные .

См. также

Документация по C для Основные понятия