Tùy chọn/Có thể lớp cho C++

Question

Tôi muốn thực hiện một tùy chọn giống như Scala/Haskell giống như lớp C++. Vì lý do hiệu quả, tôi không muốn sử dụng bộ nhớ được phân bổ động, cũng như tôi không muốn sử dụng đa hình. Ngoài ra, tôi không muốn bất kỳ đối tượng nào của kiểu được nhúng được tạo nếu Option là None.

Ai có thể cho tôi biết liệu cách tiếp cận sau có thể gây ra sự cố không? Tôi phải phân bổ bộ nhớ tĩnh cho đối tượng nhúng trong lớp Option, nhưng tôi không thể định nghĩa một trường thành viên của kiểu được nhúng, vì điều này sẽ được khởi tạo khi tạo đối tượng Option ngay cả khi Option là 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

Tôi không nghĩ rằng mảng được yêu cầu phải được sắp xếp theo cùng một cách các lớp đối tượng có thể yêu cầu. Trong thực tế, tôi sẽ không mong đợi bất kỳ vấn đề, trừ khi loại có yêu cầu liên kết hài hước.

Với C++ 2011 bạn có thể sử dụng union để giữ biểu diễn thực sự, mặc dù bạn vẫn cần quản lý thời gian sống của đối tượng được giữ. Có một số boost::optional<T> và một số proposal để thêm một loại tương tự vào bản sửa đổi tiếp theo của tiêu chuẩn.

Answer 2

Đối với tôi điều này có vẻ tốt, ngoại trừ:

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

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