init boost ::不可复制对象的可选项

Question

boost::optional< T >如果基础类型T是非默认的可构造的,不可复制/可移动的,但我应该做什么来初始化,但是一个实例仍然可以存在？

是否boost::optional由于任何语义原因禁止使用某些成员函数template< typename... Args > boost::optional< T >::construct(Args && ...args),它将所有参数传递给就地operator new完全构造对象(对于非ref类型T)？Variant是具有非成员函数的std::make_shared< T >.

在我看来,我的问题可以通过使用std::unique_ptr/ 解决std::shared_ptr,但在这种情况下我的问题是:"为什么boost::optional进展被冻结？".

Answer 1

boost::optional可以使用就地工厂使用不可复制的类型进行初始化.

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

#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中尚未实现.