смарт-указатели (boost) объяснил

основные свойства интеллектуальных указателей

это легко, когда у вас есть свойства, которые вы можете назначить каждому смарт-указателю. Есть три важных свойства.

• нет собственности вообще
• передачи в собственность
• долей собственности

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

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

некоторые владельцы смарт-указателей не поддерживают ни второй, ни третий. Поэтому они не могут быть возвращены из функций или переданы в другое место. Который наиболее подходит для RAII цели, в которых интеллектуальный указатель хранится локально и просто создается, чтобы освободить объект после его выхода из области видимости.

доля собственности может быть реализована с помощью конструктора копирования. Это естественно копирует смарт-указатель, и как копия, так и оригинал будут ссылаться на один и тот же объект. Передача права собственности в настоящее время не может быть реализована в C++, потому что нет средств для передачи чего-либо от одного объекта к другому, поддерживаемых языком: Если вы пытаетесь вернуть объект из функции, происходит то, что объект копируется. Так что умный указатель, который реализует передача права собственности должна использовать конструктор копирования для реализации этой передачи права собственности. Однако это, в свою очередь, нарушает его использование в контейнерах, поскольку требования устанавливают определенное поведение конструктора копирования элементов контейнеров, которое несовместимо с этим так называемым "движущимся конструктором" поведения этих интеллектуальных указателей.

C++1x обеспечивает встроенную поддержку передачи прав собственности путем введения так называемых" конструкторов перемещения "и"операторов присваивания перемещения". Оно также поставляется с таким интеллектуальным указателем передачи собственности под названием unique_ptr.

категоризация интеллектуальных указателей

scoped_ptr - Это смарт-указатель, который не является ни переводной, ни показать. Это просто можно использовать, если вам локально нужно выделить память, но убедитесь, что она снова освобождена, когда она выходит за рамки. Но он все еще может быть заменен другим scoped_ptr, если вы хотите это сделать.

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

weak_ptr не является владельцем смарт-указатель. Он используется для ссылки на управляемый объект (управляемый shared_ptr) без добавления счетчика ссылок. Обычно вам нужно будет получить необработанный указатель из shared_ptr и скопировать его. Но это было бы небезопасно, так как у вас не было бы способа проверить, когда объект был фактически удален. Так, weak_ptr предоставляет средства с помощью ссылки на объект, управляемый shared_ptr. Если вам нужно получить доступ к объекту, вы можете заблокировать управление им (чтобы избежать этого в другом потоке shared_ptr освобождает его во время использования объекта), а затем использовать его. Если weak_ptr указывает на уже удаленный объект, он заметит вас, создав исключение. Используя создание наиболее выгоден, когда у вас есть циклическая ссылка: подсчет ссылок не может легко справиться с такой ситуацией.

intrusive_ptr как shared_ptr, но это не сохраняет счетчик ссылок в shared_ptr, но оставляет увеличение / уменьшение счетчика для некоторых вспомогательных функций, которые должны быть определены управляемым объектом. Это имеет то преимущество, что уже упомянутый объект (который имеет счетчик ссылок, увеличенный внешним механизмом подсчета ссылок) может быть вставлен в intrusive_ptr - потому что счетчик ссылок больше не является внутренним для интеллектуального указателя, но интеллектуальный указатель использует существующий подсчет ссылок механизм.

unique_ptr - это указатель на передачу права собственности. Вы не можете скопировать его, но вы можете переместить его с помощью конструкторов перемещения C++1x:

unique_ptr<type> p(new type);
unique_ptr<type> q(p); // not legal!
unique_ptr<type> r(move(p)); // legal. p is now empty, but r owns the object
unique_ptr<type> s(function_returning_a_unique_ptr()); // legal!

это семантика, которой подчиняется std::auto_ptr, но из-за отсутствия собственной поддержки для перемещения он не может обеспечить их без подводных камней. unique_ptr автоматически украдет ресурсы из временного другого unique_ptr, который является одной из ключевых особенностей семантики перемещения. auto_ptr будет устаревшим в следующем C++ Стандартный релиз в пользу unique_ptr. C++1x также позволит заполнять объекты, которые являются только подвижными, но не копируемыми в контейнеры. Таким образом, вы можете заполнить unique_ptr в вектор, например. Я остановлюсь здесь и отсылаю вас к прекрасная статья об этом, если вы хотите узнать больше об этом.