coffee/continuable
1
0
Fork 0
mirror of https://github.com/Naios/continuable.git synced 2025-12-08 01:36:46 +08:00
Code Issues Packages Projects Releases Wiki Activity

more

Browse Source
This commit is contained in:
Denis Blank 2017-12-21 05:04:57 +01:00
parent 53c878c9c5
commit 71001cecc3
1 changed files with 23 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
include/continuable/detail/expected.hpp
View File

@ -52,6 +52,26 @@ using storage_of_t = //
? sizeof(types::error_type)
: sizeof(T))>;
template <typename T>
struct expected_base {
storage_of_t<T> storage_;
slot_t slot_;
constexpr expected_base() : slot_(slot_t::empty) {
}
expected_base(expected_base const&) noexcept {
}
expected_base(expected_base&&) noexcept {
}
expected_base& operator=(expected_base const&) {
return *this;
}
expected_base& operator=(expected_base&&) {
return *this;
}
};
template <typename Base>
struct expected_move_base {
constexpr expected_move_base() = default;
@ -148,7 +168,8 @@ template <typename T>
class expected
: detail::expected_copy_base<
expected<T>, std::is_copy_constructible<types::error_type>::value &&
std::is_copy_constructible<T>::value> {
std::is_copy_constructible<T>::value>,
detail::expected_base<T> {
template <typename>
friend class expected;
@ -157,9 +178,6 @@ class expected
template <typename, bool>
friend struct detail::expected_copy_base;
detail::storage_of_t<T> storage_;
detail::slot_t slot_;
template <typename V>
expected(V&& value, detail::slot_t const slot) {
using type = std::decay_t<decltype(value)>;
@ -168,9 +186,7 @@ class expected
}
public:
constexpr expected() : slot_(detail::slot_t::empty) {
}
constexpr expected() = default;
expected(expected const&) = default;
expected(expected&&) = default;
expected& operator=(expected const&) = default;