Программирование

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

string s;

for (int i=0; i

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

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

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

vector v;

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

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

string s1 = "";

vector v1(0);

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

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

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

class Date {

public:

  // ...

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

  // ...

private:

  int y;

  Month m;

  int d;

};

Теперь мы должны выбрать дату, заданную по умолчанию. Для этого вполне подходит первый день XXI столетия.

Date::Date()

     :y(2001), m(Date::jan), d(1)

{

}

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

const Date& default_date()

{

  static Date dd(2001,Date::jan,1);

  return dd;

}

Здесь использовано ключевое слово static, чтобы переменная dd создавалась только один раз, а не каждый раз при очередном вызове функции default_date(). Инициализация этой переменной происходит при первом вызове функции default_date(). С помощью функции default_date() легко определить конструктор, заданный по умолчанию, для класса Date.

Date::Date()

     :y(default_date().year()),

      m(default_date().month()),

      d(default_date().day())

}

Обратите внимание на то, что конструктор по умолчанию не обязан проверять значение, заданное по умолчанию; конструктор, создавший объект, вызвавший функцию default_date, уже сделал это. Имея конструктор для класса Date по умолчанию, мы можем создать векторы объектов класса Date.

vector birthdays(10);

Без конструктора по умолчанию мы были бы вынуждены сделать это явно.

vector birthdays(10,default_date());

9.7.4. Константные функции-члены

Некоторые переменные должны изменяться, потому они так и называются, а некоторые — нет; иначе говоря, существуют переменные, которые не изменяются. Обычно их называют константами, и для них используется ключевое слово const. Рассмотрим пример.

void some_function(Date& d, const Date& start_of_term)

{

  int a = d.day();             // OK

  int b = start_of_term.day(); // должно бы правильно (почему ?)

  d.add_day(3);                // отлично

  start_of_term.add_day(3);    // ошибка

}