boost - init boost::optional 的不可复制对象

Question

我该怎么做才能初始化 boost::optional< T >如果底层类型T非默认可构造，不可复制/可移动，但一个实例仍然可以存在吗？

是否禁止 boost::optional由于任何语义原因具有一些成员函数，如 template< typename... Args > boost::optional< T >::construct(Args && ...args) ，将所有参数传递到原地 operator new完全构造对象(对于非引用类型 T)？变体是具有非成员函数，如 std::make_shared< T > .

在我看来，我的问题可以通过使用 std::unique_ptr 来解决。/std::shared_ptr ，但在这种情况下，我的问题是:“为什么 boost::optional 进度被卡住？”。

Answer 1

boost::optional可以使用 in-place factories 用不可复制的类型初始化.

具体来说，您可以像这样使用它们:

#include <boost/optional.hpp>
#include <boost/utility/in_place_factory.hpp>

class MyType : private boost::noncopyable
{ 
public:
  MyType(T1 const& arg1, T2 const& arg2);
}
...
boost::optional<MyType> m_var;
...
m_var = boost::in_place(arg1, arg2);
...

在 C++14 中有一个提议的 std::make_optional 这将是解决这个问题的更好办法。然而，这在 Boost.Optional 中并没有实现。