Lý do cơ bản để tăng cường :: none_t implementation là gì?

Question

Boost.Optional sử dụng loại giả để cho phép tạo các phiên bản chưa được khởi tạo của boost::optional<T>. Đây là loại được gọi là none_t, và một thể hiện none đã được xác định trong một tiêu đề cho thuận tiện, cho phép chúng ta viết mã như sau:

boost::optional<int> uninitialized(boost::none); 

Nhìn vào định nghĩa của none_t, tôi nhận thấy rằng nó là trong thực tế typedef tương ứng với cấu trúc con trỏ tới thành viên của một số cấu trúc giả:

namespace boost { 

namespace detail { struct none_helper{}; } 

typedef int detail::none_helper::*none_t ; 

none_t const none = (static_cast<none_t>(0)) ; 

} // namespace boost 

Lợi thế của việc sử dụng kiểu chữ phức tạp trên cấu trúc rỗng đơn giản như thế này là gì?

namespace boost { 

struct none_t {}; 

none_t const none; 

} // namespace boost 

Answer 1

Ah, tôi chưa bao giờ nghĩ đến việc đào sâu hơn.

Một (nhiều hơn hoặc ít rõ ràng) lợi thế để thường xuyên struct, là bây giờ none đánh giá để false trong bối cảnh boolean.

Một lợi thế khác "đánh giá sai" là con trỏ tới thành viên được ngăn không cho quảng cáo có hại đến các loại tích phân.

Vì vậy, tôi đoán rằng nó cung cấp một cách an toàn và súc tích để có một đối tượng đánh giá là false.

CHỈNH SỬA: Người ta phải nhận ra ở đây (hum ...) cấu trúc của Safe Bool Idiom.