Чтение онлайн

См. раздел 14.3.5.

Реже, но не менее эффективно абстрактные классы создаются путем объявления всех их конструкторов защищенными (

); см раздел. 14.2.1.

При определении классов некоторые операции над их объектами будут определены по умолчанию.

• Конструктор по умолчанию.

• Копирующие операции (копирующее присваивание и копирующая инициализация).

• Деструктор.

Каждый из них (также по умолчанию) может рекурсивно применяться к каждому из своих базовых классов и членов. Создание производится снизу вверх, т.е. объект базового класса создается до создания членов производного класса. Члены производного класса и объекты базовых классов создаются в порядке их объявления и уничтожаются в обратном порядке. Таким образом, конструктор и деструктор всегда работают с точно определенными объектами базовых классов и членов производного класса. Рассмотрим пример.

Предполагая, что классы

, , и определены, можем написать следующий код:

Например, инициализация объекта

по умолчанию выполняется путем вызова четырех конструкторов по умолчанию (в указанном порядке): , , и . Если один из этих конструкторов не определен или не может быть вызван, то создание объекта невозможно. Уничтожение объекта выполняется путем вызова четырех деструкторов (в указанном порядке): , , и . Если один из этих деструкторов не определен или не может быть вызван, то уничтожение объекта невозможно. Каждый из этих конструкторов и деструкторов может быть либо определен пользователем, либо сгенерирован автоматически.

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

Битовое поле (bitfield) — это механизм упаковки многих маленьких значений в виде слова или в соответствии с установленным извне битовым форматом (например, форматом регистра какого-нибудь устройства). Рассмотрим пример.

Упаковка битовых полей в виде слова слева направо приводит к следующему формату (см. раздел 25.5.5).

Битовое поле не обязано иметь имя, но если его нет, то к нему невозможно обратиться. Как это ни удивительно, но упаковка многих небольших значений в отдельное слово не всегда экономит память. На самом деле использование одного из таких значений приводит к излишнему расходу памяти по сравнению с использованием типа

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

Объединение (union) — это класс, в котором все члены расположены в одной и той же области памяти. В каждый момент времени объединение может содержать только один элемент, причем считывается только тот элемент объединения, который был записан последним. Рассмотрим пример.

Правила согласованного чтения и записи членов объединения компилятором не проверяются. Мы вас предупредили.

Шаблон (template) — это класс или функция, параметризованные набором типов и/или целыми числами.

В списке шаблонных аргументов ключевое слово

означает тип; его эквивалентной альтернативой является ключевое слово . Функция-член шаблонного класса по умолчанию является шаблонной функцией с тем же списком шаблонных аргументов, что и у класса.

Целочисленные шаблонные аргументы должны быть константными выражениями.