C# для чайников

/ / C o n s t r u c t o r 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 к а к

{

/ / B a n k A c c o u n t - м о д е л ь б а н к о в с к о г о с ч е т а с н о м е р о м с ч е т а / / ( н а з н а ч а е м ы м п р и с о з д а н и и ) и б а л а н с о м

p u b l i c c l a s s B a n k A c c o u n t

{

/ / Н о м е р а с ч е т о в н а ч и н а ю т с я с 1 0 0 0 и п о с л е д о в а т е л ь н о / / у в е л и ч и в а ю т с я

p u b l i c s t a t i c i n t n N e x t A c c o u n t N u m b e r = 1 0 0 0 ; / / Н о м е р с ч е т а и б а л а н с д л я к а ж д о г о о б ъ е к т а p u b l i c i n t n A c c o u n t N u m b e r ;

p u b l i c d e c i m a l m B a l a n c e ; / / К о н с т р у к т о р ы

p u b l i c B a n k A c c o u n t ( ) : t h i s ( 0 )

{

{

public BankAccount(decimal mlnitialBalance)

{

n A c c o u n t N u m b e r = + + n N e x t A c c o u n t N u m b e r ; m B a l a n c e = m l n i t i a l B a l a n c e ;

// . . . О с т а л ь н ы е м е т о д ы . . .

}

/ / S a v i n g s A c c o u n t - б а н к о в с к и й с ч е т с н а ч и с л е н и е м // п р о ц е н т о в

p u b l i c c l a s s S a v i n g s A c c o u n t : B a n k A c c o u n t

{

p u b l i c d e c i m a l m l n t e r e s t R a t e ;

/ / К о н с т р у к т о р ы . П р о ц е н т н а я с т а в к а в ы р а ж а е т с я ч и с л о м о т

: t h i s ( m l n t e r e s t R a t e , 0 )

: b a s e ( m l n i t i a l )

{

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 ;

I I . . . О с т а л ь н ы е м е т о д ы . . .

}

p u b l i c c l a s s P r o g r a m

{

{

}

p u b l i c s t a t i c v o i d M a i n ( s t r i n g [ ] a r g s )

{

s a . T o S a v i n g s A c c o u n t S t r i n g ( ) ) ; / / О ж и д а е м п о д т в е р ж д е н и я п о л ь з о в а т е л я

C o n s o l e . W r i t e L i n e ( " Н а ж м и т е < E n t e r > д л я " +

" з а в е р ш е н и я п р о г р а м м ы . . . " ) ;

C o n s o l e . R e a d ( ) ;

}

}

}

Класс B a n k A c c o u n t определяет два конструктора: один, который получает началь ное значение баланса, и конструктор по умолчанию, не получающий никаких аргуи тов. Чтобы избежать дублирования кода конструкторов, конструктор по умолчанию зывает конструктор с передаваемым начальным значением баланса посредством

качестве аргументов величину процентной ставки и начальное значение баланса, перед вая в качестве последнего 0. В свою очередь, этот конструктор наиболее o6mei о вс передает начальное значение баланса соответствующему конструктору B a s e C l a s s это отражено на диаграмме на рис. 12.1).

Рис. 12.1. Передача параметров в цепочке вызовов конструкторов

П р о г р а м м а м о д и ф и ц и р о в а н а т а к и м о б р а з о м , ч т о б ы и з б е ж а т ь вызова внутренних

С# предоставляет также метод, обратный конструктору и именуемый деструктором. Деструктор имеет то же имя, что и имя класса, но предваренное символом тильды (~). Например, метод - B a s e C l a s s ( ) является деструктором класса B a s e C l a s s ( ) .

С# вызывает деструктор, когда перестает использовать объект. Деструктор по умол­ чанию — единственный, который может иметь класс, поскольку деструктор не вызыва­ ется явно. Кроме того, деструктор всегда виртуален (о виртуальных методах будет рас­ сказано в главе 13, " П о л и м о р ф и з м " ) .

При использовании наследования деструкторы вызываются в порядке, обратном порядку вызова конструкторов. Таким образом, деструктор подкласса вызывается перед деструктором базового класса.

Сборка мусора и деструкторы С#

Деструктор в С# менее полезен, чем в ряде других объектно-ориентированных языков программирования, таких как С + + , поскольку в С# используется нектерминистическая деструкция. Этот термин и его важность требуют определенных

пояснений.

Память для объекта выделяется из кучи при выполнении команды n e w , например, new S u b c l a s s ( ) . Блок памяти остается зарезервированным до тех пор, пока имеет­ ся хоть одна корректная ссылка на эту память. Вы можете иметь несколько перемен­ ных, ссылающихся на один и тот же объект.

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

Когда блок памяти становится недостижимым, С# не предпринимает никаких специ­ фических действий. В фоновом режиме выполняется низкоприоритетный системный процесс, который проводит поиск недостижимых блоков памяти. Такой " с б о р щ и к му­ сора" запускается, когда в работе программы наступает затишье — чтобы не повлиять отрицательно на ее производительность. Когда сборщик мусора находит недостижи­ мый блок памяти, он возвращает его в кучу.

скольку не вызываются до тех пор, пока объект не будет подобран сборщиком мусора, а это может случиться через продолжительное время после того, как объект переста­ нет использоваться. М о ж е т даже возникнуть ситуация, когда программа завершится до того, как будет выполнена очередная сборка мусора, и в этом случае деструктор не будет вызван вообще. Недетерминистический означает, что вы не можете предска­ зать, когда объект будет уничтожен сборщиком мусора. М о ж е т пройти немало време­ ни до того, как объект будет подобран сборщиком мусора и будет вызван деструктор этого объекта.

О с н о в н ой вывод — программист на С# не может полагаться на автоматический вызов деструктора, как в таком языке, как С + + , так что деструкторы в С# использую крайне редко. В С# имеются другие способы вернуть системе захваченные ресурсов которые больше не нужны, — с применением метода D i s p o s e ( ) , изучение которые увы, выходит за рамки настоящей книги.

Простейший случай перегрузки функции

Д ве функции с одинаковым именем называются перегруженными.

Аргументы функции становятся частью ее расширенного имени (используемого в внутренне), как показано в следующем фрагменте исходного текста:

A F u n c t i o n ( ) ; A F u n c t i o n ( 1 ) ;

A F u n c t i o n ( 2 . 0 ) ;

}

}

