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

Функции read()и print()выполняют ту же задачу, что и код в разделе 2.6.2, поэтому и не удивительно, что тела этих функций очень похожи на код, представленный там:

// введенные транзакции содержат ISBN, количество проданных книг и

// цену книги

istream &read(istream &is, Sales_data &item) {

double price = 0;

is >> item.bookNo >> item.units_sold >> price;

item.revenue = price * item.units_sold;

return is;

}

ostream &print(ostream &os, const Sales_data &item) {

os << item.isbn() << " " << item.units_sold << " "

<< item.revenue << " " << item.avg_price();

return os;

}

Функция read()читает данные из предоставленного потока в заданный объект. Функция print()выводит содержимое предоставленного объекта в заданный поток.

В этих функциях, однако, следует обратить внимание на два момента. Во- первых, обе функции получают ссылки на соответствующие объекты классов ввода и вывода. Классы ввода и вывода — это типы, не допускающие копирования, поэтому их передача возможна только по ссылке (см. раздел 6.2.2). Кроме того, чтение и запись в поток изменяют его, поэтому обе функции получают обычные ссылки, а не ссылки на константы.

Второй заслуживающий внимания момент: функция print()не выводит новую строку. Обычно функции вывода осуществляют минимальное форматирование. Таким образом, пользовательский код может сам решить, нужна ли новая строка.

Функция add()получает два объекта класса Sales_dataи возвращает новый объект класса Sales_data, представляющий их сумму:

Sales_data add(const Sales_data &lhs, const Sales_data &rhs) {

Sales_data sum = lhs; // копирование переменных-членов из lhs в sum

sum.combine(rhs); // добавить переменные-члены rhs в sum

return sum;

}

В теле функции определяется новый объект класса Sales_dataпо имени sum, предназначенный для хранения суммы двух транзакций. Инициализируем объект sumкопией объекта lhs. По умолчанию копирование объекта класса подразумевает копирование и членов этого объекта. После копирования у членов bookNo, units_soldи revenueобъекта sumбудут те же значения, что и у таковых объекта lhs. Затем происходит вызов функции combine(), суммирующей значения переменных-членов units_soldи revenue объектов rhsи sumв последний. По завершении возвращается копия объекта sum.

Упражнение 7.6. Определите собственные версии функций add(), read()и print().

Упражнение 7.7. Перепишите программу обработки транзакций, написанной для упражнений в разделе 7.1.2, так, чтобы использовать эти новые функции.

Упражнение 7.8. Почему функция read()определяет свой параметр типа Sales_dataкак простую ссылку, а функция print()— как ссылку на константу?

Упражнение 7.9. Добавьте в код, написанный для упражнений в разделе 7.1.2, операции чтения и вывода объектов класса Person.

Упражнение 7.10. Что делает условие в следующем операторе if?

if (read(read(cin, data1), data2))

Каждый класс определяет, как могут быть инициализированы объекты его типа. Класс контролирует инициализацию объекта за счет определения одной или нескольких специальных функций-членов, известных как конструкторы (constructor). Задача конструктора — инициализировать переменные-члены объекта класса. Конструктор выполняется каждый раз, когда создается объект класса.

В этом разделе рассматриваются основы определения конструкторов. Конструкторы — удивительно сложная тема. На самом деле мы сможем больше сказать о конструкторах в разделах 7.5, 15.7 и 18.1.3, а также в главе 13.

Имя конструкторов совпадает с именем класса. В отличие от других функций, у конструкторов нет типа возвращаемого значения. Как и другие функции, конструкторы имеют (возможно пустой) список параметров и (возможно пустое) тело. У класса может быть несколько конструкторов. Подобно любой другой перегруженной функции (см. раздел 6.4), конструкторы должны отличаться друг от друга количеством или типами своих параметров.

В отличие от других функций-членов, конструкторы не могут быть объявлены константами (см. раздел 7.1.2). При создании константного объекта типа класса его константность не проявится, пока конструктор не закончит инициализацию объекта. Таким образом, конструкторы способны осуществлять запись в константный объект во время его создания.

Синтезируемый стандартный конструктор

Хотя в нашем классе Sales_dataне определено конструкторов, использующие его программы компилировались и выполнялись правильно. Например, программа из раздела 7.1.1 определяла два объекта класса Sales_data:

Sales_data total; // переменная для хранения текущей суммы

Sales_data trans; // переменная для хранения данных следующей

// транзакции

Естественно, возникает вопрос: как инициализируются объекты totalи trans?

Настолько известно, инициализатор для этих объектов не предоставлялся, поэтому они инициализируются значением по умолчанию (см. раздел 2.2.1). Классы сами контролируют инициализацию по умолчанию, определяя специальный конструктор, известный как стандартный конструктор (default constructor). Стандартным считается конструктор, не получающий никаких аргументов.

Как будет продемонстрировано, стандартный конструктор является особенным во многом, например, если класс не определяет конструкторы явно, компилятор сам определит стандартный конструктор неявно .

Созданный компилятором конструктор известен как синтезируемый стандартный конструктор (synthesized default constructor). У большинства классов этот синтезируемый конструктор инициализирует каждую переменную-член класса следующим образом:

• Если есть внутриклассовый инициализатор (см. раздел 2.6.1), он и используется для инициализации члена класса.

• В противном случае член класса инициализируется значением по умолчанию (см. раздел 2.2.1).

Поскольку класс Sales_dataпредоставляет инициализаторы для переменных units_soldи revenue, синтезируемый стандартный конструктор использует данные значения для инициализации этих членов. Переменная bookNoинициализируется значением по умолчанию, т.е. пустой строкой.

Только довольно простые классы, такие как текущий класс Sales_data, могут полагаются на синтезируемый стандартный конструктор. Как правило, собственный стандартный конструктор для класса определяют потому, что компилятор создает его, только если для класса не определено никаких других конструкторов . Если определен хоть один конструктор, то у класса не будет стандартного конструктора, если не определить его самостоятельно. Основание для этого правила таково: если класс требует контроля инициализации объекта в одном случае, то он, вероятно, потребует его во всех случаях.