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

More work on implementing the optional_variant type

Browse Source
This commit is contained in:
Denis Blank 2018-03-08 14:24:09 +01:00
parent 224e8c835f
commit 42c04f0fcb
1 changed files with 22 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
include/continuable/detail/variant.hpp
View File

@ -222,16 +222,19 @@ public:
template <typename V, std::size_t Index = template <typename V, std::size_t Index =
traits::index_of_t<std::decay_t<V>, T...>::value> traits::index_of_t<std::decay_t<V>, T...>::value>
explicit optional_variant(V&& value) // // Since the optional_variant is never a part of the contained
// values itself this overload is safed against the linted issue.
// NOLINTNEXTLINE(misc-forwarding-reference-overload)
explicit optional_variant(V&& value)
: optional_variant(std::forward<V>(value), Index) { : optional_variant(std::forward<V>(value), Index) {
} }
optional_variant& operator=(T value) { template <typename V, std::size_t Index =
set_value(std::move(value)); traits::index_of_t<std::decay_t<V>, T...>::value>
return *this; optional_variant& operator=(V&& value) {
} weak_destroy();
optional_variant& operator=(types::error_type error) { init(std::forward<V>(value));
set_exception(std::move(error)); set_slot(Index);
return *this; return *this;
} }
@ -249,6 +252,18 @@ public:
return !is_empty(); return !is_empty();
} }
template <typename V>
V& cast() noexcept {
assert(!is_slot(traits::index_of_t<std::decay_t<V>, T...>::value));
return *reinterpret_cast<std::decay_t<V>*>(&this->storage_);
}
template <typename V>
V const& cast() const noexcept {
assert(!is_slot(traits::index_of_t<std::decay_t<V>, T...>::value));
return *reinterpret_cast<std::decay_t<V> const*>(&this->storage_);
}
private: private:
template <typename V> template <typename V>
void visit(V&& visitor) { void visit(V&& visitor) {
@ -275,17 +290,6 @@ private:
} }
} }
template <typename V>
V& cast() noexcept {
assert(!is_empty());
return *reinterpret_cast<V*>(&this->storage_);
}
template <typename V>
V const& cast() const noexcept {
assert(!is_empty());
return *reinterpret_cast<V const*>(&this->storage_);
}
template <typename V> template <typename V>
void init(V&& value) { void init(V&& value) {
assert(is_empty()); assert(is_empty());