Date::Date(int yy, int mm, int dd)
:y(yy), m(mm), d(dd) // инициализация данных - членов класса
{
if (!check()) throw Invalid(); // проверка корректности
}
bool Date::check() // возвращает true, если дата корректна
{
if (m<1 || 12<m) return false;
// ...
}
Имея это определение класса
Date
, можно написать следующий код:
void f(int x, int y)
try {
Date dxy(2009,x,y);
cout << dxy << '\n'; // объявление оператора << см. в разделе 9.8
dxy.add_day(2);
}
catch(Date::Invalid) {
error("invalid date"); // функция error() определена
// в разделе 5.6.3
}
Теперь мы знаем, что оператор
<<
и функция
add_day()
всегда будут работать с корректными объектами класса
Date
. До завершения разработки класса
Date
, описанной в разделе 9.7, опишем некоторые свойства языка, которые потребуются нам для того, чтобы сделать это хорошо: перечисления и перегрузку операторов.
9.5. Перечисления
Перечисление
enum
(enumeration) — это очень простой тип, определенный пользователем, который задает множество значений (элементов перечисления) как символические константы. Рассмотрим пример.
enum Month {
jan=1, feb, mar, apr, may, jun, jul, aug, sep, oct, nov, dec
};
“Тело” перечисления — это просто список его элементов. Каждому элементу перечисления можно задать конкретное значение, как это сделано выше с элементом
jan
, или предоставить компилятору подобрать подходящее значение. Если положиться на компилятор, то он присвоит каждому элементу перечисления число, на единицу превышающее значение предыдущего. Таким образом, наше определение перечисления
Month
присваивает каждому месяцу последовательные значения, начиная с единицы. Это эквивалентно следующему коду:
enum Month {
jan=1, feb=2, mar=3, apr=4, may=5, jun=6,
jul=7, aug=8, sep=9, oct=10, nov=11, dec=12
};
Однако это утомительно и открывает много возможностей для ошибок. Фактически мы сделали две опечатки, пока не получили правильный вариант; лучше все же предоставить компилятору делать простую, повторяющуюся, “механическую” работу. Компилятор такие задачи решает лучше, чем люди, и при этом не устает.
Если не инициализировать первый элемент перечисления, то счетчик начнет отсчет с нуля. Рассмотрим такой пример:
enum Day {
monday, tuesday, wednesday, thursday, friday, saturday, sunday
};
где
monday==0
и
sunday==6
. На практике лучше всего выбирать начальное значение счетчика, равным нулю.
Перечисление
Month
можно использовать следующим образом:
Month m = feb;
m = 7; // ошибка: нельзя присвоить целое число перечислению
int n = m; // OK: целочисленной переменной можно присвоить
// значение Month
Month mm = Month(7); // преобразование типа int в тип Month
//(без проверки)
Обратите внимание на то, что
Month
— это отдельный тип. Он может быть неявно преобразован в тип
int
, но неявного преобразования типа
Month
в тип
int
не существует. Это имеет смысл, поскольку каждый объект класса
Month
имеет эквивалентное целое значение, но большинство целых чисел не имеет эквивалентного значения типа
Month
. Например, мы преднамеренно написали неправильную инициализацию.
Month bad = 9999; // ошибка: целое число невозможно преобразовать
// объект типа Month
Если вы настаиваете на использовании обозначения
Month(9999)
, то сами будете виноваты! Во многих ситуациях язык С++ не пытается останавливать программиста от потенциально опасных действий, если программист явно на этом настаивает; в конце концов, программисту, действительно, виднее.
К сожалению, мы не можем определить конструктор для перечисления, чтобы проверить начальные значения, но написать простую функцию для проверки не составляет труда.
Month int_to_month(int x)
{
if (x<jan || dec<x) error("неправильный месяц");
return Month(x);
}
Теперь можно написать следующий код:
void f(int m)
{
Month mm = int_to_month(m);
// ...
}
Для чего нужны перечисления? В основном перечисление полезно, когда нам нужно множество связанных друг с другом именованных целочисленных констант. Как правило, с помощью перечислений представляют наборы альтернатив (
up
,
down
;
yes
,
no
,
maybe
;
on
,
off
;
n
,
ne
,
e
,
se
,
s
,
sw
,
w
,
nw
) или отличительных признаков (
red
,
blue
,
green
,
yellow
,
maroon
,
crimson
,
black
).
