Конструкторы. Детальное рассмотрение

В общем случае формат определения конструктора имеет следующий вид:

<α> (<>) [<γ>]

{

// Тело конструктора

}

Здесь:

• α- имя класса,

• () – аргументные скобки функции,

• - список объявлений формальных параметров,

• [] – синтаксическое указание на то положение, что элементы, находящиеся внутри этих скобок, являются необязательными.

• строка инициализации.

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

<δ>(<μ>)

Здесь:

• δ - имя инициализируемого элемента,

• μ - инициализирующее выражение.

Например

//Файл реализации класса complex.

// Здесь необходимо инициализировать поля re_ и im_

// Конструктор умолчания

сomplex :: complex() : re_(0), im_(0)

{

// Пустое тело

}

// Конструктор копирования

сomplex :: complex(const complex& c) : re_(c.re_), im_(c.im._)

{

// Пустое тело

}

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

• Действия, выполняемые в строке инициализации, являются «настоящей инициализацией», а действия в теле конструктора – подменяют инициализацию присваиванием.

• Имеются типы данных, которые не допускают присваивания. К ним относятся: ссылочные типы и константные типы. Эти типы могут быть инициализированы только в строке инициализации.

• Оба способа инициализации имеют одинаковую эффективность для встроенных типов.

• Инициализацию пользовательских типов предпочтительнее выполнять в строке инициализации.

Функции getter и setter

Эти функции позволяют программисту работать с реализацией класса. Например:

double complex :: getRe() {

return re_; }

void complex :: setRe(double re) {

re_ = re; }

Функция getRe() позволяет работать с полем re_ в режиме чтения, а функция setRe() -позволяет работать с этим полем в режиме записи. Отношение программистов к рассматриваемым функциям не отличается однозначностью. Приведем цитату из книги Мартина Фаулера «Рефакторинг. Улучшение существующего кода»: « даже внутри этого класса следует всегда применять методы доступа (косвенный доступ к переменной). … преимущество косвенного способа к переменной состоит в том, что он позволяет переопределить в подклассе метод получения информации и обеспечивает большую гибкость в управлении данными»

Виды отношений между классами

В программе классы «действуют» не изолировано, а «вступают» в некоторые отношения друг с другом. Рассмотрим ряд таких отношений:

• зависимость,

• целое / часть, или включение, или агрегация,

• композиция - частный случай агрегации,

• наследование,

• обобщение / специализация (в языке С++ - это частный случай наследования)

• реализация

Отношение зависимость

Это один из наиболее слабых, но при этом и очень распространенный вид отношений между классами. Он предполагает, что один классов (зависимый класс) использует возможности, предоставляемые другим классом (независимым классом). Эта отношение на диаграммах классов в унифицированном языке моделирования отображается с помощью пунктирной линии, снабженной стрелкой. Эта линия имеет следующий вид -------->. Стрелка должна указывать на независимый класс. Например, такое отношение будет иметь между пользовательским классом complex и библиотечным классом istream в том случае, когда в классе complex для реализации функции – члена void complex :: input() будет использоваться библиотечный потоковый класс istream.

Для зависимости часто характерен кратко временный характер зависимости. Действительно, это имеет место в случае классов complex и istream. Зависимость проявляется только во время выполнения функции input().