Нэш Трей - C# 2010. Ускоренный курс для профессионалов (2010) (1160865), страница 115
Текст из файла (страница 115)
В следующем коде специальный объект кучи использует функции йг)п32 для управления локальной кучей: пз1по Яувгеэ) ПВЯП9 ЯУЗСЕт.НППС1тэ.1ПСВГОРЯЕГЧЯСЕВ; рпЬ11с вез1ег) с1авз Итп32Нввр г 1раврозвЫе (0111нрогС("Хегпе132.с)11")) вСвгзс ехгегп 1пСРСг НеврСгевге(пгпС 110РС1опв, 01пСРСг Сн1п1СЯв131хе, 01пСРСг Сниахтнпая1хе); (0111нр С(ГХегпе132.г)11")) вгвСЯс ехгегп Ьоо1 Неароевггоу(1пСРСг ЬНевр)г рпЬ11с Изп32Невр() ( СЬЕНеар = НеарСгеаге( О, (01пСРСг) 409б, 01пСРСг.Еего )г /2 Реализация 101вроввЫе.
рпЫгс тоац Рьзрове() 11( !Ствровес ) ( Неароевггоу( СПеНеар )г Спенезр = 1пСРСг.зего; Ствроввц = Сгпе; В поисках канонических форм С() 433 ргачяпе 1псрпг Спенеяр; ргъчаге Ьоо1 Стярояеб = гя1яе! Этот объект не содержит в себе никаких объектов, реализующих 1О1ярояаЬ1е,поэтому проходить по дереву включения, вызывая П).ярояе,не понадобится, Внимание! Важно отметить, что в шаблоне Рйзрозаб(е реализация содержащихся объектов заставляет объект-контейнер реализовать интерфейс 1О1ярояаЬ1е, если содержащиеся в нем объекты реализуют 1П1ярояаЬ1е. Это отношение "изнутри наружу". Поскольку шаблон Р! ярояаЫе требует от пользователя явного вызова метода ьа яро яе, на пользователя возлагается ответственность за его вызов, даже в случае возникновения исключений.
Это делает реализацию клиентского кода утомительной. Например. рассмотрим следующий код, в котором открывается файл для записи: пя1пд Буяпев; иягпд Буягев.1О) рпЬ11с яез1еб с1аяя Хгапезсп11 ( ясак!с тотс Маап()( ясгеавигапег ян = пен БсгеявХгапег("Опсрпс.схс"); сгу ( ян.игзсеъ1пе( "Проверка аварийного механизма освобождения" ) ) 11пя11у ( 11( ян (= пп11 ) ( ((1оаярояяЬ1е)зн).О1ярояе(); Проектировщики Се поняли, насколько болезненным может оказаться написание такого кода, поэтому одновременно с появлением в .)ч)ЕТ Ргатпеиюг(к интерфейса 1руярояавуе бьшо перегружено ключевое слово пягпд для создания оператора пяапд, который должен был помочь в атой ситуации. В операторе пяупд объявляются одноразовые переменные внутри пары скобок и затем, когда управление покидает следующий блок кода, все объекты освобождаются.
Внутренне оператор пя1пд делает, по сути, то же самое, что и конструкция сгу/г1па11у. Чтобы убедиться в этом, достаточно взглянуть на сгенерированный код !Ь. Оператор пя).пд определенно помогает; однако клиент объекта все равно должен не забывать использовать его. Давайте модифицируем предыдущий пример. добавив оператор пяупд: пягпд Буяпев! пяапд Буягев.1О; рпЬ11с яеа1еп( с1яяя Хг1сезсп11 ( ясасзс то1б Мвтп()( пятов( Бсгеавигькег ян = пен Бсгеавиг1Гег("Опсрпс.пхп") ) ( ян.Хгугеьтпе( "Проверка аварийного механизма освобождения" )) Теперь представьте, что произойдет, если клиент объекта забудет вызвать О1ярояе или не воспользуется оператором пя1пд. Ясно, что в этом случае появляется шанс утеч- 434 Глава 13 ки ресурса. И потому в примере класса Изп32 Веар потребуется реализовать финализа- тор, как будет показано в следующем разделе. Нв заметку! В предыдуших примерах не было рассмотрено, что произойдет, если несколько потоков параллельно вызовут Р1эрозе, Хотя такая ситуация кажется маловероятной, ее необходимо предусмотреть, если разрабатывается код библиотеки, которую будут использовать неизвестные вам клиенты.
Нужен ли финализатор для ОЬ1есЛ Финалиэаптор (йпазйзег) — это метод, который можно реализовать в классе. вызываемый перед тем, как сборщик мусора (ОС) удалит неиспользуемый объект из кучи. Для начала следует уяснить одну важную концепцию; финализаторы — это не деструкторы, и вы не должны видеть в них деструкторы. Деструкторы ассоциируются с детерминированной деструкцией объектов.
Финализаторы имеют отношение к недетерминированной деструкции объектов. К сожалению, значительная путаница между финализаторами и деструкторами обусловлена тем фактом, что проектировщики языка СВ решили отобразить финализаторы на синтаксис деструкторов СВ, который идентичен синтаксису деструкторов С++. Фактически обнаруживается, что явно перегружать Рь) ест. узпа11хе в с» невозможно. Он перегружается неявно, используя синтаксис деструктора, который применяется в случае, если пришли из мира С++. Единственная хорошая вещь. присущая реализации финализаторов в Св — никогда не придется заботиться о явном вызове финализатора класса базового класса из класса-наследника.
Этим занимается компилятор. Большую часть времени, когда объект нуждается в некотором коде очистки (например, объект, абстрагирующий файл из файловой системы), этот код должен быть вызван детерминировано, например, при манипуляциях с неуправляемыми ресурсами. Другими словами. это должно произойти явно, когда пользователь завершил работу с объектом, а не тогда. когда ОС наконец-то соберется уничтожить объект. В этих случают данную функциональность необходимо реализовать с использованием шаблона О1зроваЫе.
Не следует полагать. что деструктор, который пишется для класса с применением знакомого синтаксиса деструктора, будет вызван, когда объект покинет контекст, как это происходит в С++. На самом деле, необходимость в реализации финализатора возникает очень редко.
Трудно представить себе задачу очистки. которую невозможно выполнить с использованием интерфейса 1РъзроэаЬ1е. На заметку! В действительности необходимость в написании финализатора возникает редко. В большинстве случаев для выполнения необходимой очистки ресурсов в объекте будет реализовываться шаблон 0!зрозаЫе. Тем не менее, финализаторы могут оказаться полезными для гарантированной очистки неуправляемых ресурсов, т.е, когда пользователь забыл вызвать 1РззроэаЬ1е.
Рззроэе. В идеальном мире можно было бы просто поместить весь типичный код деструктора в метод 1Р1зроэаЬ1е. Рьэроэе. Однако существует один серьезный побочный эффект от того, что в языке СВ не поддерживается детерминированная деструкция. Компилятор Св не вызывает автоматически 1Р1эрозаЬ1е. Рзэроэе на объекте. когда тот покидает контекст. Как упоминалось ранее, в СВ обязанность вызова 1Р1эрозаЬ1е. Р1зрозе возлагается на пользователя. За счет перегрузки ключевого слова цззпд в СВ упрощается задача гарантированного вызова 1РззроэаЬ1е. Рззрозе в случае возникновения исключений, но клиент объекта должен не забыть применить это ключевое слово. Это важно иметь в виду, и именно это разрушает мечту об "идеальном мире".
Б поисках канонических форм О№ 435 Мы живем не в идеальном мире, поэтому для того, чтобы напрямую надежно очистить используемые ресурсы, для любого объекта, реализующего интерфейс 10№зрозаЬ1е, необходимо также реализовать финалнзатор. который просто вызовет метод 01зрозе'. Таким образом, можно будет перехватить блуждающие ошибки, связанные с тем, что пользователи забывают использовать шаблон Р!ароваЫе и не освобождают правильно объект. Конечно, очистка неосвобожденных объектов теперь произойдет по инициативе ОС, но, по крайней мере, она все-таки произойдет. Имейте в виду: ОС вызывает финализаторы объектов, подлежащих очистке, в отдельном потоке. Теперь могут обеспокоить проблемы многозадачности в одноразовых объектах.
Маловероятно. что они окажут влияние при финализации, поскольку теоретически на финализируемый объект нет никаких ссылок извне. Однако это может стать фактором, влияющим на производимые в методе 0№зрозе действия. Например, если в методе 01эрозе используется внешний, возможно, неуправляемый объект для выполнения работы, на который может иметь ссылку другая сущность, то такой объект должен надежно работать в многопоточных средах. Лучше перестраховаться, чем потом сожалеть и бороться с проблемами многозадачности при реализации финализатора. Есть еще один важный момент. который был затронут в предыдущей главе.
При вызове метода О]. ерове через финалиэатор не должны использоваться ссылочные объекты, содержащиеся в полях внутри данного объекта. На первый взгляд, это звучит не слишком понятно, но следует учесть, что не существует никаких гарантий относительно последовательности финализацни объектов. Объекты в полях данного объекта перед запуском его финализатора уже могут быть финализированы.
Если окажется, что они уже уничтожены, но во время финализации используются, возникнет ветвящееся неопределенное поведение. Выявить причину такой ошибки будет весьма нелегко. Теперь должно быть ясно, что с финализаторами связано множество ловушек. Внимание! Будьте осторожны с любым объектом, используемым во время финализации, даже если речь идет не о поле финализируемого объекта. Обьект уже может быть помечен для финалиэации, и идет может быть или не быть финализированным. Использование объектных ссылок внутри финализатора действительно ведет на скользкую дорожку. Многие методики рекомендуют воздерживаться от применения внешних обьектов внутри финализатора.
Объективный факт состоит в том, что в любой момент, когда объект, поддерживающий финализатор, перемещается в очередь финалиэации сборщика мусора, все элементы графа объектов имеют корни и достижимы, финализируемы они или нет. Поэтому если финализируемый объект содержит в себе приватный, нефинализируемый объект, с ним можно работать в финализаторе, поскольку известно, что он еще существует и никак не может быть финалиэирован перед вашим объектом, поскольку не имеет финализатора, Обязательно прочтите врезку "На заметкур далее в тексте. Вернемся к примеру Н1п32Нвар из предыдущего раздела и модифицируем его, добавив финализатор. Последуем рекомендованному шаблону О]зроэаЫе и посмотрим, как изменится код: цз1пд Яузкегм из1пс Яуэкев.кипе!ве.1пкегорзегчасез; рцб11с с1азэ Х!п32Неар: 101зроззбзе ( ]0111арогк]")гегле132.с)11")] згаг1с екгегп 1пкРСг Неарсгеаке]цзпк 110рк1опз, 01лСРСг Пн1п1гзэ1Я!ге, 01пкгкг г)ниак1вцаЯ1хе); ' Объекты, реализующие 10! зрозаЬ1е только по причине того, что содержащиеся в них типы реализуют 10].
яро з аЬ1е, не должны иметь финализатора. Они не управляют ресурсами напрямую, и такой финализатор только излишне увеличит нагрузку на поток финализаторов и сборщик мусора. 436 Глава 13 [0111щрогс(уйегпе132.г(11")) ясасгс ехсегп Ьоо1 Неарреясгоу(1пГРГг ЬНеар); риЬ1гс Игп32Неяр() ( ГЬеНеяр = НеярСгеасе( О, (01пГРГг) 4096, О1пГРГг.2его ) ) О Реализация 1Р1ярояаЬ1е.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
