Question

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

由于任何语义原因，boost::optional是否禁止使用template< typename... Args > boost::optional< T >::construct(Args && ...args)之类的成员函数，它将所有参数传递到就地operator new以完全构造对象（对于非-ref type T）？ Variant具有非成员函数，如std::make_shared< T >。

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

Answer 1

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

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中实现。

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

1 个答案: