Программирование. Принципы и практика использования C++ Исправленное издание
вернуться

Страуструп Бьерн
Шрифт:

Обратите внимание на то, что, даже несмотря на то, что мы определили конструктор для класса

Date
, мы по-прежнему можем копировать объекты класса
Date
. Многие классы имеют вполне разумные значения по умолчанию; иначе говоря, для них существует очевидный ответ на вопрос: какое значение следует использовать, если инициализация не выполнена? Рассмотрим пример.

string s1; // значение по умолчанию: пустая строка ""

vector<string> v1; // значение по умолчанию: вектор без элементов

vector<string> v2(10); // вектор, по умолчанию содержащий 10 строк

Все это выглядит вполне разумно и работает в соответствии с указанными комментариями. Это достигается за счет того, что классы

vector
и
string
имеют конструкторы по умолчанию, которые неявно выполняют желательную инициализацию.

Для типа

T
обозначение
T
— значение по умолчанию, определенное конструктором, заданным по умолчанию. Итак, можно написать следующий код:

string s1 = string; // значение по умолчанию: пустая строка ""

vector<string> v1 = vector<string>; // значение по умолчанию:

// пустой вектор; без элементов

vector<string> v2(10,string); // вектор, по умолчанию содержащий

// 10 строк

Однако мы предпочитаем эквивалентный и более краткий стиль.

string s1; // значение по умолчанию: пустая строка ""

vector<string> v1; // значение по умолчанию: пустой вектор;

// без элементов

vector<string> v2(10); // вектор, по умолчанию содержащий 10 строк

Для встроенных типов, таких как

int
и
double
, конструктор по умолчанию подразумевает значение
0
, так что запись
int
— это просто усложненное представление нуля, а
double
— долгий способ записать число
0.0
.

Опасайтесь ужасных синтаксических проблем, связанных с обозначением
при инициализации.

string s1("Ike"); // объект, инициализированный строкой "Ike"

string s2; // функция, не получающая аргументов и возвращающая

// строку

Использование конструктора, заданного по умолчанию, — это не просто вопрос стиля. Представьте себе, что отказались от инициализации объектов класса

string
и
vector
.

string s;

for (int i=0; i<s.size; ++i) // ой: цикл выполняется неопределенное

// количество раз

s[i] = toupper(s[i]); // ой: изменяется содержание

// случайной ячейки памяти

vector<string> v;

v.push_back("bad"); // ой: запись по случайному адресу

Если значения переменных

s
и
v
действительно не определены, то непонятно, сколько элементов они содержат или (при общепринятом способе реализации; см. раздел 17.5) неясно, где эти элементы должны храниться. В результате будут использованы случайные адреса — и это худшее, что может произойти. В принципе без конструктора мы не можем установить инвариант, поскольку не можем гарантировать, что его объекты будут корректными (см. раздел 9.4.3). Мы настаиваем на том, что такие переменные должны быть проинициализированы. В таком случае фрагмент можно было бы переписать следующим образом:

string s1 = "";

vector<string> v1(0);

vector<string> v2(10,""); // вектор, содержащий 10 пустых строк

Однако этот код не кажется нам таким уж хорошим. Для объекта класса

string
строка
""
является очевидным обозначением пустой строки, а для объекта класса vector легко догадаться, что число
0
означает пустой вектор. Однако для многих типов правильно интерпретировать значение, заданное по умолчанию, совсем не так легко. В таких случаях лучше было бы определить конструктор, создающий объект без использования явной инициализации. Такие конструкторы не имеют аргументов и называются конструкторами по умолчанию.

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

class Date {

public:

// ...

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

// ...

private:

int y;

Month m;