Opzione/Forse classe per C++

Question

Vorrei implementare un'opzione Scala-like/Haskell-like in C++. Per ragioni di efficienza, non voglio usare memoria allocata dinamicamente, né voglio usare il polimorfismo. Inoltre, non desidero creare alcun oggetto del tipo incorporato se l'opzione è Nessuno.

Qualcuno può dirmi se il seguente approccio potrebbe causare problemi? Devo allocare staticamente memoria per l'oggetto incorporato all'interno della mia classe Option, ma non posso definire un campo membro del tipo embedded, poiché questo sarebbe inizializzato alla creazione dell'oggetto Option anche se l'opzione è None.

template <typename T> 
class Option { 
private: 
    uint8_t _storage [sizeof (T)]; 
    T * _embedded; 
public: 
    Option() : _embedded (nullptr) { 
    } 

    Option (const T & obj) : _embedded (new (_storage) T (obj)) { 
    } 

    Option (const Option<T> & other) 
    : _embedded (
     other->_embedded ? new (_storage) T (other->_embedded) : nullptr 
    ) { 
    } 

    // ... 

    ~Option() { 
     if (_embedded) _embedded->~T(); 
    } 
}; 

Answer 1

non credo che l'array è necessario per essere allineati allo stesso modo in cui la classe di oggetti può richiedere. In pratica non mi aspetterei nessun problema a meno che il tipo non abbia dei buffi requisiti di allineamento.

Con C++ 2011 è possibile utilizzare uno union per contenere la rappresentazione effettiva, sebbene sia ancora necessario gestire la durata dell'oggetto in oggetto. C'è un boost::optional<T> e un proposal per aggiungere un tipo simile alla prossima revisione dello standard.

Answer 2

Per me questo sembra bene, tranne per:

uint8_t _storage [sizeof(T)/sizeof(uint8_t)]; 

Option (const Option & other) 
    : _embedded (other->_embedded ? new (_storage)T(other->_embedded) : nullptr) 
{ 
}