Назначение make_unique <X> к shared_ptr <X>

Question

I (ошибочно) было следующее задание в моей программе:

std::shared_ptr<SI::Program> m_program; // in class 

m_program = std::make_unique<SI::Program>(); // in method 

Когда я нашел это, я первым задавался вопросом, почему это даже компилирует. Оказывается, shared_ptr имеет специальный оператор назначения перемещения для объектов unique_ptr.

Мой вопрос в том, что это всегда безопасно, или это имеет какие-либо последствия?

(Safe, как и для выполнения кода, это, очевидно, не безопасно для проверки кода ...)

Answer 1

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

Это не нормально, чтобы сделать это, потому что:

1. Это заблуждение - make_unique используется, чтобы сделать уникальные указатели, а не общие.
2. Это расточительно - make_unique будет выделять объект, а не соответствующий блок управления. что заставит конструктор shared_ptr выделить сам блок управления. std::make_shared выделяют их как в одном распределении, что намного эффективнее.

Answer 2

Да, это совершенно безопасно; shared_ptr имеет конструктор, который может передать право собственности с unique_ptr путем перемещения. Хотя это не так эффективно, как правильно позвонить make_shared.