Поскольку ThreedVGA наследуется от HWVGA, он должен переопределить только одну функцию, initialize( ), для того чтобы окончательно определить адаптер дисплея. Таким образом, функция fn( ) может свободно реализовать и использовать объект класса ThreedVGA.
«Замещение нормальной функцией последней чисто виртуальной функции делает класс завершённым ( т.е. неабстрактным ). Только неабстрактные классы могут быть реализованы в виде объектов.»
[Помни!]
<p id="chapter22.2.3"><strong><emphasis>Передача абстрактных классов...257</emphasis></strong></p>Поскольку вы не можете реализовать абстрактный класс, упоминание о возможности создавать указатели на абстрактные классы звучит несколько странно. Однако если вспомнить о полиморфизме, то станет ясно, что это не так уж глупо, как кажется поначалу. Рассмотрим следующий фрагмент кода:
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, поскольку никогда не сможете создать объект этого класса.
<p id="chapter22.2.4"><emphasis><strong>Нужны ли чисто виртуальные функции...257</strong></emphasis></p>Если нельзя определить функцию 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 ) ;
