Построение Производного Класса
Рассмотрим построение программы, которая имеет дело с людьми, служащими в некоторой фирме. Структура данных в этой программе может быть например такой:
struct employee { // служащий char* name; // имя short age; // возраст short department; // подразделение int salary; // employee* next; // ... };
Список аналогичных служащих будет связываться через поле next. Теперь давайте определим менеджера:
struct manager { // менеджер employee emp; // запись о менеджере как о служащем employee* group; // подчиненные люди // ... };
Менеджер также является служащим; относящиеся к служащему employee данные хранятся в члене emp объекта manager. Для читающего это человека это, может быть, очевидно, но нет ничего выделяющего член emp для компилятора. Указатель на менеджера (manager*) не является указателем на служащего (employee*), поэтому просто использовать один там, где требуется другой, нельзя. В частности, нельзя поместить менеджера в список служащих, не написав для этого специальную программу. Можно либо применить к manager* явное преобразование типа, либо поместить в список служащих адрес члена emp, но и то и другое мало элегантно и довольно неясно. Корректный подход состоит в том, чтобы установить, что менеджер является служащим с некоторой добавочной информацией:
struct manager : employee { employee* group; // ... };
manager является производным от employee и, обратно, employee есть базовый класс для manager. Класс manager дополнительно к члену group имеет члены класса employee (name, age и т.д.).
Имея определения employee и manager мы можем теперь создать список служащих, некоторые из которых являются менеджерами. Например:
void f() { manager m1, m2; employee e1, e2; employee* elist; elist = m1 // поместить m1, e1, m2 и e2 в elist m1.next = e1 e1.next = m2 m2.next = e2 e2.next = 0; }
Поскольку менеджер является служащим, manager* может использоваться как employee*. Однако служащий необязательно является менеджером, поэтому использовать employee* как manager* нельзя.
