Каково обоснование для реализации boost :: none_t?
Boost.Optional использует фиктивный тип, чтобы позволить создавать неинициализированные экземплярыboost::optional<T>
, Этот тип называетсяnone_t
и экземплярnone
для удобства уже определен в заголовке, что позволяет нам писать такой код:
boost::optional<int> uninitialized(boost::none);
Глядя на определениеnone_t
Я заметил, что на самом деле это 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
Каковы преимущества использования такого замысловатого typedef над простой пустой структурой, подобной этой?
namespace boost {
struct none_t {};
none_t const none;
} // namespace boost