オプション/多分C++用のクラス

Question

私はScalaのようなOption/HaskellのようなMaybeクラスをC++で実装したいと思います。効率の理由から、私は動的に割り当てられたメモリを使いたくないし、多形性を使いたくない。また、OptionがNoneの場合、埋め込み型のオブジェクトを作成したくないです。

次の方法で問題が発生する可能性はありますか？ Optionクラス内の埋め込みオブジェクトのメモリを静的に割り当てる必要がありますが、オプションがNoneの場合でもOptionオブジェクトの作成時に初期化されるため、埋め込み型のメンバーフィールドを定義することはできません。

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

は、私は、配列はオブジェクトクラスが必要になることがあり、同じように整列させる必要があるとは思いません。実際には、タイプが面白いアラインメント要件を持っていない限り、私はどんな問題も期待しません。

C++ 2011では、実際の表示を保持するためにunionを使用できますが、保持されたオブジェクトのライフタイムを管理する必要があります。 boost::optional<T>とproposalがあり、標準の次のリビジョンに同様のタイプが追加されています。

Answer 2

私にとってこれは除いて、正常に見える：

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

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