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

О: template

1. 
   class destructivecopy_pointer
   

2 : {

0. 
   private:
   

0. 
   T* pObject;
   

Типы интеллектуальных указателей

581

0. 
   public:
   

0. 
   destructivecopy_pointer(Т* plnput):pObject(plnput) {}
   
1. 
   ~destructivecopy_pointer() { delete pObject; }
   

8
9 // конструктор копий

0. 
   destructivecopy_pointer(destructivecopy_pointer& source)
   

0. 
   {
   
1. 
   // Взять копию в собственность
   

0. 
   pObject = source.pObject;
   

14

0. 
   // удалить первоисточник
   

0. 
   source.pObject = 0;
   

0. 
   _}
   

18

0. 
   // Оператор присвоения копии
   

0. 
   destructivecopy_pointer& operator= (destructivecopy_pointer& rhs)
   
1. 
   {
   

0. 
   if (pObject != source.pObject)
   

0. 
   {
   

0. 
   delete pObject;
   

0. 
   pObject = source.pObject;
   

0. 
   source.pObject = 0;
   

27


28


29


30

0. 
   int main()
   

0. 
   {
   

0. 
   destructivecopy_pointer pNumber (new int);
   

0. 
   destructivecopy_pointer pCopy = pNumber;
   

0. 
   

0. 
   // pNumber теперь недопустим
   

0. 
   return 0;
   

0. 
   }
   

Анализ

0. 
   листинге 26.3 показана самая важная часть реализации интеллектуального указа­ теля деструктивного копирования. Строки 10-17 и 20-28 содержат конструктор копий и оператор присвоения копии соответственно. Эти функции делают первоисточник недей­ ствительным при его копировании; т.е. после копирования конструктор копий устанавли­ вает указатель, содержавшийся первоисточником, в NULL, оправдывая название деструк­ тивное копирование. Оператор присвоения делает то же самое. Таким образом, указатель pNumber фактически объявляется недопустимым в строке 34, когда присваивается друго­ му указателю. Это поведение противоестественно действию присвоения.
   

ВНИМАНИЕ!
Конструктор копий и оператор присвоения копии, которые критически важны для реализации интеллектуальных указателей деструктивного копирования, также продемонстрированные в листинге 26.3, вызывают максимум критики. В отличие от большинства классов C++, у этого не может быть конструктора ко­ пий и оператора присвоения получающих константные ссылки, поскольку они

582 ЗАНЯТИЕ 26. Понятие интеллектуальных указателей
должны объявлять первоисточник недопустимым после его копирования. Это не только отклонение от традиционной семантики конструктора копий и оператора присвоения, это делает использование класса интеллектуального указателя не интуитивно понятным. Немногие ожидают, что оригинал копии или первоисточ­ ник присвоения окажутся недопустимы после присвоения или копирования. Тот факт, что такие интеллектуальные указатели уничтожают первоисточник, также делает их неподходящими для использования в таких контейнерах библиоте­ ки STL, как s t d : : v e c to r, или любой другой динамический класс коллекции, который вы могли бы использовать. Эти контейнеры должны копировать свое содержимое внутренне, а все заканчивается тем, что указатели оказываются недопустимыми.

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

СОВЕТ	До сих пор	по стандарту	C++ основным интеллектуальным указателем де­
	структивного	копирования	считался указатель au to _ p tr. Теперь, в C++11,
	его применение не рекомендуется, и вместо него следует использовать класс
	s td : :u n iq u e _ p tr.