Бьерн Страуструп. Язык программирования С++
жүктеу/скачать 3.27 Mb.
|
- Бұл бет үшін навигация:
- 6.2.2 Конструкторы и деструкторы
- 6.2.3 Иерархия классов
- 6.2.4 Поля типа
6.2.1 Функции-членыПростые структуры данных вроде employee и manager сами по себе не слишком интересны, а часто и не особенно полезны. Поэтому добавим к ним функции: class employee { char* name; // ... public:
employee* next; // находится в общей части, чтобы // можно было работать со списком void print() const; // ...
}; class manager : public employee { // ...
public: void print() const; // ... };
производного класса manager может использовать члены базового класса employee? Какие члены базового класса employee могут использовать функции-члены производного класса manager? Какие члены базового класса employee может использовать функция, не являющаяся членом объекта типа manager? Какие ответы на эти вопросы должна давать реализация языка, чтобы они максимально соответствовали задаче программиста? Рассмотрим пример:
{ cout << " имя " << name << '\n'; } Член производного класса может использовать имя из общей части своего базового класса наравне со всеми другими членами, т.е. без указания имени объекта. Предполагается, что есть объект, на который настроен this, поэтому корректным обращением к name будет this->name. Однако, при трансляции функции manager::print() будет зафиксирована ошибка: члену производного класса не предоставлено право доступа к частным членам его базового класса, значит name недоступно в этой функции. Возможно многим это покажется странным, но давайте рассмотрим альтернативное решение: функция-член производного класса имеет доступ к частным членам своего базового класса. Тогда само понятие частного (закрытого) члена теряет всякий смысл, поскольку для доступа к нему достаточно просто определить производный класс. Теперь уже будет недостаточно для выяснения, кто использует частные члены класса, просмотреть все функции-члены и друзей этого класса. Придется просмотреть все исходные файлы программы, найти производные классы, затем исследовать каждую функцию этих классов. Далее надо снова искать производные классы от уже найденных и т.д. Это, по крайней мере, утомительно, а скорее всего нереально. Нужно всюду, где это возможно, использовать вместо частных членов защищенные (см. $$6.6.1). Как правило, самое надежное решение для производного класса - использовать только общие члены своего базового класса:
{ employee::print(); // печать данных о служащих // печать данных об управляющих }
переопределена в классе manager. Такое повторное использование имен типично для С++. Неосторожный программист написал бы: void manager::print() const { print(); // печать данных о служащих // печать данных об управляющих }
manager::print().
Для некоторых производных классов нужны конструкторы. Если конструктор есть в базовом классе, то именно он и должен вызываться с указанием параметров, если таковые у него есть: class employee { // ...
public: // ...
employee(char* n, int d); };
// ... public:
// ... manager(char* n, int i, int d); };
конструктора производного класса. В этом смысле базовый класс выступает как класс, являющийся членом производного класса:
: employee(n,d), level(l), group(0) { }
определение: employee::employee(char* n, int d) : name(n), department(d) { next = list; list = this; }
Объекты классов создаются снизу вверх: вначале базовые, затем члены и, наконец, сами производные классы. Уничтожаются они в обратном порядке: сначала сами производные классы, затем члены, а затем базовые. Члены и базовые создаются в порядке описания их в классе, а уничтожаются они в обратном порядке.
Производный класс сам в свою очередь может быть базовым классом: class employee { /* ... */ }; class manager : public employee { /* ... */ }; class director : public manager { /* ... */ };
иерархией классов. Обычно она представляется деревом, но бывают иерархии с более общей структурой в виде графа:
class secretary : public employee { /* ... */ }; class tsec : public temporary, public secretary { /* ... */ }; class consultant : public temporary, public manager { /* ... */ }; Видим, что классы в С++ могут образовывать направленный ацикличный граф (подробнее об этом говорится в $$6.5.3). Этот граф для приведенных классов имеет вид:
Чтобы производные классы были не просто удобной формой краткого описания, в реализации языка должен быть решен вопрос: к какому из производных классов относится объект, на который смотрит указатель base*? Существует три основных способа ответа: [1] Обеспечить, чтобы указатель мог ссылаться на объекты только одного типа ($$6.4.2); [2] Поместить в базовый класс поле типа, которое смогут проверять функции; [3] использовать виртуальные функции ($$6.2.5). Указатели на базовые классы обыкновенно используются при проектировании контейнерных классов (множество, вектор, список и т.д.). Тогда в случае [1] мы получим однородные списки, т.е. списки объектов одного типа. Способы [2] и [3] позволяют создавать разнородные списки, т.е. списки объектов нескольких различных типов (на самом деле, списки указателей на эти объекты). Способ [3] - это специальный надежный в смысле типа вариант способа [2]. Особенно интересные и мощные варианты дают комбинации способов [1] и [3]; они обсуждаются в главе 8. Вначале обсудим простой способ с полем типа, т.е. способ [2]. Пример с классами manager/employee можно переопределить так: struct employee { enum empl_type { M, E }; empl_type type; employee* next; char* name; short department; // ... };
employee* group; short level; // ... };
о произвольном служащем: void print_employee(const employee* e) { switch (e->type) { case E: cout << e->name << '\t' << e->department << '\n'; // ... break;
case M: cout << e->name << '\t' << e->department << '\n'; // ... manager* p = (manager*) e; cout << "level" << p->level << '\n'; // ...
break; } } Напечатать список служащих можно так: void f(const employee* elist) { for (; elist; elist=elist->next) print_employee(elist); } Это вполне хорошее решение, особенно для небольших программ, написанных одним человеком, но оно имеет существенный недостаток: транслятор не может проверить, насколько правильно программист обращается с типами. В больших программах это приводит к ошибкам двух видов. Первый - когда программист забывает проверить поле типа. Второй - когда в переключателе указываются не все возможные значения поля типа. Этих ошибок достаточно легко избежать в процессе написания программы, но совсем нелегко избежать их при внесении изменений в нетривиальную программу, а особенно, если это большая программа, написанная кем-то другим. Еще труднее избежать таких ошибок потому, что функции типа print() часто пишутся так, чтобы можно было воспользоваться общностью классов: void print(const employee* e) { cout << e->name << '\t' << e->department << '\n'; // ... if (e->type == M) { manager* p = (manager*) e; cout << "level" << p->level << '\n'; // ... }
Операторы if, подобные приведенным в примере, сложно найти в большой функции, работающей со многими производными классами. Но даже когда они найдены, нелегко понять, что происходит на самом деле. Кроме того, при всяком добавлении нового вида служащих требуются изменения во всех важных функциях программы, т.е. функциях, проверяющих поле типа. В результате приходится править важные части программы, увеличивая тем самым время на отладку этих частей. Иными словами, использование поля типа чревато ошибками и трудностями при сопровождении программы. Трудности резко возрастают по мере роста программы, ведь использование поля типа противоречит принципам модульности и упрятывания данных. Каждая функция, работающая с полем типа, должна знать представление и специфику реализации всякого класса, являющегося производным для класса, содержащего поле типа. жүктеу/скачать 3.27 Mb. Достарыңызбен бөлісу:
|