C# в состоянии различать эти методы по их аргументам. Каждый из вызовов в фун| ции M a i n () обращается к своей функции.

Возвращаемый тип не является частью расширенного имени функции, так чя вы не можете иметь две функции, отличающиеся только типами возвращаемой значения.

Различные классы, различные методы

Не удивительно, что класс, которому принадлежит функция, также становится чася ее расширенного имени . Рассмотрим следующий фрагмент исходного текста:

{

Имя класса является частью расширенного имени функции, так что для С# очевидно, какую именно функцию A F u n c t i o n () или метод A M e t h o d () вызывать в каждом кон­ кретном случае.

Сокрытие метода базового класса

Итак, метод одного класса может перегружать другой метод того же класса, если ис­ пользует другие аргументы. Метод также может перегружать метод базового класса. Пе­ регрузка метода базового класса известна как сокрытие метода.

Предположим, ваш банк проводит новую политику, в соответствии с которой снятие с депозитного счета отличается от других типов снятия со счета. Предположим для кон­ кретности, что каждое снятие со счета обходится вкладчику в сумму 1.50.

При использовании функционального подхода вы можете реализовать эту политику посредством переменной-флага в классе, который бы указывал, принадлежит ли объект типу S a v i n g s A c c o u n t или B a n k A c c o u n t . В этом случае метод снятия со счета дол­ га проверять значение флага, чтобы выяснить, следует ли снимать дополнительные

.50, как показано в следующем фрагменте исходного текста,

public c l a s s B a n k A c c o u n t

{

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

{

m B a l a n c e = m l n i t i a l B a l a n c e ;

t h i s . i s S a v i n g s A c c o u n t = i s S a v i n g s A c c o u n t ;

)

p u b l i c d e c i m a l W i t h d r a w ( d e c i m a l m A m o u n t )

{

// Е с л и с ч е т д е п о з и т н ы й . . .

{

m A m o u n t T o W i t h d r a w = m B a l a n c e ;

m B a l a n c e - = m A m o u n t T o W i t h d r a w ;

r e t u r n m A m o u n t T o W i t h d r a w ;

}

}

c l a s s M y C l a s s

{

p u b l i c v o i d S o m e F u n c t i o n ( )

{

/ / С о з д а е м д е п о з и т н ы й с ч е т

B a n k A c c o u n t b a = n e w B a n k A c c o u n t ( 0 , t r u e ) ;

}

.}

В а ш а функция должна указывать, какой именно счет создается, путем передачи полнительного аргумента конструктору B a n k A c c o u n t . Конструктор сохраняет файл затем используемый в методе W i t h d r a w () Для снятия дополнительной суммы 1.50.

Объектно - ориентированный подход скрывает метод W i t h d r a w () базом го класса B a n k A c c o u n t н о в ы м методом с тем же и м е н е м в классе Sat i n g s A c o o u n t , как показано в приведенной далее демонстрационной программе .

n a m e s p a c e H i d i n g W i t h d r a w a l

{

p r o t e c t e d d e c i m a l m B a l a n c e ;

g e t { r e t u r n m B a l a n c e ; }

p u b l i c d e c i m a l W i t h d r a w ( d e c i m a l m A m o u n t )

d e c i m a l m A m o u n t T o W i t h d r a w = m A m o u n t ; i f ( m A m o u n t T o W i t h d r a w > B a l a n c e )

{

m A m o u n t T o W i t h d r a w = B a l a n c e ;

}

m B a l a n c e - = m A m o u n t T o W i t h d r a w ; r e t u r n m A m o u n t T o W i t h d r a w ;

/ / В ы в о д и м с о с т о я н и я с ч е т о в

s a . B a l a n c e ) ;

/ / О ж и д а е м п о д т в е р ж д е н и я п о л ь з о в а т е л я

C o n s o l e . W r i t e L i n e ( " Н а ж м и т е < E n t e r > д л я " +

" з а в е р ш е н и я п р о г р а м м ы . . . " ) ;

C o n s o l e . R e a d ( ) ;

B a n k A c c o u n t . W i t h d r a w () снимает только указанную сумму (но не более суммы на счету). Когда же функция M a i n () снимает деньги с депозитного счета, метод Saving

ственно с балансом. Если это возможно — пусть базовый класс сам работает» своими членами-данными.

Чем сокрытие лучше проверки флага

На первый взгляд добавление флага в метод B a n k A c c o u n t . W i t h d r a w () представ ляется более простым решением, чем предложенный вариант с сокрытием метода базо вого класса. В конце концов, использование флага потребовало добавления всего лишь четырех строк.

Однако простое решение порождает массу проблем. Первая заключается в том, что класс B a n k A c c o u n t не должен беспокоиться о деталях работы S a v i n g s A c c o u n t . Го воря формально, это нарушает принцип инкапсуляции. Базовый класс не должен ничего знать о своих потомках.

Все сказанное приводит ко второй, более сложной проблеме. Предположим, банки по очереди вводит новые с ч е т а — например, C h e c k i n g A c c o u n t , C D A c c o u n t , TBil- l A c c o u n t . У каждого из них — свои правила снятия денег со счета и каждый использу­ ет свой собственный флаг. После трех-четырех добавлений новых типов счетов старьй метод B a n k A c c o u n t . W i t h d r a w () начинает выглядеть слишком сложным . Каждый новый вид счета приводит, ко все большим изменениям этого метода.

Такое решение совершенно не подходит. Классы должны отвечать сами за себя.

Случайное сокрытие метода базового класса

Метод базового класса может оказаться скрытым случайно. Пусть, например, имеется метод V e h i c l e . T a k e O f f ( ) , который начинает движение транспортного средства. Поз­ же кто-то может расширить класс V e h i c l e , создав класс A i r p l a n e . Понятно, что метод T a k e O f f () этого класса совершенно не тот же, что у класса V e h i c l e . Очевидно, что это случай ложной тождественности — два метода не имеют ничего общего, кроме имени.

К счастью, С# в состоянии обнаружить такую проблему.