Файл: 3_C#_2005_для_чайников_(Дэвис-2008).pdf

{

i f b a i s S a v i n g s A c c o u n t

{

S a v i n g s A c c o u n t s a = ( S a v i n g s A c c o u n t ) b a , • s a . W i t h d r a w ( m A m o u n t ) ;

}e l s e

{

b a . W i t h d r a w ( m A m o u n t ) ;

}

}

Теперь, когда M a i n () передает функции объект типа S a v i n g s A c c o u n t , функции M a k e A W i t h d r a w a l () проверяет тип времени выполнения объекта ba и вызывает функцию S a v i n g s A c c o u n t . W i t h d r a w ( ) .

Программист может выполнить вызов одной строкой: ( ( S a v i n g s A c c o u n t ) b a ) . W i t h d r a w ( m A m o u n t ) ;

Об этом упоминается только потому, что имеется масса программ, в который вызовы осуществляются именно таким образом. Однако данный подход приво дит к менее удобочитаемому исходному тексту, соответственно — к большему количеству ошибок в программе.

Подход с использованием i s вполне работоспособен, но это далеко не лучшая идея Применение is требует от функции M a k e A W i t h d r a w a l () осведомленности о всех возможных типах счетов, которые имеются (и могут появиться в дальнейшем) в банк Это накладывает на функцию M a k e A W i t h d r a w a l () слишком большую ответстве ность. Да, сейчас ваше приложение обходится двумя классами, но завтра от вас могу потребовать реализовать новый вид счета, например, C h e c k i n g A c c o u n t , и вы будете вынуждены перерыть всю программу в поисках мест, в которые надо внести добавления связанные с проверкой типа аргумента функции в процессе выполнения программы.

Объявление метода виртуальным

В качестве автора функции M a k e A W i t h d r a w a l () вы бы, конечно, не хотели делав ее осведомленной о всех возможных типах счетов. Хотелось бы предоставить это про­ граммисту, использующему функцию M a k e A W i t h d r a w a l ( ) , т.е. заставить С# самому; принимать решение о том, какой метод должен быть вызван,

основываясь на информации о типе объекта времени выполнения программы.

М о ж н о заставить С# самостоятельно принимать решение о версии W i t h d r a w () торую следует вызвать. Для этого необходимо пометить функцию базового класса при п о м о щ и ключевого слова v i r t u a l , а каждую версию функции в подклассах — ключе вым словом o v e r r i d e .

Предыдущая демонстрационная программа переписана с использован полиморфизма, при этом в каждый из методов W i t h d r a w () добавлен вод строки, чтобы было точно видно, какого класса метод вызывается в или ином случае.

/ / P o l y m o r p h i c l n h e r i t a n c e - п о л и м о р ф н о е с о к р ы т и е м е т о д а / / б а з о в о г о к л а с с а

{

t h i s . m l n t e r e s t R a t e = m l n t e r e s t R a t e / 1 0 0 ;

/ / A c c u m u l a t e l n t e r e s t - н а ч и с л е н и е п р о ц е н т о в p u b l i c v o i d A c c u m u l a t e l n t e r e s t ( )

{

m B a l a n c e = B a l a n c e + ( B a l a n c e * m l n t e r e s t R a t e ) , -

/ / W i t h d r a w . - с н я т и е с о с ч е т а п р о и з в о л ь н о й с у м м ы , н е

мя как в подклассе он помечен как o v e r r i d e . Метод M a k e A W i t h d r a w a l () остается без изменений, и вывод при его вызове различен из-за того, что разрешение вызова ba. W i t h d r a w () осуществляется на основании типа ba во время выполнения программы.

Для полного понимания того, как это работает, желательно пошагово пройти программу в отладчике Visual Studio 2005. Для этого соберите программу как обычно, а затем нажимайте клавишу <F11> для пошагового ее выполнения. Это достаточно впечатляющее зрелище, когда один и тот же вызов приводит в раз­ ные моменты к двум разным методам.

Будьте экономны при объявлении методов виртуальными. Все имеет свою це­ ну, так что используйте ключевое слово v i r t u a l только при необходимости.

Утка — вид птицы. Так же как воробей или колибри. Любая птица представляет ка­ кой-то подвид птиц. Но обратная сторона медали в том, что нет птицы, которая была бы птицей вообще. С точки зрения программирования это означает, что все объекты B i r d являются экземплярами каких-то подклассов B i r d , но не имеется ни одного экземпляра класса B i r d . Так что же такое птица? Это всегда какой-то конкретный вид — пингвин, курица или, к примеру, страус.

Различные типы птиц имеют множество общих свойств (в противном случае они бы не были птицами), но нет двух типов, у которых бы общими были все свойства. Если бы такие типы были, они были бы одинаковыми типами, ничем не отличающимися друг от друга.

Разложение классов

Люди систематизируют объекты, выделяя их общие черты. Ч т о б ы увидеть, как это работает, рассмотрим два к л а с с а — H i g h S c h o o l и U n i v e r s i t y , показанные на рис. 13.1. Здесь для описания классов использован Унифицированный Я з ы к Моделиро­ вания (Unified Modeling Language, U M L ) , графический язык, описывающий классы и их взаимоотношения друг с другом.

Помните — машина ЯВЛЯЕТСЯ транспортным средством, но С О Д Е Р Ж И Т мотор.

t Как видно на рис. 13.1, у ш к о л ы и университета много общих свойств. И у школы, и у университета имеется открытый метод E n r o l l () для добавления объекта S t u d e n t (зачисления в учебное заведение). Оба класса имеют закрытый член n u m S t u d e n t s , в котором хранится число учащихся. Еще одно общее свойство — взаимоотношения уча­ щихся и учебных заведений: в учебном заведении может быть много учащихся, в то время

как один учащийся учится одновременно только в одном учебном заведении. Само со­ бой, имеется масса других свойств учебных заведений, но для данного рассмотрения ог­ раничимся перечисленным .

Рис. 13.1. UML-описание классов HighSchool и University

В дополнение к свойствам ш к о л ы университет содержит метод G e t G r a n t () и членданные nAvgSAT .

Рис. 13.1 корректно отображает ситуацию, но большая часть информации дублирует­ ся. Уменьшить дублирование можно, если позволить классу U n i v e r s i t y унаследовать более простой класс H i g h S c h o o l , как показано на рис. 13.2.

SAT и методом G e t G r a n t ( ) . Однако такое решение имеет одну фундаментальную про­ блему — университет вовсе не школа со специальными свойствами.

Вы можете сказать: " Н у и что? Главное, что наследование работает и экономит наши усилия". Да, конечно, это так, но сказанное выше — не просто стилистическая тривиаль­ ность. Такое неверное представление может ввести в заблуждение программиста как сейчас, так и в будущем. В один прекрасный день ему, незнакомому с вашими фокусами, придется читать и разбираться в ваших исходных текстах, и такое неверное представле­