Когда программисты говорят о C++ и объектно-ориентированном программировании, то очень часто употребляют термин полиморфизм. В общем случае полиморфизм представляет собой способность объекта изменять форму. Если вы разделите этот термин на части, то обнаружите, что поли означает много, а морфизм относится к изменению формы. Полиморфный объект, следовательно, представляет собой объект, который может принимать разные формы. Этот урок вводит понятие полиморфизма и рассматривает, как использовать полиморфные объекты внутри ваших программ для упрощения и уменьшения кода. К концу данного урока вы освоите следующие основные концепции:
Полиморфный объект представляет собой такой объект, который может изменять форму во время выполнения программы. Предположим, например, что вы программист, работающий в телефонной компании, и вам необходимо написать программу, которая эмулирует телефонные операции. Поскольку вы знакомы с тем, как люди используют телефон, вы быстро выберете общие операции, такие как набор номера, звонок, разъединение и индикация занятости. С помощью этих операций вы определите следующий класс:
class phone
{
public:
void dial(char "number) { cout << "Набор номера " << number << endl; }
void answer(void) { cout << "Ожидание ответа" << endl; }
void hangup(void) { cout << "Звонок выполнен - повесить трубку" << endl; }
void ring(void) { cout << "Звонок, звонок, звонок" << endl;)
phone(char *number) { strcpy(phone::number, number); };
private:
char number[13];
);
Следующая программа PHONEONE.CPP использует класс phone для создания объекта-телефона:
#include <iostream.h>
#include <string.h>
class phone
{
public:
void dial(char *number) { cout << "Набор номера " << number << endl; }
void answer(void) { cout << "Ожидание ответа" << endl; }
void hangup(void) { cout << "Звонок выполнен - повесить трубку" << endl; }
void ring(void) { cout << "Звонок, звонок, звонок" << endl; }
phone(char *number) { strcpy(phone::number, number); };
private:
char number[13];
};void main(void)
{
phone telephone("555-1212");
telephone.dial("212-555-1212");
}
Если вы продемонстрируете программу вашему боссу, то он или она скажет, что ваша программа не делает различий между дисковым и кнопочным телефонами, и что она не поддерживает платные телефоны, когда пользователь должен заплатить 25 центов, чтобы позвонить.
Поскольку вы знаете наследование, то примете решение породить классы touch_tone и pay_phone из класса phone, как показано ниже:
class touch_tone : phone
{
public:
void dial(char * number) { cout << "Пик пик Набор номера " << number << endl; }
touch_tone(char *number) : phone(number) { }
};class pay_phone : phone
{
public:
void dial(char * number){
cout << "Пожалуйста, оплатите " << amount << " центов" << endl;
cout << "Набор номера " << number << endl;
}pay_phone(char *number, int amount) : phone(number) { pay_phone::amount = amount; }
private:
int amount;
};
Как видите, классы touch_tone и pay__phone определяют свой собственный метод dial. Если вы предположите, что метод dial класса, phone основан на дисковом телефоне, то вам не потребуется создавать класс для дискового телефона. Следующая программа NEWPHONE.CPP использует эти классы для создания объектов rotary, touch_tone и pay_phone:
#include <iostream.h>
#include <string.h>
class phone
{
public:
void dial(char *number) { cout << "Набор номера " << number << endl; }
void answer(void) { cout << "Ожидание ответа" << endl; }
void hangup(void) { cout << "Звонок выполнен - повесить трубку" << endl; }
void ring(void) { cout << "Звонок, звонок, звонок" << endl; }
phone(char *number) { strcpy(phone::number, number); };
protected:
char number[13];
);class touch_tone : phone
{
public:
void dial(char *number) { cout << "Пик пик Набор номера " << number << endl; }
touch_tone(char *number) : phone(number) { }
};class pay_phone : phone
{
public:
void dial(char * number) { cout << "Пожалуйста, оплатите " << amount << " центов" << endl; cout << "Набор номера " << number << endl; }
pay_phone(char * number, int amount) : phone(number) { pay_phone::amount = amount; }
private:
int amount ;
};void main (void)
{
phone rotary("303-555-1212");
rotary.dial("602-555-1212");
touch_tone telephone("555-1212");
telephone.dial("212-555-1212");
pay_phone city_phone("555-1111", 25);
city_phone.dial("212-555-1212");
}
Если вы откомпилируете и запустите эту программу, на экране дисплея появится следующий вывод:
С:\> NEWPHONE <Enter>
Набор номера 602-555-1212
Пик пик Набор номера 212-555-1212
Пожалуйста, оплатите 25 центов
Набор номера 212-555-1212
Как уже упоминалось, полиморфный объект представляет собой такой объект, который изменяет форму во время выполнения программы. Предыдущая программа, например, не использовала полиморфные объекты. Иначе говоря, в ней нет объектов, которые бы изменяли форму.
После того как вы показали начальству вашу новую телефонную программу, ваше руководство сказало вам, что ваш объект-телефон должен уметь эмулировать дисковый, кнопочный или платный телефон на выбор. Другими словами, для одного звонка объект-телефон мог бы представлять кнопочный аппарат, для другого выступал бы как платный телефон и т.д. Иначе говоря, от одного звонка к другому ваш объект-телефон должен изменять форму.
В этих разных классах телефона существует единственная отличающаяся функция — это метод dial. Для создания полиморфного объекта вы сначала определяете функции базового класса, которые отличаются от функций производных классов тем, что они виртуальные, предваряя их прототипы ключевым словом virtual, как показано ниже:
class phone
{
public:
virtual void dial(char •number) { cout << "Набор номера " << number << endl; }
void answer(void) { cout << "Ожидание ответа" << endl; }
void hangup(void) { cout << "Звонок выполнен - повесить трубку" << endl; }
void ring(void) { cout << "Звонок, звонок, звонок" << endl; }
phone(char *number) { strcpy(phone::number, number); };
protected:
char number[13];
};
Далее в программе вы создаете указатель на объект базового класса. Для вашей телефонной программы вы создадите указатель на базовый класс phone:
phone *poly_phone;
Для изменения формы объекта вы просто присваиваете этому указателю адрес объекта производного класса, как показано ниже:
poly_phone = (phone *) &home_phone;
Символы (phone *), которые следуют за оператором присваивания, являются оператором приведения типов, который сообщает компилятору C++, что все в порядке, необходимо присвоить адрес переменной одного типа (touch_tone) указателю на переменную другого типа (phone). Поскольку ваша программа может присваивать указателю объекта poly_phone адреса различных объектов, то этот объект может изменять форму, а следовательно, является полиморфным. Следующая программа POLYMORP.CPP использует этот метод для создания объекта-телефона. После запуска программы объект poly_phone меняет форму с дискового телефона на кнопочный, а затем на платный:
#include <iostream.h>
#include <string.h>
class phone
{
public:
virtual void dial(char *number) { cout << "Набор номера " << number << endl; }
void answer(void) { cout << "Ожидание ответа" << endl; }
void hangup(void) { cout << "Звонок выполнен - повесить трубку" << endl; }
void ring(void) { cout << "Звонок, звонок, звонок" << endl; }
phone(char *number) { strcpy(phone::number, number); };
protected:
char number[13] ;
};class touch_tone : phone
{
public:
void dial(char * number) { cout << "Пик пик Набор номера " << number << endl; }
touch_tone(char *number) : phone(number) { }
};class pay_phone: phone
{
public:
void dial(char *number) { cout << "Пожалуйста, оплатите " << amount << " центов" << endl; cout << "Набор номера " << number << endl; }
pay_phone(char *number, int amount) : phone(number) { pay_phone::amount = amount; }
private:
int amount;
};void main(void)
{
pay_phone city_phone("702-555-1212", 25);
touch_tone home_phone("555-1212");
phone rotary("201-555-1212") ;
// Сделать объект дисковым телефоном
phone *poly_phone = &rotary;
poly_phone->dial("818-555-1212");
// Заменить форму объекта на кнопочный телефон
poly_phone = (phone *) &home_phone;
poly_phone->dial("303-555-1212");
// Заменить форму объекта на платный телефон
poly_phone = (phone *) &city_phone;
poly_phone->dial("212-555-1212");
}
Если вы откомпилируете и запустите эту программу, на экране дисплея появится следующий вывод:
С:\> POLYMORP <ENTER>
Набор номера 818-555-1212
Пик пик Набор номера 303-555-1212
Пожалуйста, оплатите 25 центов
Набор номера 212-555-1212
Поскольку объект poly_phone изменяет форму по мере выполнения программы, он является полиморфным.
Полиморфные объекты могут изменять форму во время выполнения программы
Полиморфный объект представляет собой такой объект, который может изменять форму во время выполнения программы. Для создания полиморфного объекта ваша программа должна использовать указатель на объект базового класса. Далее программа должна присвоить этому указателю адрес объекта производного класса. Каждый раз, когда программа присваивает указателю адрес объекта другого класса, объект этого указателя (который является полиморфным) изменяет форму. Программы строят полиморфные объекты, основываясь на виртуальных функциях базового класса.
Как вы уже знаете, для создания полиморфного объекта ваши программы определяют один или несколько методов базового класса как виртуальные функции. Производный класс может определить свою собственную функцию, которая выполняется вместо виртуальной функции базового класса, или использовать базовую функцию (другими словами, производный класс может и не определять свой собственный метод). В зависимости от программы иногда не имеет смысла определять виртуальную функцию в базовом классе. Например, объекты производных типов могут настолько сильно отличаться, что им не нужно будет использовать метод базового класса. В таких случаях вместо определения операторов для виртуальной функции базового класса ваши программы могут создать чисто виртуальную функцию, которая не содержит операторов.
Для создания чисто виртуальной функции ваша программа указывает прототип функции, но не указывает ее операторы. Вместо них программа присваивает функции значение ноль, как показано ниже:
class phone
{
public:
virtual void dial (char *number) =0; // Чисто виртуальная функция
void answer(void) { cout << "Ожидание ответа" << endl; }
void hangup(void) { cout << "Звонок выполнен - повесить трубку" << endl; }
void ring(void) { cout << "Звонок, звонок, звонок" << endl; }
phone(char *number) { strcpy(phone::number, number); };
protected:
char number[13];
};
Каждый производный класс, определенный в вашей программе, должен определить свою функцию вместо чисто виртуальной функции базового класса. Если производный класс опустит определение функции для чисто виртуальной функции, компилятор C++ сообщит о синтаксических ошибках.
Полиморфизм представляет собой способность объекта изменять форму во время выполнения программы. В этом уроке рассмотрены шаги, которые вам необходимо выполнить для создания полиморфных объектов. Из урока 39 вы узнаете, как использовать исключительные ситуации в C++ для обеспечения надежности вашей программы. Прежде чем приступить к уроку 39 убедитесь, что вы освоили следующие основные концепции: