mirror of
https://github.com/bolero-MURAKAMI/Sprout
synced 2025-08-03 12:49:50 +00:00
add sprout::optional
This commit is contained in:
bolero-MURAKAMI
parent
9b9956f810
commit
8cb432dee1
15 changed files with 574 additions and 81 deletions
49
sprout/optional/comparison.hpp
Normal file
49
sprout/optional/comparison.hpp
Normal file
|
|
@ -0,0 +1,49 @@
|
|||
#ifndef SPROUT_OPTIONAL_COMPARISON_HPP
|
||||
#define SPROUT_OPTIONAL_COMPARISON_HPP
|
||||
|
||||
#include <sprout/config.hpp>
|
||||
#include <sprout/optional/optional.hpp>
|
||||
#include <sprout/utility/compare_pointees.hpp>
|
||||
|
||||
namespace sprout {
|
||||
//
|
||||
// operator==
|
||||
// operator!=
|
||||
// operator<
|
||||
// operator>
|
||||
// operator<=
|
||||
// operator>=
|
||||
//
|
||||
template<typename T>
|
||||
inline SPROUT_CONSTEXPR bool
|
||||
operator==(sprout::optional<T> const& lhs, sprout::optional<T> const& rhs) {
|
||||
return sprout::equal_pointees(lhs, rhs);
|
||||
}
|
||||
template<typename T>
|
||||
inline SPROUT_CONSTEXPR bool
|
||||
operator!=(sprout::optional<T> const& lhs, sprout::optional<T> const& rhs) {
|
||||
return !(lhs == rhs);
|
||||
}
|
||||
template<typename T>
|
||||
inline SPROUT_CONSTEXPR bool
|
||||
operator<(sprout::optional<T> const& lhs, sprout::optional<T> const& rhs) {
|
||||
return sprout::less_pointees(lhs, rhs);
|
||||
}
|
||||
template<typename T>
|
||||
inline SPROUT_CONSTEXPR bool
|
||||
operator>(sprout::optional<T> const& lhs, sprout::optional<T> const& rhs) {
|
||||
return rhs < lhs;
|
||||
}
|
||||
template<typename T>
|
||||
inline SPROUT_CONSTEXPR bool
|
||||
operator<=(sprout::optional<T> const& lhs, sprout::optional<T> const& rhs) {
|
||||
return !(rhs < lhs);
|
||||
}
|
||||
template<typename T>
|
||||
inline SPROUT_CONSTEXPR bool
|
||||
operator>=(sprout::optional<T> const& lhs, sprout::optional<T> const& rhs) {
|
||||
return !(lhs < rhs);
|
||||
}
|
||||
} // namespace sprout
|
||||
|
||||
#endif // #ifndef SPROUT_OPTIONAL_COMPARISON_HPP
|
||||
61
sprout/optional/get.hpp
Normal file
61
sprout/optional/get.hpp
Normal file
|
|
@ -0,0 +1,61 @@
|
|||
#ifndef SPROUT_OPTIONAL_GET_HPP
|
||||
#define SPROUT_OPTIONAL_GET_HPP
|
||||
|
||||
#include <sprout/config.hpp>
|
||||
#include <sprout/optional/optional.hpp>
|
||||
|
||||
namespace sprout {
|
||||
//
|
||||
// get
|
||||
//
|
||||
template<typename T>
|
||||
inline SPROUT_CONSTEXPR typename sprout::optional<T>::reference_const_type
|
||||
get(sprout::optional<T> const& x) {
|
||||
return x.get();
|
||||
}
|
||||
template<typename T>
|
||||
inline typename sprout::optional<T>::reference_type
|
||||
get(sprout::optional<T>& x) {
|
||||
return x.get();
|
||||
}
|
||||
template<typename T>
|
||||
inline SPROUT_CONSTEXPR typename sprout::optional<T>::pointer_const_type
|
||||
get(sprout::optional<T> const* x) {
|
||||
return x->get_ptr();
|
||||
}
|
||||
template<typename T>
|
||||
inline typename sprout::optional<T>::pointer_type
|
||||
get(sprout::optional<T>* x) {
|
||||
return x->get_ptr();
|
||||
}
|
||||
|
||||
//
|
||||
// get_pointer
|
||||
//
|
||||
template<typename T>
|
||||
inline SPROUT_CONSTEXPR typename sprout::optional<T>::pointer_const_type
|
||||
get_pointer(sprout::optional<T> const& x) {
|
||||
return x.get_pointer();
|
||||
}
|
||||
template<typename T>
|
||||
inline typename sprout::optional<T>::pointer_type
|
||||
get_pointer(sprout::optional<T>& x) {
|
||||
return x.get_pointer();
|
||||
}
|
||||
|
||||
//
|
||||
// get_optional_value_or
|
||||
//
|
||||
template<typename T>
|
||||
inline SPROUT_CONSTEXPR typename sprout::optional<T>::reference_const_type
|
||||
get_optional_value_or(sprout::optional<T> const& x, typename sprout::optional<T>::reference_const_type v) {
|
||||
return x.get_value_or(v);
|
||||
}
|
||||
template<typename T>
|
||||
inline typename sprout::optional<T>::reference_type
|
||||
get_optional_value_or(sprout::optional<T>& x, typename sprout::optional<T>::reference_type v) {
|
||||
return x.get_value_or(v);
|
||||
}
|
||||
} // namespace sprout
|
||||
|
||||
#endif // #ifndef SPROUT_OPTIONAL_GET_HPP
|
||||
53
sprout/optional/io.hpp
Normal file
53
sprout/optional/io.hpp
Normal file
|
|
@ -0,0 +1,53 @@
|
|||
#ifndef SPROUT_OPTIONAL_IO_HPP
|
||||
#define SPROUT_OPTIONAL_IO_HPP
|
||||
|
||||
#include <iosfwd>
|
||||
#include <ios>
|
||||
#include <sprout/config.hpp>
|
||||
#include <sprout/optional/optional.hpp>
|
||||
#include <sprout/none.hpp>
|
||||
|
||||
namespace sprout {
|
||||
//
|
||||
// operator>>
|
||||
//
|
||||
template<typename Elem, typename Traits, typename T>
|
||||
inline std::basic_istream<Elem, Traits>&
|
||||
operator<<(std::basic_istream<Elem, Traits>& lhs, sprout::optional<T>& rhs) {
|
||||
if (lhs.good()) {
|
||||
int d = lhs.get();
|
||||
if (d == ' ') {
|
||||
T x;
|
||||
lhs >> x;
|
||||
rhs = x;
|
||||
} else {
|
||||
if (d == '-') {
|
||||
d = lhs.get();
|
||||
if (d == '-') {
|
||||
rhs = sprout::none;
|
||||
return lhs;
|
||||
}
|
||||
}
|
||||
lhs.setstate(std::ios::failbit);
|
||||
}
|
||||
}
|
||||
return lhs;
|
||||
}
|
||||
//
|
||||
// operator<<
|
||||
//
|
||||
template<typename Elem, typename Traits, typename T>
|
||||
inline std::basic_ostream<Elem, Traits>&
|
||||
operator<<(std::basic_ostream<Elem, Traits>& lhs, sprout::optional<T> const& rhs) {
|
||||
if (lhs.good()) {
|
||||
if (!rhs) {
|
||||
lhs << "--";
|
||||
} else {
|
||||
lhs << ' ' << *rhs;
|
||||
}
|
||||
}
|
||||
return lhs;
|
||||
}
|
||||
} // namespace sprout
|
||||
|
||||
#endif // #ifndef SPROUT_OPTIONAL_IO_HPP
|
||||
23
sprout/optional/make_optional.hpp
Normal file
23
sprout/optional/make_optional.hpp
Normal file
|
|
@ -0,0 +1,23 @@
|
|||
#ifndef SPROUT_OPTIONAL_MAKE_OPTIONAL_HPP
|
||||
#define SPROUT_OPTIONAL_MAKE_OPTIONAL_HPP
|
||||
|
||||
#include <sprout/config.hpp>
|
||||
#include <sprout/optional/optional.hpp>
|
||||
|
||||
namespace sprout {
|
||||
//
|
||||
// make_optional
|
||||
//
|
||||
template<typename T>
|
||||
inline SPROUT_CONSTEXPR sprout::optional<T>
|
||||
make_optional(T const& v) {
|
||||
return optional<T>(v);
|
||||
}
|
||||
template<typename T>
|
||||
inline SPROUT_CONSTEXPR sprout::optional<T>
|
||||
make_optional(bool cond, T const& v) {
|
||||
return optional<T>(cond, v);
|
||||
}
|
||||
} // namespace sprout
|
||||
|
||||
#endif // #ifndef SPROUT_OPTIONAL_MAKE_OPTIONAL_HPP
|
||||
187
sprout/optional/optional.hpp
Normal file
187
sprout/optional/optional.hpp
Normal file
|
|
@ -0,0 +1,187 @@
|
|||
#ifndef SPROUT_OPTIONAL_OPTIONAL_HPP
|
||||
#define SPROUT_OPTIONAL_OPTIONAL_HPP
|
||||
|
||||
#include <stdexcept>
|
||||
#include <sprout/config.hpp>
|
||||
#include <sprout/utility/value_holder.hpp>
|
||||
#include <sprout/utility/swap.hpp>
|
||||
#include <sprout/none.hpp>
|
||||
|
||||
namespace sprout {
|
||||
//
|
||||
// optional
|
||||
//
|
||||
template<typename T>
|
||||
class optional {
|
||||
public:
|
||||
typedef T type;
|
||||
private:
|
||||
typedef sprout::value_holder<type> holder_type;
|
||||
public:
|
||||
typedef typename holder_type::value_type value_type;
|
||||
typedef typename holder_type::reference reference;
|
||||
typedef typename holder_type::const_reference const_reference;
|
||||
typedef typename holder_type::pointer pointer;
|
||||
typedef typename holder_type::const_pointer const_pointer;
|
||||
typedef typename holder_type::reference_type reference_type;
|
||||
typedef typename holder_type::reference_const_type reference_const_type;
|
||||
typedef typename holder_type::pointer_type pointer_type;
|
||||
typedef typename holder_type::pointer_const_type pointer_const_type;
|
||||
typedef typename holder_type::argument_type argument_type;
|
||||
private:
|
||||
bool initialized_;
|
||||
holder_type storage_;
|
||||
private:
|
||||
void destroy() {
|
||||
initialized_ = false;
|
||||
}
|
||||
public:
|
||||
SPROUT_CONSTEXPR optional()
|
||||
: initialized_(false)
|
||||
{}
|
||||
SPROUT_CONSTEXPR optional(sprout::none_t)
|
||||
: initialized_(false)
|
||||
{}
|
||||
SPROUT_CONSTEXPR optional(argument_type v)
|
||||
: initialized_(true)
|
||||
, storage_(v)
|
||||
{}
|
||||
SPROUT_CONSTEXPR optional(bool cond, argument_type v)
|
||||
: initialized_(cond)
|
||||
, storage_(cond ? holder_type(v) : holder_type())
|
||||
{}
|
||||
SPROUT_CONSTEXPR optional(optional const& v)
|
||||
: initialized_(v.initialized_)
|
||||
, storage_(v.storage_)
|
||||
{}
|
||||
template<class U>
|
||||
explicit SPROUT_CONSTEXPR optional(optional<U> const& v)
|
||||
: initialized_(v.initialized_)
|
||||
, storage_(v.storage_.get())
|
||||
{}
|
||||
|
||||
optional& operator=(sprout::none_t v) {
|
||||
assign(v);
|
||||
return *this;
|
||||
}
|
||||
optional& operator=(argument_type v) {
|
||||
assign(v);
|
||||
return *this;
|
||||
}
|
||||
optional& operator=(optional const& v) {
|
||||
assign(v);
|
||||
return *this;
|
||||
}
|
||||
template<class U>
|
||||
optional& operator=(optional<U> const& v) {
|
||||
assign(v);
|
||||
return *this;
|
||||
}
|
||||
|
||||
void assign(sprout::none_t) {
|
||||
destroy();
|
||||
}
|
||||
void assign(argument_type v) {
|
||||
optional temp(v);
|
||||
temp.swap(v);
|
||||
}
|
||||
void assign(optional const& v) {
|
||||
optional temp(v);
|
||||
temp.swap(v);
|
||||
}
|
||||
template<class U>
|
||||
void assign(optional<U> const& v) {
|
||||
optional temp(v);
|
||||
temp.swap(v);
|
||||
}
|
||||
|
||||
void reset() {
|
||||
destroy();
|
||||
}
|
||||
void reset(sprout::none_t v) {
|
||||
assign(v);
|
||||
}
|
||||
void reset(argument_type v) {
|
||||
assign(v);
|
||||
}
|
||||
|
||||
void swap(optional& other)
|
||||
SPROUT_NOEXCEPT_EXPR(SPROUT_NOEXCEPT_EXPR(sprout::swap(storage_, other.storage_)))
|
||||
{
|
||||
sprout::swap(storage_, other.storage_);
|
||||
}
|
||||
|
||||
SPROUT_CONSTEXPR reference_const_type get() const {
|
||||
return is_initialized() ? storage_.get()
|
||||
: throw std::domain_error("optional: value not initialized")
|
||||
;
|
||||
}
|
||||
reference_type get() {
|
||||
return is_initialized() ? storage_.get()
|
||||
: throw std::domain_error("optional: value not initialized")
|
||||
;
|
||||
}
|
||||
SPROUT_CONSTEXPR reference_const_type get_value_or(reference_const_type& v) const {
|
||||
return is_initialized() ? storage_.get()
|
||||
: v
|
||||
;
|
||||
}
|
||||
reference_type get_value_or(reference_type& v) {
|
||||
return is_initialized() ? storage_.get()
|
||||
: v
|
||||
;
|
||||
}
|
||||
|
||||
SPROUT_CONSTEXPR pointer_const_type operator->() const {
|
||||
return is_initialized() ? storage_.get_pointer()
|
||||
: throw std::domain_error("optional: value not initialized")
|
||||
;
|
||||
}
|
||||
pointer_type operator->() {
|
||||
return is_initialized() ? storage_.get_pointer()
|
||||
: throw std::domain_error("optional: value not initialized")
|
||||
;
|
||||
}
|
||||
SPROUT_CONSTEXPR pointer_const_type get_pointer() const {
|
||||
return is_initialized() ? storage_.get_pointer()
|
||||
: throw std::domain_error("optional: value not initialized")
|
||||
;
|
||||
}
|
||||
pointer_type get_pointer() {
|
||||
return is_initialized() ? storage_.get_pointer()
|
||||
: throw std::domain_error("optional: value not initialized")
|
||||
;
|
||||
}
|
||||
SPROUT_CONSTEXPR pointer_const_type get_ptr() const {
|
||||
return get_pointer();
|
||||
}
|
||||
pointer_type get_ptr() {
|
||||
return get_pointer();
|
||||
}
|
||||
|
||||
SPROUT_CONSTEXPR operator bool() const {
|
||||
return is_initialized();
|
||||
}
|
||||
SPROUT_CONSTEXPR bool operator!() const {
|
||||
return !is_initialized();
|
||||
}
|
||||
SPROUT_CONSTEXPR bool is_initialized() const {
|
||||
return initialized_;
|
||||
}
|
||||
};
|
||||
|
||||
//
|
||||
// swap
|
||||
//
|
||||
template<typename T>
|
||||
inline void
|
||||
swap(sprout::optional<T>& lhs, sprout::optional<T>& rhs)
|
||||
SPROUT_NOEXCEPT_EXPR(SPROUT_NOEXCEPT_EXPR(lhs.swap(rhs)))
|
||||
{
|
||||
lhs.swap(rhs);
|
||||
}
|
||||
|
||||
} // namespace sprout
|
||||
|
||||
#endif // #ifndef SPROUT_OPTIONAL_OPTIONAL_HPP
|
||||
#include <boost/none.hpp>
|
||||
Loading…
Add table
Add a link
Reference in a new issue