C++ за 21 день седьмое издание

Интеллектуальные указатели подсчета ссылок


Подсчет ссылок (reference counting) — это механизм подсчета количества пользовате­ лей объекта. Когда их количество сокращается до нуля, объект освобождается. Подсчет ссылок — это очень хороший механизм для совместного использования объектов без не­ обходимости их копирования. Если вы когда-нибудь работали с технологией M icrosoft под названием СОМ, то концепция подсчета ссылок определенно вам знакома.

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

0. 
   Счетчик ссылок содержится в объекте, на который указывает указатель.
   

0. 
   Счетчик ссылок поддерживается классом указателя и хранится в совместно используе­ мом объекте.
   

Первый вариант, где счетчик ссылок содержится в объекте, называется внедренным

подсчетом ссылок (intrusive reference counting), поскольку объект должен быть изменен.

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

0. 
   совместно используемом объекте, является механизмом, где класс интеллектуального указателя способен хранить счетчик ссылок в динамической памяти (целое число в ди­ намической памяти, например), а при копировании конструктор копий увеличивает это значение.
   

Таким образом, механизм подсчета ссылок удобен при работе интеллектуальных указателей только с объектами. Управление объектами при помощи интеллектуальных указателей при наличии простых указателей на них является плохой идеей, поскольку интеллектуальный указатель (интеллектуально) освобождает объект, когда содержащийся

0. 
   нем счетчик доходит до нуля, но простой указатель продолжает указывать на ту область памяти, которая вашему приложению больше не принадлежит. Кроме того, подсчет ссы­ лок может вызвать специфические проблемы в таких, например, ситуациях: два объекта, которые содержат указатели друг на друга, никогда не освободятся, поскольку цикличе­ ская зависимость (cyclic dependency) удерживает их счетчики ссылок в минимальном значении 1.
   

580 ЗАНЯТИЕ 26. Понятие интеллектуальных указателей