CPoint point1(100,70); // локальный объект

CPoint * ppoint2 = new CPoint(200,45); // динамический объект

Static cPoint point3(50,120); // статический объект

Формирование объекта включает два этапа. На первом для объекта выделяется участок памяти, достаточный для размещения всех его данных. Затем, на втором этапе, явно либо косвенно вызывается конструктор класса. Задача конструктора – записать в выделенный участок памяти исходные значения, т.е. определить начальное состояние объекта¹. Определяется конструктор подобно другим компонентным функциям, но его имя, как мы уже видели выше, должно совпадать с именем класса. В декларации конструктора не должно указываться возвращаемое значение. Фактически возвращаемое конструктором значение задается неявно как ссылка на созданный объект.

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

Class_id(parameters) /*:initializer_list*/ {/*statements*/}

В фигурных скобках записаны операторы тела конструктора (тело может быть пустым); initializer_list представляет собой список инициализаторов (если он присутствует, то должен использоваться, например, для инициализации константных компонент объекта); parameters – непустой список деклараций параметров конструктора. Любой класс, благодаря возможностям перегрузки функций, может определить несколько конструкторов общего вида с разными списками параметров, которые могут по-разному инициализировать создаваемый объект.

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

Конструктор копирования предназначен для инициализации одного объекта данными из другого объекта (такой способ формирования объекта принято называть копированием). Соответственно, в декларации параметров такого конструктора фигурирует уже существующий объект (из соображений эффективности и концептуальной строгости это должна быть ссылка на константный объект). Класс может не включать конструктор копирования. В этом случае компилятор автоматически сгенерирует и добавит к определению класса свой конструктор копирования аналогично конструктору по умолчанию.

Несколько вариантов явного вызова конструкторов мы уже видели выше на примере, но среди них не было копирующих конструкторов и конструкторов по умолчанию. Покажем вызовы последних на примере класса CString, который описывает свойства строк символов (предположим, мы решили создать такой класс, поскольку нам «чем-то не нравится» стандартный класс string, имеющийся в библиотеке STL С++).

Вот фрагмент определения класса CString:

class CString {

public:

CString(); // конструктор по умолчанию

CString (const CString &); // конструктор копирования

CString (const char *); // общий конструктор

CString (size_t, char); // еще один общий конструктор – перегрузка

...

};

Ниже даны варианты формирования объектов приведенного класса.

CString S1; // вызов конструктора по умолчанию

CString S2(“строковая константа”); // вызов общего конструктора

CString S3(S2); // вызов конструктора копирования

CString * S4 = new CString(10,’a’); // вызов общего конструктора

CString * S5 = new CString[N]; // вызов конструктора по умолчанию N раз

CString S6 = CString(“еще константа”); // вызов общего конструктора

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