~/cpp/glossary/
247 терминов из 10 лекций. Определения, примеры и ссылки на главы, в которых они встречаются.
Показано терминов: 247 из 247
automatic storage · Automatic storage duration
Способ хранения объектов, время жизни которых обычно связано с блоком.
Локальные объекты без static/thread_local обычно существуют в рамках выполнения своего блока; место хранения может быть реализовано через стек.
Return address
Место продолжения выполнения программы после завершения вызванной функции.
Address · Object address
Значение, позволяющее ссылаться на место размещения объекта. Для объяснений ниже используются условные адреса.
Amortized complexity
Анализ стоимости серии операций вместо стоимости одного худшего случая.
vector::push_back — O(1) амортизированноdefault argument
выражение, подставляемое при вызове, когда соответствующий аргумент не указан.
Подставляемое выражение при пропуске соответствующего аргумента вызова.
Pointer arithmetic
Сдвиг указателя на кратное sizeof(T) в пределах разрешённого массива.
Переход между элементами массива по смещениям в элементах, а не в байтах.
p + 2Big O · O(f(n))
Описывает рост времени или памяти при увеличении размера входных данных.
O(1), O(log n), O(n)associativity · Operator associativity
Правило синтаксической группировки операторов равного приоритета. Не следует путать с математической ассоциативностью операции (a+b)+c = a+(b+c).
Группировка операторов одного приоритета; это не порядок вычисления.
a=b=c → a=(b=c)позволяет искать данные по ключу. map хранит пары ключ → значение, а set — уникальные значения.
Top-level const
const применяется к объекту непосредственно, например int* const p.
Константность самой переменной-указателя: int* const.
else
Выбор выполняемых действий по условию. В конструкции if / else одна ветвь выполняется при истинном условии, другая — при ложном.
if (value > 0) { /* положительное */ } else { /* остальные */ }Address-of operator · address-of
Унарный оператор &x, формирующий указатель на объект x.
Dangling reference
ссылка, объект назначения которой уже не существует. Попытка читать или изменять через неё уничтоженный объект приводит к неопределённому поведению (UB).
Ссылка, объект назначения которой уже уничтожен.
Ссылка, связанная с объектом, время жизни которого завершилось.
Ссылка, которая больше не обозначает живой объект; использование объекта через неё — UB.
dangling pointer
Указатель, указывавший на уже уничтоженный объект.
p = &x; // x разрушенАдрес сохранён, но объекта по нему больше нет. В отличие от утечки указатель здесь остался, а объект уже уничтожен.
Указатель, который больше не указывает на живой объект, хотя сохраняет прежнее значение адреса.
return statement · return
Завершение текущего вызова функции и передача результата, если её тип предусматривает возвращаемое значение. Инструкция return с выражением возвращает значение; return без выражения используется для досрочного выхода из void-функции.
int square(int value) { return value * value; }return by reference
функция с возвращаемым типом T&, результат которой обозначает уже существующий объект. Такой результат обычно является lvalue, поэтому ему можно присвоить значение.
Функция с типом результата T&, отдающая доступ к уже существующему объекту.
temporary
Объект, существующий обычно до конца полного выражения, если его жизнь не продлена.
Runtime
Период, когда уже собранная программа запущена и выполняет действия: читает данные, вызывает функции, вычисляет значения и выводит результат. Compile time — время сборки, когда компилятор проверяет код и переводит его в исполняемую форму.
Этап работы программы после компиляции и запуска.
std::cin >> x;Этап, на котором программа уже исполняется. int x = 5; связывает имя с типом при компиляции; значение x изменяется во время выполнения.
Период, когда уже запущенная программа выполняет машинные инструкции.
object lifetime
Период, в течение которого объект существует в модели C++.
{ int x = 5; }Промежуток, в течение которого объект существует согласно правилам C++. У автоматических локальных объектов срок обычно заканчивается при выходе из соответствующего блока.
Период существования объекта в C++.
in-out parameter
Параметр, через который функция может изменить объект аргумента.
in-parameter
Параметр, который функция использует как исходные данные, не изменяя объект вызывающего кода.
Overload resolution
Определение наиболее подходящей функции по типам аргументов и допустимым преобразованиям.
Правила выбора наиболее подходящей функции среди одноимённых кандидатов по аргументам и преобразованиям.
new[]
Создаёт последовательность динамических объектов и возвращает указатель на первый.
Alignment
Expression
Конструкция языка, которая вычисляется и может иметь значение, тип и категорию значения.
x + 5Комбинация операций и операндов, имеющая тип и категорию значения.
x + 5out-of-bounds
Доступ за пределы допустимых элементов; ведёт к UB.
global namespace scope
Область вне тел функций, классов и явно объявленных пространств имён. Здесь можно объявлять переменные, функции, типы и пространства имён. Имя, объявленное здесь, доступно в допустимых местах после объявления, если его не скрывает другое имя.
binary mode · std::ios::binary
Режим работы с файлом без преобразований текстового режима. Сам по себе не задаёт формат записей: их структуру и размер определяет программа.
std::ifstream input("data.dat", std::ios::binary);pointer-to-pointer
Например int** p — указатель на объект типа int*.
массив, элементы которого сами являются массивами: int a[2][3] содержит 2 строки по 3 int в последовательной области памяти.
declarator
часть объявления, которая описывает имя и форму типа: указатель, ссылка, массив или функция. Скобки определяют порядок связывания этих конструкций.
Часть объявления, связывающая имя с конструкцией типа: *, &, [], ().
Diagnostics
Сообщения компилятора о найденных ошибках и подозрительных конструкциях.
error, warning, noteСообщения компилятора и инструментов о возможных или обязательных ошибках, с указанием места и часто предлагаемого исправления.
dynamic array · std::vector
Последовательность непрерывно расположенных элементов, размер которой может изменяться во время выполнения. В C++ стандартный контейнер std::vector управляет такой последовательностью. Размер и вместимость различаются; перевыделение памяти может сделать старые адреса элементов недействительными.
std::vector<int> values{2, 4, 6};хранит элементы подряд в памяти, расширяя выделенный буфер при необходимости. Доступ по индексу — O(1).
Последовательность подряд расположенных элементов с возможностью изменять размер.
std::vector<int> vсоздание объекта с помощью new во время выполнения программы. Возвращается указатель, а время жизни объекта не связано напрямую с областью видимости самого указателя.
dynamic storage · Dynamic storage duration
Время жизни объекта управляется выделением и освобождением памяти.
Память для объекта запрашивается во время работы программы и освобождается отдельным действием.
preprocessor directive · #include
Указание для предварительной обработки исходного текста перед компиляцией. Например, #include подключает содержимое заголовка, чтобы программе были доступны нужные объявления.
#include <iostream>std::strlen
Количество символов до первого , без терминатора.
Storage duration
свойство объекта, определяющее, как долго для него существует хранилище. В этой лекции изучаются статическая, автоматическая и динамическая длительности хранения.
Категория времени, в течение которого предоставлено хранилище объекта: автоматическая, статическая, динамическая, а также thread-local.
Use-after-free
read-only access
Разрешает наблюдать объект через данное выражение, не позволяя изменять его таким путём.
capacity()
Количество элементов, которое вектор способен разместить без нового выделения памяти.
v.capacity()maximal munch
Лексер выбирает максимально длинную последовательность символов, которая образует допустимый токен. Поэтому слитная запись нескольких + не обязательно означает ожидаемые бинарные и унарные операторы.
Maximal munch
Предпочтение максимально длинного допустимого токена.
a+++b → a++ + bImplementation-defined Behavior
Из набора допустимых вариантов выбирается и документируется вариант реализации.
sizeof(int) на платформеРеализация выбирает и документирует один из разрешённых стандартом вариантов.
closure
Вызываемый объект лямбды вместе с её захваченным окружением. Захват по значению сохраняет собственную копию настройки, которую лямбда использует при последующих вызовах.
decay
Разговорное название потери массивной формы при преобразовании в указатель.
Identifier
Ссылка и исходное имя ведут к одному объекту, а не к двум объектам, которые «синхронизируются».
index
Смещение от нулевого элемента; у массива из N элементов допустимы 0…N−1.
Initialization
Задание начального состояния объекта при создании. Не равно последующему присваиванию.
int x{5};Получение объектом начального состояния при создании. int x = 5; определяет и инициализирует переменную. int x; тоже определяет переменную, но локальный int остаётся без заданного значения.
Задание начального состояния объекта при его создании.
Предоставление объекту начального значения при создании; new int{} и new int имеют разные свойства.
array initialization
new int[n]{} обнуляет все элементы; new int[n] без инициализатора не задаёт значения элементов int.
statement
Грамматическая единица, например выражение-инструкция или цикл
x += 1;, if(...)Грамматическая единица тела функции: объявление, выражение-инструкция, блок, условие или цикл.
x += 1; / if (x) {}Единица языка, исполняемая в потоке управления; не всякий знак относится к оператору.
if, while, x++;Самостоятельная грамматическая конструкция: объявление, выражение-инструкция, блок {...}, управление if / for / while и др.
Грамматическая конструкция в теле функции: выражение-инструкция, объявление, цикл, блок и др.
x++; / if (x) {}break statement · break
Завершает ближайший охватывающий цикл или switch. Выполнение продолжается после завершённой конструкции.
if (found) break;continue statement · continue
Переходит к следующему повторению ближайшего цикла. В for перед новой проверкой условия выполняется выражение шага.
if (value == 0) continue;Exception
Механизм передачи управления обработчику ошибки через throw/catch. Не равно сигналу SIGFPE.
Механизм обработки нештатных ситуаций через throw/catch.
std::out_of_rangestd::unique_ptr
Iterator
Объект, с помощью которого можно обратиться к элементу контейнера и переходить к следующему. find() возвращает итератор найденного элемента либо end().
Объект, указывающий на элемент контейнера и позволяющий обходить его.
m.find(key)Stack frame
Набор данных одного вызова функции. Кадры обычно добавляются при вызове и снимаются при возврате.
Часть стека, относящаяся к конкретному вызову функции; может включать локальные значения, служебные данные, сохранённые регистры.
lvalue · prvalue · xvalue
Упрощение «lvalue — можно писать слева от =» удобно на старте, но неточно: существуют const-lvalue, которым присваивать нельзя. Категории описывают свойства выражений, а не просто место относительно знака равно.
value category
Классификация выражений C++: lvalue, xvalue, prvalue и их объединения.
const дополняет тип. В записи int const x = 5; смысл тот же, что у const int x = 5;.
comparator
Функция-предикат, отвечающая, должен ли первый элемент идти раньше второго.
Функция или объект, реализующий требуемое отношение порядка для сравнения.
Linking
Связка объектных файлов и библиотек, разрешение внешних ссылок.
undefined referenceend of file · EOF · eof()
Состояние потока, устанавливаемое после операции, обнаружившей конец входных данных. Предварительная проверка eof() не гарантирует успешность следующего чтения.
while (input >> value) { /* обрабатываем прочитанное */ }const correctness
Согласованное ограничение прав модификации через интерфейсы программы.
const reference
Ссылка const T&, не позволяющая изменять объект через неё.
const T& r: доступ к T без права его менять через r.
const
Квалификация типа, ограничивающая возможность модифицировать объект через соответствующее выражение.
квалификатор типа, ограничивающий допустимые операции модификации через соответствующее выражение. const int и int — разные cv-квалифицированные формы типа.
const object
Объект с константно-квалифицированным типом.
const pointer
T* const p: p нельзя переназначить; объект *p менять можно, если T не const.
const pointer to const
const T* const p: ни p, ни *p нельзя менять через p.
Container
Тип стандартной библиотеки для хранения и управления набором элементов.
vector, map, setstd::array
std::vector
Владеющий динамический массив, управляющий памятью автоматически.
copy
Отдельный объект, инициализированный значением другого объекта.
copy
Отдельный объект, созданный из другого объекта или значения.
Short-circuit evaluation
Правый операнд && не вычисляется при ложном левом, а || — при истинном левом.
p != nullptr && *p > 0array parameter adjustment
int a[5] в параметре функции имеет тип int*.
Heap
Структура с инвариантом приоритетов; корень max-heap хранит максимальный элемент.
std::priority_queueLexical analyzer
Разбивает исходный текст программы на токены.
int x = 5; → int / x / = / 5 / ;Literal
Запись конкретного значения прямо в программе: 5, 3.14, 'A', "abc". Вид записи влияет на тип значения.
static local
объект с блочной областью видимости, но со статической длительностью хранения. Его значение сохраняется между вызовами функции.
Имя видно в блоке, однако хранилище существует весь срок программы; инициализация выполняется один раз.
lambda expression
Выражение, создающее вызываемый объект с описанным поведением. У самой лямбды нет обычного имени функции, но её можно сохранить в переменную и вызывать через неё: auto twice = [](int value) { return value * 2; };.
significand · exponent
Значащая часть хранит точные цифры, а показатель степени определяет масштаб. Поэтому расстояние между представимыми числами растёт с увеличением модуля числа.
array
объект, состоящий из фиксированного числа элементов одного типа, расположенных подряд в памяти. Длина входит в тип массива.
Объект фиксированного размера из элементов одного типа, размещённых подряд.
VLA
Массив, размер которого узнаётся только во время выполнения. Для переносимого C++ используем std::vector<int> a(n);.
Нестандартное для C++ расширение: размер массива известен лишь во время выполнения.
array of references
Недопустимая форма типа в C++.
array of pointers
Массив, каждый элемент которого имеет тип указателя.
delete[]
Парные формы создания и уничтожения массива объектов.
multidimensional array
Массив, элементы которого являются другими массивами.
Правила добавления const на вложенных уровнях указателей; для допустимого преобразования могут потребоваться дополнительные квалификаторы на промежуточных уровнях.
nested pointer
Например T** — указатель на указатель T*.
set · std::set
Набор уникальных значений. Повторное добавление того же значения не создаёт второй элемент. std::set хранит значения в порядке, заданном компаратором.
std::set<int> values{1, 1, 2}; // два разных элементаambiguous call
Ситуация, когда ни одна из допустимых перегрузок не является однозначно лучшей.
Contiguous storage
Unspecified Behavior
Допустимо несколько вариантов; выбор можно не документировать.
порядок независимых аргументовСтандарт разрешает несколько определённых вариантов поведения, не требуя документировать конкретный выбор.
Unspecified order
Стандарт допускает несколько вариантов порядка, каждый из которых может давать разные результаты.
f(a(), b())implicit conversion
Автоматическое преобразование типов по правилам языка.
Low-level const
const применяется к объекту за указателем или ссылкой, например const int*.
Константность объекта под указателем: const int*.
null terminator
Символ , значение char с кодом 0, обозначает конец C-строки.
null-terminated string
последовательность символов char, конец которой обозначается первым символом \0.
reference_wrapper
std::reference_wrapper<T> — копируемая обёртка для ссылки, применимая в контейнерах.
Scope
Часть программы, в которой имя может быть найдено при поиске имён.
Внутренние блоки затеняют внешние именаdata · Data segment
Собирательное название областей для данных со статической длительностью хранения (в реальности это несколько секций, например .data и .bss).
Pointer-based swap
Функция получает адреса и изменяет исходные объекты через разыменование.
swap_by_ptr(&x, &y)value-initialization
При int a[5]{} элементы инициализируются нулями.
Object
Область хранения, имеющая тип и время жизни. Переменная — именованный объект или ссылка; временные объекты также существуют.
int x = 5;Область хранения с типом и временем жизни в модели объектов C++.
int x = 5;Declaration
Вводит имя и сообщает компилятору, что за сущность обозначается этим именем. void f(int); объявляет функцию, но не задаёт её тело.
Вводит имя сущности в программу и сообщает компилятору сведения о ней.
void f(int);Сообщает о существовании сущности и вводит её имя.
void f(int);operator
Comma operator
Бинарное выражение (e1, e2): гарантирует вычисление e1 перед e2 и имеет результат и категорию значения e2. В списках аргументов запятые служат разделителями, а не этим оператором.
operator[]
Вектор возвращает ссылку на выбранный элемент при неконстантном доступе.
sizeof · sizeof operator
Даёт размер типа или выражения в байтах; не возвращает количество элементов указателя.
Специальный оператор языка, возвращающий размер типа / объекта в единицах sizeof(char). Для обычных типов C++ не вычисляет само выражение-операнд sizeof(expr).
Возвращает размер типа или объекта в байтах, не число элементов контейнера.
sizeof(int)delete-expression
Уничтожает объект, ранее созданный соответствующим new, и освобождает выделенную память.
new-expression
Создаёт объект в динамической памяти, инициализирует его и возвращает указатель.
Definition
Даёт определение сущности. void f(int x) {} одновременно объявляет и определяет функцию. Всякое определение — объявление, но не наоборот.
Объявление, дающее полное описание сущности либо создающее её, в зависимости от вида сущности.
int x = 5; / void f() {}Даёт определение сущности: для функции — тело, для переменной — чаще всего сам объект.
void f(int x) { }Optimization
Преобразование кода с целью эффективности при сохранении требуемого наблюдаемого поведения корректной программы.
Преобразования программы для эффективности с сохранением поведения корректного кода.
-O2CE · compile error
Программа не удовлетворяет ограничениям языка и требует диагностики.
linker error
Ошибка объединения единиц трансляции, например из-за отсутствующего определения функции.
Тип T& в списке параметров позволяет изменять объект, переданный аргументом. Для чтения крупных объектов обычно используют const T& (подробнее — в «Дополнительно»).
new[] / delete[]
new T[n] должно соответствовать delete[], а new T — delete. Несовпадение — UB.
Function overloading
Несколько функций с одним именем, но разными наборами типов параметров.
f(int), f(double)function overloading
Несколько функций с одним именем, различающиеся допустимыми параметрами.
function overloading
Наличие нескольких функций с одинаковым именем и различающимися сигнатурами.
Объявление нескольких функций с одинаковым именем и различными параметрами.
pass by value
Параметр функции создаётся как отдельный объект.
f(x) получает копию intсоздаёт отдельный параметр функции. Передача по ссылке позволяет функции обращаться к исходному объекту вызывающего кода без ручных & и *.
Создание отдельного объекта-параметра из аргумента вызова.
Образуется самостоятельный объект-параметр; его изменения не затрагивают аргумент.
Функция получает собственный параметр-объект.
pass by reference
Параметр функции с типом T&, который обозначает объект аргумента.
Параметр именует исходный объект без копирования всего объекта.
Функция получает новое имя исходного объекта аргумента.
switch statement · switch
Конструкция выбора по значению выражения. В C++ switch сопоставляет значение с метками case; default используется для остальных значений. Инструкция break завершает выполнение switch.
switch (choice) { case 1: break; default: break; }Variable
Объявленная сущность с именем; для привычных переменных типа int это именованный объект, содержимое которого можно менять.
int x = 5; x = 9;Stack overflow
Исчерпание доступного пространства стека. В типичных системах проявляется аварийным завершением, но точное поведение зависит от платформы и настройки исполнения.
Исчерпание пространства стека, часто при слишком глубокой рекурсии либо крупных автоматических объектах.
Side effect
Изменение состояния при вычислении выражения: запись памяти, вывод и т. п.
x++Double delete
Повторное освобождение одного динамического объекта через указатель: UB.
Promotion
Вид стандартного преобразования, например char → int либо float → double в определённых контекстах.
char c='a'; int n=c+1;Повышение обычно предпочтительнее обычной конверсии при выборе перегрузки.
float → double (promotion)array parameter adjustment
правило объявления функций: параметр вида int a[5] интерпретируется как int* a. Указанная цифра не задаёт реального ограничения длины.
file position · tellg() · seekg()
Место в потоке, откуда производится чтение или куда выполняется запись. Позиция потока и номер числовой записи — разные понятия; номер записи считают отдельным счётчиком.
auto position = input.tellg();
input.clear();
input.seekg(0);full-expression
Контекст вычисления; в простых случаях выражение до завершающей точки с запятой.
half-open range
[first,last): включает first и исключает last.
Order of evaluation
Правила, какие вычисления и побочные эффекты предшествуют другим.
f()+g() — порядок вызовов не указанpostfix increment
x++ для int возвращает прежнее значение как prvalue.
Объект для последовательного ввода или вывода данных с состоянием ошибок.
std::cin, std::coutstd::span
Qualification conversion
Стандартное преобразование cv-квалификации при соблюдении правил безопасности.
Преобразование, меняющее cv-квалификацию типа по правилам языка; простое добавление const на первом уровне безопасно.
Array-to-pointer conversion
В выражениях массив часто превращается в указатель на первый элемент.
неявное преобразование выражения типа «массив из N элементов T» в указатель T* на его начальный элемент в соответствующем контексте.
implicit conversion
При несовпадении ожидаемого и фактического типов компилятор иногда вставляет преобразование. Оно может быть безопасным (char → int) или с потерей информации (double → int).
function-to-pointer conversion
В подходящем контексте имя функции неявно превращается в указатель на неё.
lvalue-to-rvalue
Чтение значения объекта, когда требуется значение вместо идентичности.
prefix increment
++x для обычного int возвращает lvalue после изменения x.
Operator precedence
Определяет синтаксическую группировку операторов разных уровней.
a+b*c → a+(b*c)assignment
Операция изменения значения существующего объекта, не переназначающая ссылку.
lifetime extension
Применимое в определённых условиях увеличение времени жизни временного объекта при связывании с ссылкой.
namespace
область, которая группирует имена. Имя n::x явно указывает: ищем x в n. Это помогает разделять код больших проектов.
Логическая область для группировки имён и защиты от их конфликтов.
namespace math { int x=2; }procedure
Учебное название функции с типом результата void. Она выполняет действие, например выводит сообщение или изменяет данные через параметры, но не возвращает значение вызывающему коду. Главное отличие от функции с результатом: вызов процедуры нельзя использовать там, где нужно число или другое значение. Отдельной конструкции procedure в C++ нет — используется обычная void-функция.
void printMessage() {
std::cout << "Готово\n";
}
// Вызов printMessage() выполняет вывод, но не возвращает значение.Учебное название функции с типом результата void. Она выполняет действие, но не возвращает значение вызывающему коду. В C++ отдельной конструкции procedure нет: процедура записывается как обычная функция.
alias
Дополнительное имя того же объекта; ссылку можно понимать именно так.
Type alias
Конструкция using Int = long long; задаёт ещё одно имя того же типа, не создавая нового отдельного типа. typedef позволяет делать подобное, но хуже читается для сложных типов и не поддерживает alias templates.
Другое имя уже существующего типа, а не новый отдельный тип.
using VI=std::vector<int>;size()
extent
dereference
Применение оператора * к указателю для получения выражения, обозначающего объект по адресу.
Унарный * предоставляет доступ к объекту по указателю.
*p = 5;Оператор *p, обращающийся к объекту, на который указывает p.
append mode · std::ios::app
Режим записи в конец файла с сохранением прежнего содержимого. В C++ режим std::ios::app устанавливает позицию в конец перед каждой записью.
std::ofstream output("result.txt", std::ios::app);Recursion
Вызов функции самой себя напрямую или через другие функции.
Sanitizer
Инструментальная проверка исполнения для обнаружения некоторых категорий ошибок.
-fsanitize=address,undefinedGarbage collection
free store
Область или механизм динамического выделения памяти. «Куча» — распространённая реализация, а не отдельная категория хранения в стандарте.
reference initialization · binding
Начальная привязка ссылки к объекту; после этого нельзя переназначить ссылку.
Инициализация ссылки с указанием объекта назначения.
text · Text segment
Область образа процесса, где обычно расположен исполняемый машинный код.
Semantics
Правила допустимости действий и связей между именами, типами и операциями.
string * 3 — нет подходящего оператораmove semantics
Передача ресурсов/состояния из исходного объекта без обычного глубокого копирования, когда допустимо.
semantic error
Код удаётся разобрать по грамматике, но действие невозможно по правилам языка или недопустимо для указанных сущностей.
signature
Информация о параметрах функции и других признаках, используемая при различении перегрузок.
Syntax
Правила допустимой структуры конструкций программы.
x = 5 + ; — некорректный синтаксисdictionary · map · std::map
Структура данных для хранения пар «ключ — значение» и поиска значения по ключу. Например, std::map хранит уникальные ключи в порядке, заданном компаратором.
std::map<std::string, int> counts;shadowing
Во внутренней области объявлено имя x; обычный поиск выбирает внутреннее x, хотя внешнее продолжает существовать. При выходе из блока внутреннее перестаёт быть видимым.
stream state
Поток хранит флаги ошибок. После неудачного чтения устанавливается failbit; при достижении конца ввода — eofbit; при серьёзной ошибке — badbit. Проверка потока в if истинна, когда не установлены failbit и badbit.
aggregate initialization
int a[5]{2, 3}; задаёт первые два элемента, а остальные обнуляет. Размер можно вывести из списка: int a[]{2,3,4};.
Задание элементов массива через список в фигурных скобках.
reference
другое имя уже существующего объекта или функции. Запись T& r = x; связывает r с x без создания нового объекта типа T.
Другое имя уже существующего объекта или функции; объявление T&.
Другое имя объекта или функции, которому ссылка связана при инициализации.
reference to array
Не преобразуется в указатель при связывании: int (&r)[5] = a; означает, что r — другое имя всего массива.
Например int (&r)[5] = a — другое имя всего массива a.
reference to pointer
Например int*& r = p — второе имя переменной-указателя p.
reference to function
Например void (&r)(int) = f — другое имя функции.
standard streams · std::cin · std::cout · std::cerr
Потоки ввода и вывода, предоставленные стандартной библиотекой: std::cin читает данные, std::cout выводит обычные результаты, std::cerr — сообщения об ошибках. Состояние входного потока нужно проверять.
std::cin >> count;
std::cout << count;тип каждой переменной известен при компиляции и не меняется на протяжении существования этой переменной.
static storage · Static storage duration
Длительность хранения, охватывающая выполнение программы.
Память для объекта существует в течение всей работы программы.
call stack · Stack
механизм выполнения вложенных вызовов функций. Обычно организован как набор кадров, где есть локальные данные и информация для возврата к вызывающему коду.
Структура исполнения вызовов, в которой обычно хранятся кадры функций и часть локальных данных.
strict weak ordering
Математическое свойство компаратора, требуемое стандартными алгоритмами сортировки.
string · std::string
Последовательность символов для хранения и обработки текста. В C++ std::string управляет памятью и предоставляет размер, поиск и изменение содержимого; строка может быть пустой.
std::string message = "Hello";изменяемая последовательность символов. Индексация начинается с нуля, а size() возвращает длину без завершающего нуля.
string literal
В C++ литерал "abc" — массив const char[4] со статической длительностью хранения.
Выражение типа массива const char[N] в C++, обычно со статическим временем хранения.
string stream · std::istringstream
Поток, работающий с содержимым строки вместо файла или консоли. Например, std::istringstream позволяет извлекать числа и слова из уже прочитанной строки оператором >>.
std::istringstream row(line);В текстовом файле число 123 представлено символами, а в двоичном можно сохранить байты самого объекта. Содержимое двоичного файла не обязательно читается в текстовом редакторе.
conditional operator ?:
Встроенный оператор выбора одного из двух выражений. Другой операнд не вычисляется, что удобно для безопасного обращения к значениям, зависящего от условия.
Type
Определяет множество возможных значений объекта, допустимые операции и правила интерпретации данных.
int, double, bool, std::stringlexeme · Token
Минимальная единица, которую лексер распознал в исходном тексте: идентификатор, оператор, литерал или знак пунктуации.
Значимая лексическая единица исходного текста.
имя, литерал, оператор, скобкаentry point · main
Функция, с которой начинается основная работа обычной C++-программы после начальной подготовки среды выполнения. В C++ это main; возвращаемое ею целое число служит кодом завершения.
int main() { return 0; }Место, в которое среда выполнения передаёт управление для начала основной работы программы. В обычном приложении C++, запускаемом операционной системой, эту роль выполняет глобальная функция main.
delete[]
Уничтожает объекты и освобождает память массива, полученного через new[].
pointer
Объект с адресом другого объекта или особым нулевым значением.
int* p = &x;Объект, значение которого может хранить адрес другого объекта или функции.
pointer to const
const T* p: через p нельзя изменить *p; сам p может менять адрес.
pointer-to-array · pointer to array
Например int (*p)[5] указывает на весь объект типа int[5].
Например int (*p)[5], указывающий на весь массив int[5].
pointer to reference
Недопустимая форма типа в C++.
Pointer to pointer
Указывает на объект, который сам является указателем.
int** pp = &p;function pointer
значение, позволяющее обратиться к функции определённой сигнатуры через переменную. Например, bool (*cmp)(int,int).
Указатель, позволяющий вызвать функцию определённой сигнатуры.
Переменная-указатель на функцию указанного набора параметров и типа результата.
Stack pointer
Архитектурный регистр или механизм, обозначающий текущую позицию стека.
Pointee
Control flow
RAII
Подход C++: владение ресурсом принадлежит объекту, а освобождение производится его деструктором.
Управление ресурсами через время жизни объектов-владельцев.
Управление ресурсами через конструкторы, деструкторы и время жизни объектов-владельцев.
control-flow statement
Инструкция, меняющая прямолинейное исполнение программы: условия, циклы, переходы, switch.
Conditional operator
Memory leak
ситуация, когда программа оставляет выделение неосвобождённым, теряя возможность выполнить корректное освобождение. Особенно опасна в длительно работающих процессах.
Неосвобождённое выделение, к которому программа утратила доступ для корректного освобождения.
file stream · std::ifstream · std::ofstream
Объект, связывающий операции ввода или вывода с файлом. std::ifstream предназначен для чтения, std::ofstream — для записи; после открытия и операций проверяют состояние потока.
std::ifstream input("numbers.txt");
std::ofstream output("result.txt");function
Вызываемая сущность с параметрами и типом результата; её тело описывает действия. Функция с типом результата int, double и т. п. возвращает значение, которое можно сохранить или использовать в выражении. Функция с типом void значения не возвращает — в учебных материалах её называют процедурой. В C++ процедура тоже является функцией.
int square(int value) {
return value * value;
}
// Вызов square(4) возвращает 16.Hash table
Быстрый поиск по хешу ключа, среднее время операций O(1).
std::unordered_mapхранят дискретные значения. Размер большинства встроенных целых типов зависит от платформы. В таблице ниже указаны распространённые значения.
post-test loop · do while
Цикл, проверяющий условие после тела. Тело выполняется хотя бы один раз. В C++ это do while; после условия нужна точка с запятой.
do { ++attempts; } while (attempts < limit);pre-test loop · while
Цикл, проверяющий условие перед каждым выполнением тела. Если условие сразу ложно, тело не выполняется ни разу. В C++ так работает while.
while (remaining > 0) { --remaining; }count-controlled loop · for
Повторение действий, управляемое изменением счётчика. Обычно записывается через for с инициализацией, условием продолжения и шагом.
for (int i = 0; i < count; ++i) { /* тело */ }element
Отдельный объект внутри массива, доступный по индексу.
std::abort
Функция аварийного завершения программы.
std::terminate → std::abort (обычно)ASan
Разрешает реализации разные внутренние преобразования, пока наблюдаемое поведение корректной программы остаётся допустимым.
Оптимизатор свободен в допустимых изменениях внутренних действий при сохранении наблюдаемого поведения.
свёртка константТаблица кодов из 128 символов: управляющих знаков, латинских букв, цифр и пунктуации. Символ цифры и числовое значение — разные вещи.
'5' - '0' == 5variadic function
Функция с многоточием ..., принимающая дополнительные аргументы без полного списка типов.
C-string
Последовательность char, завершающаяся первым нулевым символом.
Свод рекомендаций по стилю, безопасности и проектированию C++.
Compilation error
Исходный код не проходит обязательные проверки компиляции.
unknown_name();Этап подготовки программы к исполнению: проверки корректности и преобразование исходного кода в машинный.
const T& — ссылка на cv-квалифицированный объект. Неконстантная T& не может связываться с const T.
Оператор приведения cv-квалификации; не разрешает запись в исходный действительно const-объект.
cv-qualification
const и volatile — квалификаторы типов; здесь рассматривается только const.
Fallthrough in switch
Когда управление переходит из тела одной case в последующую без выхода из switch. Может быть намеренным; тогда уместен [[fallthrough]]; (C++17).
Продолжение исполнения последующих case без break.
case 1: ...; case 2: ...;First in — first out
Первый добавленный элемент извлекается первым (очередь).
std::queueIll-formed, no diagnostic required
Нарушение правила языка, которое реализация не обязана диагностировать. Важно не рассчитывать на корректную работу даже после успешной сборки.
Некорректная программа, для которой реализация не обязана выдавать диагностику.
отдельные нарушения ODRLast in — first out
Последний добавленный элемент извлекается первым (стек).
std::stackValue category
Выражение, обозначающее идентифицируемый объект или функцию; не обязательно изменяемое.
x, ++xВыражение, обозначающее идентифицируемый объект или функцию; необязательно допускает присваивание.
x, *ptr, ++xКатегория выражения, обычно обозначающего конкретный объект или функцию.
*p, xКатегория выражения, способного обозначать объект или функцию, с идентичностью.
Категория значения выражения, обозначающего объект или функцию.
Когда требуется именно значение, C++ может неявно прочитать lvalue-объект. В int y = x; читается значение x и инициализируется новый объект y.
Null pointer literal
Ключевое слово типа std::nullptr_t для нулевого указателя.
int* p = nullptr;One Definition Rule
Набор требований к количеству и согласованности определений в одном translation unit и всей программе.
Обычная функция с внешним связыванием — одна definition в программеОграничение на определения сущностей в программе; детали зависят от вида сущности.
разные несовместимые определенияPast-the-end pointer
Допустимый указатель сразу за последним элементом, который нельзя разыменовывать.
v.data() + v.size()Pure rvalue · Value category
Выражение со значением, не обязательно обозначающее существующий именованный объект.
x+1, x++Категория выражения, вычисляющего значение или инициализирующего объект.
&x, x + 1Категория выражения-значения, например 5 или x++ для int.
Runtime error
Ошибка после запуска, например аварийное завершение процесса.
SIGSEGV, SIGFPE, terminateОбщее семейство prvalue и xvalue; включает временные результаты выражений.
x + 1, 42Общее понятие категории значений для prvalue и xvalue выражений.
rvalue reference
Специальный ссылочный тип T&&, отличный от T&; не ссылка на ссылку.
Formatted input
Функция C для форматированного ввода; изменяет данные по переданным адресам.
std::scanf("%d", &x)SIGSEGV
Нарушение доступа к памяти, которое операционная система обнаружила и сообщила сигналом.
доступ к неотображённой памятиSIGSEGV
Сигнал о нарушении доступа к памяти на соответствующих ОС. Не тождественен всякому выходу за границы массива.
sequencing · Sequencing relation
Отношение между вычислениями, которое требует, чтобы одно полностью предшествовало другому в рамках абстрактной машины C++. Не тождественно приоритету и ассоциативности.
Отношение строгого предшествования одного вычисления другому.
a&&b: сначала aFloating-point exception signal
Системный сигнал, часто используемый в том числе для целочисленного деления на ноль.
5 / 0 при типичном исполненииNull pointer type
Тип литерала nullptr, преобразуемого к типам указателей.
decltype(nullptr)Pointer difference type
Знаковый целый тип результата вычитания подходящих указателей.
&a[4] - &a[0]Временный объект — объект с ограниченным временем жизни, обычно создаваемый при вычислении выражения.
undefined behavior
Стандарт C++ не предъявляет требований к последствиям выполнения такой программы. Это не обязательная ошибка компиляции или падение.
Чтение v[100] при v.size() == 3Нарушение правила, после которого стандарт языка не предъявляет требований к поведению программы.
i++ + i++Стандарт не гарантирует никакого результата: программа может работать как угодно.
int x; int y=x;Стандарт не устанавливает, что должна сделать программа в этой ситуации. Например, индексирование s[100] при длине строки 3 — не «гарантированная ошибка», а UB.
Никаких требований к поведению программы при недопустимой операции.
v[100] при v.size()==2Отсутствие требований стандарта к поведению при выполнении определённого некорректного действия; результат нельзя обосновывать наблюдением одного запуска.
Стандарт C++ не устанавливает требований к поведению при нарушении определённого ограничения.
signed overflow, выход за границыСтандарт C++ не устанавливает гарантий относительно поведения программы.
Ситуация, для которой стандарт не устанавливает требований к поведению программы.
*p после разрушения xСитуация без гарантий поведения по стандарту C++.
Ситуация, для которой стандарт C++ не налагает требований на поведение программы.
Выполнение не имеет гарантий со стороны стандарта.
directive / alias
Ввод отдельного имени, директива поиска имён из namespace либо новое имя для типа.
using std::cout; / using Int=int;Void pointer
Указатель на объект без сведения о его конкретном типе.
void* raw = &x;Диагностическое сообщение компилятора о потенциальной проблеме. Само по себе не требует отклонить программу.
Предположение компилятора о проблеме, не обязательно нарушающее правила языка.
if (x = 0)-Werror
Все включённые компилятором предупреждения считаются ошибками.
g++ -Wall -Werror