如何在没有初始化对象的情况下初始化对象的管理器shared_ptr？

Question

我想以这种方式使用智能指针：

using namespace std;
shared_ptr<string> foo;
weak_ptr<string> bar (foo);
foo = make_shared<string>("some string");
cout << *bar.lock(); // SIGSEGV

线索是如何在不构造对象的情况下初始化shared_ptr的对象管理器(在这种情况下string(。甚至可能吗？我可以使用对象的默认 ctor，然后使用复制/移动分配。但是，可能存在一些更优雅的解决方案吗？

对我来说，对象不会被初始化是值得的 - 如果我用空值初始化shared_ptr，那将是逻辑上的谎言。

Answer 1

为什么不这样做呢：

shared_ptr<string> foo = make_shared<string>();
weak_ptr<string> bar (foo);
*foo = "some string":

这样你实际上是在共享一个字符串。您所描述的更像是共享一个共享指针。

Answer 2

我解决了我的问题。这个想法的核心是使用嵌套指针：shared_ptr<unique_ptr<MYTYPE>> 。就我而言，我创建了一个包装模板：

template<typename T>
class LazyInitializator : public std::unique_ptr<T> {
public:
    LazyInitializator() : std::unique_ptr<T>() {} // this ctor offers lazy initialization
    LazyInitializator(const T& val) : std::unique_ptr<T> (std::make_unique<T>(val)) {} // for normal construction
    LazyInitializator& operator= (const T& val) { 
        if (!std::unique_ptr<T>::operator bool()) // if object wasn't constructed
            std::unique_ptr<T>::operator= (std::make_unique<T>(val)); // construct it
        **this = val; // use assingment op provided by T - no unneccessary mem allocation
        return *this;
    }
};

多亏了它，我可以更轻松地使用shared_ptr。我可以这样做：

using namespace std;
shared_ptr<LazyInitializator<string>> foo = make_shared<LazyInitializator<string>>();
weak_ptr<LazyInitializator<string>> bar (foo);
*foo = "some string";
cout << **bar.lock();

是的，我知道，看起来有点棘手，但现在对我来说这是最好的解决方案。