Поскольку ThreedVGA наследуется от HWVGA, он должен переопределить только одну функцию, initialize( ), для того чтобы окончательно определить адаптер дисплея. Таким образом, функция fn( ) может свободно реализовать и использовать объект класса ThreedVGA.
«Замещение нормальной функцией последней чисто виртуальной функции делает класс завершённым ( т.е. неабстрактным ). Только неабстрактные классы могут быть реализованы в виде объектов.»
[Помни!]
Передача абстрактных классов...257
Поскольку вы не можете реализовать абстрактный класс, упоминание о возможности создавать указатели на абстрактные классы звучит несколько странно. Однако если вспомнить о полиморфизме, то станет ясно, что это не так уж глупо, как кажется поначалу. Рассмотрим следующий фрагмент кода:
void fn( Account *pAccount ) ; /* Это допустимо */
void otherFn( )
{
Savings s ;
Checking c ;
/* Savings ЯВЛЯЕТСЯ Account */
fn( &s ) ;
/* Checking — тоже */
fn( &c ) ;
}
В этом примере pAccount объявлен как указатель на Account. Разумеется, при вызове функции ей будет передаваться адрес какого-то объекта неабстрактного класса, например Checking или Savings.
Все объекты, полученные функцией fn( ), будут объектами либо класса Checking, либо Savings ( или другого неабстрактного подкласса Account ). Можно с уверенностью заявить, что вы никогда не передадите этой функции объект класса Account, поскольку никогда не сможете создать объект этого класса.
Нужны ли чисто виртуальные функции...257
Если нельзя определить функцию withdrawal( ), почему бы просто не опустить её? Почему бы не объявить её в классах Savings и Checking, где она может быть определена, оставив в покое класс Account? Во многих объектно-ориентированных языках вы могли бы именно так и сделать. Но С++ предпочитает иметь возможность убедиться в вашем понимании того, что вы делаете.
«Не забывайте, что объявление функции — это указание полного имени функции, включающего её аргументы. Определение же функции включает в себя и код, который будет выполняться в результате вызова этой функции.»
[Помни!]
_________________
257 стр. Глава 22. Разложение классов
Чтобы продемонстрировать суть сказанного, можно внести следующие незначительные изменения в класс Account:
class Account
{
/* То же, что и раньше, но нет функции withdrawal( ) */
} ;
class Savings : public Account
{
public :
virtual void withdrawal( float amnt ) ;
} ;
void fn( Account *pAcс )
{
/* снять некоторую сумму */
pAcc -> withdrawal( 100.00f ) ;
/* Этот вызов недопустим, поскольку withdrawal( )не является членом класса Account */
}
int main( )
{
Savings s ; /* Открыть счёт */
fn( &s ) ;
/* Продолжение программы */
}
Представьте себе, что вы открываете сберегательный счёт s. Затем вы передаёте адрес этого счёта функции fn( ), которая пытается выполнить функцию withdrawal( ). Однако, поскольку функция withdrawal( ) не член класса Account, компилятор сгенерирует сообщение об ошибке.
Взгляните, как чисто виртуальная функция помогает решить эту проблему. Ниже представлена та же ситуация с абстрактным классом Account:
class Account
{
/* Почти то же, что и в предыдущей программе, однако функция withdrawal( ) определена */
virtual void withdrawal( float amnt ) = 0 ;
} ;
class Savings : public Account
{
public :
virtual void withdrawal( float amnt ) ;
} ;
void fn( Account *pAcc )
{
/* Снять некоторую сумму. Теперь этот код будет работать */
рАсс -> withdrawal( 100.00f ) ;
}
int main( )
{
Savings s ; /* Открыть счёт */
fn( &s ) ;