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

Здесь мы “забыли” немедленно инициализировать объект

, и до вызова функции этот объект будет иметь неопределенное значение. Кроме того, “кто-то” решил, что вызывать функцию лишняя потеря времени (или просто не знал о ее существовании), и создал объект вручную. Это плохой и даже очень плохой код. Вероятно, в большинстве случае эта программа будет работать, но даже самые небольшие изменения приведут к серьезным ошибкам. Например, отсутствие инициализации объекта типа приведет к выводу на экран так называемого “мусора”, а прибавление единицы к члену вообще представляет собой мину с часовым механизмом: когда объект окажется последним днем месяца, его увеличение на единицу приведет к появлению неправильной даты. Хуже всего в этом очень плохом коде то, что он не выглядит плохим.

Такие размышления приводят нас к мысли о необходимости функции инициализации, которую нельзя забыть, и об операциях, которые невозможно пропустить. Основным инструментом в этом механизме являются функции-члены, т.е. функции, объявленные как члены класса внутри его тела. Рассмотрим пример.

Функция-член, имя которой совпадает с именем класса, является особой. Она называется конструктором (constructor) и используется для инициализации (конструирования) объектов класса. Если программист забудет проинициализировать объект класса, имеющего конструктор с аргументом, то компилятор выдаст сообщение об ошибке. Для такой инициализации существует специальная синтаксическая конструкция.

Попытка объявить объект

провалится, поскольку мы не указали требуемое начальное значение. Попытку объявить объект компилятор пропустит, но проверочный код в конструкторе на этапе выполнения программы обнаружит неправильную дату (() — 2007-й день 24-го месяца 12-го года).

Определение объекта

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

Теперь можно попробовать использовать вновь определенные переменные.

Обратите внимание на то, что функция-член

вызывается из конкретного объекта типа с помощью точки, означающей обращение к члену класса. Как определить функцию-член класса, показано в разделе 9.4.4. 

9.4.3. Скрываем детали

Остается одна проблема: что произойдет, если мы забудем использовать функцию-член

? Что произойдет, если кто-то решит непосредственно изменить месяц? Оказывается, мы забыли предусмотреть возможности для выполнения этой операции.

 

 Поскольку мы хотим сделать представление типа доступным для всех, кто-нибудь — вольно или невольно — может сделать ошибку; иначе говоря, сделать нечто, что приведет к созданию неправильной даты. В данном случае мы создали объект типа со значением, которое не соответствует календарю. Такие неправильные объекты являются минами с часовым механизмом; через какое-то время кто-нибудь, не ведая того, обязательно воспользуется некорректным значением и получит сообщение об ошибке на этапе выполнения программы или — что еще хуже — получит неверные результаты. Все это лишь вопрос времени.

Такие размышления приводят к выводу, что представление типа

, за исключением открытых функций-членов, должно быть недоступным для пользователей. Итак, получаем первое сокращение.