Такой подход имеет ряд недостатков.
- Создание объекта отдельно от создание указателя.
- Код выше должен гарантировать, что объект создается с помощью new.
- Код выше должен гарантировать, что объект нигде не удаляется.
- Код выше должен гарантировать, что в объекте, на который ссылается qb нет умных указателей на наш объект (который this в данной функции-члене).
- Код выше должен гарантировать, что больше нет умных указателей на данный объект.
Теперь по каждому пункту подробнее.
1) Когда Вы создаете shared_ptr
, выделяется блок динамической памяти для хранения служебных данных, например, счетчик ссылок, собственный delete'ор и т.д.
Таким образом, у Вас будет одно выделение памяти для создания объекта, и одно для создания этого блока служебных данных. И объект и данные также будут лежать в разных участках памяти, поэтому, такая структура, помимо лишнего выделения памяти может еще быть не дружелюбной к кешу.
Для того, чтобы выделить память под объект и указателя рядом, одним выделением, можно использовать std::make_shared
. Она за одно выделение памяти сделает и указатель и динамический блок с данными.
2) Для данного shared_ptr
не указан пользовательский метод удаления, а значит будет использоваться delete
, поэтому объект должен быть создан с помощью new
.
3) Объект будет автоматически уничтожен при уничтожении последнего умного указателя ссылки на него. Согласитесь, при вызове setQuackBehavior совершенно не очевидно, что внутри на объект создается shared_ptr
.
Derived derived = new Derived;
obj.setQuackBehavior(*derived);
Возможно, когда-нибудь дальше появится что-то вроде delete derived;
или еще-что-нибудь подобное.
4) Это скорее не к конкретно этому коду, а вообще к любому коду с shared_ptr. Если два объекта содержат указатели на друг друга (или более сложная схема), то это приведет к циклическим ссылкам и, фактически, к утечкам.
5) Этот код требует гарантии, что на этот объект более нет умных указателей.
std::shared_ptr<Derived> derived(new Derived);//или make_shared
obj.setQuackBehavior(*derived);//Злостная ошибка
При таком (или подобном) коде на один объект derived
теперь приходится два блока со служебными данными для разных shared_ptr
, а значит у нас и два счетчика ссылок и т.д. Эти указатели теперь живут "раздельно" и не знают о существовании друг друга. Понятное дело, что это приведет к преждевременному удалению объекта, обращению к несуществующим данным, прострелам памяти, двойному удалению и всем-всем прелестям не верной работы с памятью.
Ну и в Вашем коде лишний std::move. Объект и так временный, поэтому будет перемещен, а не скопирован.
Почему бы не сделать так:
void setQuackBehavior(std::shared_ptr<QuackBehavior> const &qb) {
quackBehavior = qb;
}
Сразу очевидно, что работаем с shared_ptr
, код Выше его создает, поэтому он может воспользоваться make_shared
, что положительно скажется на программе, также очевидно, что раз внутри shared_ptr
, то не нужно удалять объект, а также нужно учесть возможность циклических ссылок.
obj.setQuackBehavior(std::make_shared<Derived>());
По-моему, такой код более очевиден и безопасен.