init boost:: opcional del objeto no copiable

default-constructor noncopyable

Question

¿Qué debo hacer para inicializar boost::optional< T > si el tipo subyacente T no es construible por defecto, no se puede copiar / mover, pero la instancia de uno todavía puede existir?

¿Está prohibido el boost::optional por cualquier razón semántica para tener alguna función de miembro como template< typename... Args > boost::optional< T >::construct(Args && ...args) , que entrega todos los argumentos al operator new in situ operator new para construir el objeto por completo (para el tipo T sin ref) La variante es tener la función no miembro como std::make_shared< T > .

Me parece que mi problema puede resolverse mediante el uso de std::unique_ptr / std::shared_ptr , pero en este caso mi pregunta es: "¿Por qué boost::optional progreso boost::optional está congelado?".

Answer 1

boost::optional se puede inicializar con un tipo que no se puede copiar mediante el uso de fábricas in situ .

Específicamente, puede usarlos así:

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

En C ++ 14 hay una propuesta std::make_optional que sería una mejor solución a este problema. Sin embargo, esto no se ha implementado en Boost.Optional.