init boost::optional of non-copyable object

问题:

What should I do to initialize boost::optional< T > if underlying type T is non-default constructible, non-copyable/moveable, but one's instance still can exist?

Is it forbidden for boost::optional by any semantic reasons to have some member function like template< typename... Args > boost::optional< T >::construct(Args && ...args), that delivers all the arguments to in-place operator new to construct the object entirely (for non-ref type T)? Variant is to have non-member function like std::make_shared< T >.

It seems to me, that my problem can be solved by means of using of std::unique_ptr/std::shared_ptr, but in this case my question is: "Why boost::optional progress is frozen?".

回答1:

boost::optional can be initialized with a non-copyable type by using in-place factories.

Specifically, you can use them like this:

#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);
...

In C++14 there is a proposed std::make_optional that would be a better solution to this problem. However, this has not been implemented in Boost.Optional.