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

{

/ / U p d a t e - ф у н к ц и я п ы т а е т с я м о д и ф и ц и р о в а т ь з н а ч е н и я / / а р г у м е н т о в , п е р е д а н н ы е е й ; о б р а т и т е в н и м а н и е , н а / / п е р е д а ч у а р г у м е н т о в к а к r e f и o u t

{

/ / О б ъ я в л я е м д в е п е р е м е н н ы е и о д н у и н и ц и а л и з и р у е м

/ / В ы з ы в а е м ф у н к ц и ю

' U p d a t e ( r e f i , o u t d ) ;

/ / О б р а т и т е в н и м а н и е — з н а ч е н и е i р а в н о 1 0 , з н а ч е н и е d / / р а в н о 2 0 . 0

C o n s o l e . W r i t e L i n e ( " П о с л е в ы з о в а "

" U p d a t e ( r e f i n t , o u t d o u b l e ) : " ) , - C o n s o l e . W r i t e L i n e ( " i = " + i + ", d = " + d ) ;

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

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 ( ) ;

Ключевое слово r e f указывает С#, что в функцию следует передать ссылку на i, а не просто значение этой переменной. Следовательно, изменения, выполненные с этой переменной, оказываются экспортированы обратно вызывающей программе.

Подобно этому, ключевое слово o u t говорит: "Передай ссылку на эту переменную, но можешь никак не заботиться о ее значении, поскольку оно все равно не будет исполь­ зоваться и будет перезаписано в процессе работы функции". Это ключевое слово годится тогда, когда переменная применяется исключительно для того, чтобы вернуть значение вызывающей программе.

Выполнение рассмотренной программы P a s s B y R e f е г е п с е приводит к следующе­

Обратите внимание, что начальные значения i и d переписываются в функции Up ­ dated . После возврата в функцию M a i n () эти переменные остаются с измененными в функции U p d a t e () значениями. Сравните это поведение с программой P a s s B y ­ Value, где внесенные изменения не сохраняются при выходе из функции.

Не передавайте переменную по ссылке дважды

Никогда не передавайте по ссылке одну и ту же переменную дважды в одну функцию, поскольку это может привести к неожиданным побочным эффек­ там. Описать эту ситуацию труднее, чем просто продемонстрировать при­ мер программы. Внимательно взгляните на функцию U p d a t e () в приве­ денном листинге.

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

Почему некоторые аргументы используются только для возврата значений?

С# по мере возможности старается защитить программиста от всех глупостей, которые он может вольно или невольно сделать. Одна из этих глупостей — программист может забыть проинициализировать переменную перед ее первым применением (особенно час­ то это случается с переменными-счетчиками). С# генерирует ошибку, когда вы пытае­ тесь использовать объявленную, но не инициализированную переменную:

{

C o n s o l e . W r i t e L i n e ( " О ш и б к а и л и н е т ? " + n V a r i a b l e ) ;

} ,

Откуда функция S o m e F u n c t i o n () может знать, была ли переменная n V a r i a b l e инициализирована перед вызовом функции? Это невозможно. Вместо этого С# отсле­ живает переменные при вызове функции — например, вот такой вызов функции при­ ведет к сообщению об ошибке:

i n t n U n i n i t i a l i z e d V a r i a b l e ;

S o m e F u n c t i o n ( r e f n U n i n i t i a l i z e d V a r i a b l e ) ;

Если бы C# позволил осуществить такой вызов, то функция S o m e F u n c t i o n () полу­ чила бы ссылку на неинициализированную переменную (т.е. на мусор (garbage)) в па­ мяти. Ключевое слово o u t позволяет функции и вызывающему ее коду договориться о том, что передаваемая по ссылке переменная может быть не инициализирована — функция обещает не использовать ее значение до тех пор, пока оно не будет какимлибо образом присвоено самой функцией. Следующий фрагмент исходного текста компилируется без каких-либо замечаний:

i n t n U n i n i t i a l i z e d V a r i a b l e ;

S o m e F u n c t i o n ( o u t n U n i n i t i a l i z e d V a r i a b l e ) ;

Передача инициализированной переменной как out-аргумента также является кор­ ректным действием:

i n t n l n i t i a l i z e d V a r i a b l e = 1 ;

S o m e F u n c t i o n ( o u t n l n i t i a l i z e d V a r i a b l e ) ;

В этом случае значение переменной n l n i t i a l i z e d V a r i a b l e будет просто проиг­ норировано функцией S o m e F u n c t i o n ( ) , но никакой опасности для программы это не представляет.