Стенли Липпман - Язык программирования C++. Пятое издание

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

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

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

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

Определим для нашего класса Sales_dataчетыре конструктора со следующими параметрами:

• Типа istream&, для чтения транзакции.

• Типа const string&для ISBN; типа unsignedдля количества проданных книг; типа doubleдля цены проданной книги.

• Типа const string&для ISBN. Для других членов этот конструктор будет использовать значения по умолчанию.

• Без параметров (т.е. стандартный конструктор). Этот конструктор придется определить, поскольку определены другие конструкторы.

Добавим эти члены в класс так:

struct Sales_data {

// добавленные конструкторы

Sales_data() = default;

Sales_data(const std::string &s): bookNo(s) { }

Sales_data(const std::string &s, unsigned n, double p):

bookNo(s), units_sold(n), revenue(p*n) { }

Sales_data(std::istream &);

// другие члены, как прежде

std::string isbn() const { return bookNo; }

Sales_data& combine(const Sales_data&);

double avg_price() const;

std::string bookNo;

unsigned units_sold = 0;

double revenue = 0.0;

};

Начнем с объяснения стандартного конструктора:

Sales_data() = default;

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

По новому стандарту, если необходимо стандартное поведение, можно попросить компилятор создать конструктор автоматически, указав после списка параметров часть = default. Синтаксис = defaultможет присутствовать как в объявлении в теле класса, так и в определении вне его. Подобно любой другой функции, если часть = defaultприсутствует в теле класса, стандартный конструктор будет встраиваемым; если она присутствует в определении вне класса, то по умолчанию этот член не будет встраиваемым.

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

Теперь рассмотрим два других конструктора, которые были определены в классе:

Sales_data(const std::string &s) : bookNo(s) { }

Sales_data(const std::string &s, unsigned n, double p):

bookNo(s), units_sold(n), revenue(p*n) { }

Новой частью этих определений являются двоеточие и код между ним и фигурными скобками, обозначающими пустые тела функции. Эта новая часть — список инициализации конструктора (constructor initializer list), определяющий исходные значения для одной или нескольких переменных-членов создаваемого объекта. Инициализатор конструктора — это список имен переменных-членов класса, каждое из которых сопровождается исходным значением в круглых (или фигурных) скобках. Если инициализаций несколько, они отделяются запятыми.

Конструктор с тремя параметрами использует первые два параметра для инициализации переменных-членов bookNoи units_sold. Инициализатор для переменной revenueвычисляется при умножении количества проданных книг на их цену.

Конструктор с одним параметром типа stringиспользует ее для инициализации переменной-члена bookNo, но переменные units_soldи revenueне инициализируются явно. Когда член класса отсутствует в списке инициализации конструктора, он инициализируется неявно, с использованием того же процесса, что и у синтезируемого стандартного конструктора. В данном случае эти члены инициализируются внутриклассовыми инициализаторами. Таким образом, получающий строку конструктор эквивалентен следующему.

// то же поведение, что и у исходного конструктора выше

Sales_data(const std::string &s):

bookNo(s), units_sold(0), revenue(0) { }

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

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