Удалить сырой указатель после создания shared_ptr из него

Question

Если я делаю следующее,

int* p = new int(10); 
std::shared_ptr<int>(p); 
delete p; 

Что здесь происходит? Недействителен ли shared_ptr после удаления исходного указателя? Есть ли способ обеспечить безопасность доступа к памяти в таком сценарии?

Answer 1

Код в вашем вопросе содержит 2 противоречивых определения p. Я предполагаю, что вы имели в виду, чтобы получить возможность отправлять что-то вроде

int* p = new int(10); 
std::shared_ptr<int> p1(p); 
delete p; 

Когда shared_ptr выходит из области видимости и счетчик ссылок падает до нуля, он будет пытаться delete p;, что приводит к двойному удалению и непредсказуемое поведение.

Вы перешли в собственность динамически выделяется int к shared_ptr, так что пусть это делают свою работу, а не идти об удалении int самостоятельно.

---

Если вы хотите клиентов вашего API от делать что-то похожее на приведенном выше коде, одна возможность заключается в том, чтобы изменить тип параметра функции API, от shared_ptr к параметру пачке аргументов конструктора. Например

template<typename T, typename... Args> 
void api_func(Args&&... args) 
{ 
    auto p = std::make_shared<T>(std::forward<Args>(args)...); 
    // Use the shared_ptr p as before 
} 

Затем, вместо того, чтобы передать shared_ptr<int>, клиентский код будет вызывать выше функцию api_func<int>(10);.