boost :: none_tの実装の根拠は何ですか？

Question

Boost.Optionalは、ダミータイプを使用して、boost::optional<T>の初期化されていないインスタンスを構築できます。このタイプはnone_tと呼ばれ、インスタンスnoneは、すでに私たちは次のようなコードを記述することができ、利便性のためのヘッダで定義されています

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

none_tの定義を見て、私はそれが実際にあることに気づきましたいくつかのダミー構造体へのポインタ・ツー・メンバーに対応するのtypedef：このような単純な空の構造体の上に、このような複雑なのtypedefを使用することの利点は何

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 

？

namespace boost { 

struct none_t {}; 

none_t const none; 

} // namespace boost 

Answer 1

ああ、私は深く掘り下げることは考えていませんでした。

通常のstructに1つ（多かれ少なかれ明白な）利点があり、今ではnoneがブール値のコンテキストでfalseと評価されています。

他の利点よりも1つの利点は、メンバーへのポインタが不可欠な型への有害なプロモーションから防止されることです。

だから、それはfalseと評価されるオブジェクトを持つ安全で簡潔な方法を提供すると思います。

EDIT：ここでは、（hum ...）の構造を認識する必要があります。