C++: библиотека программиста

 
33 
Друзей принято объявлять сначала, перед членами класса и перед ключевыми словами 
public
, 
protected
и 
private
. Это объясняется тем, что на друзей не действуют обычные атрибуты 
видимости; нечто либо является другом, либо не является. Весь фрагмент программы после 
определения класса 
Foo
вполне допустим. Друзья имеют доступ ко всем членам 
Foo
, включая 
закрытые. В этом примере есть одна действительно интересная строка — та, в которой другом объяв-
ляется несуществующий класс 
DoesNotExist
. Как ни странно, она не вызовет ни предупреждения, ни 
ошибки компилятора. Объявления друзей игнорируются на момент компиляции 
Foo
. Они 
используются лишь тогда, когда будет компилироваться друг. Даже когда друга не существует, 
компилятор остается в счастливом неведении. 
Типы и операторы 
Темы, рассматриваемые в этом разделе, на первый взгляд не кажутся близкими, однако все они 
вращаются вокруг общей концепции — абстрактных типов данных. 
Конструкторы 
Конструктор можно рассматривать двояко — как функцию, инициализирующую объект, или, с 
позиций математики, как отображение аргументов конструктора на домен класса. Я предпочитаю 
второй подход, поскольку он помогает разобраться с некоторыми языковыми средствами (например, 
операторами преобразования). 
С конструкторами связаны очень сложные правила, но каждый программист C++ должен досконально 
знать их, иначе минимум три ночи в году ему придется проводить за отладкой. 
Конструкторы без аргументов 
Если в вашем классе имеется конструктор, который вызывается без аргументов, он используется по 
умолчанию в трех следующих случаях. 
class Foo { 
public: 
Foo(); 
}; 
class Bar : public Foo { 
// 1. Базовый класс 
public: 
Bar(); 
}; 
class BarBar { 
private: 
Foo 
f; 
// 
2. 
Переменная класса 
}; 
Foo 
f; 
// 
3. 
Созданный экземпляр Foo 
Foo* f1 = new Foo;
// 3. То же, что и предыдущая строка 
Если в списке инициализации членов (см. следующий раздел) конструктора 
Bar
не указан какой-
нибудь другой конструктор 
Foo
, то при каждом создании экземпляра 
Ваг
будет вызываться 
конструктор 
Foo
без аргументов. Аналогично, если
f
отсутствует в списке инициализации членов 
конструктора 
BarBar
, будет использован конструктор 
Foo
без аргументов. Наконец, при каждом 
создании экземпляра 
Foo
без указания конструктора по умолчанию используется конструктор без 
аргументов. 
Конструкторы с аргументами 
Конструкторы, как и все остальные функции, можно перегружать. Вы можете объявить столько 
сигнатур конструкторов, сколько вам потребуется. Единственное настоящее отличие между 
сигнатурами конструкторов и обычных функций заключается в том, что конструкторы не имеют 
возвращаемого значения и не могут объявляться константными. Если вы объявите какие-либо 

---

 34 
конструкторы с аргументами, но не объявите конструктора без аргументов, то компилятор не позволит 
конструировать объекты этого класса, даже в качестве базового для другого класса, с использованием 
конструктора без аргументов. 
class Foo { 
public: 
Foo(char*); 
}; 
Foo f; 
// Нельзя – нет конструктора без аргументов! 
class Bar : public Foo { 
public: 
Bar(); 
}; 
Bar::Bar() 
{ 
// 
Ошибка! Нет конструктора Foo без аргументов 
} 
Списки инициализации членов 
Чтобы избавиться от этой проблемы, в C++ находится очередное применение символу 
:
— для 
создания списков инициализации членов. Так называется список спецификаций конструкторов,