Skip to content

Instantly share code, notes, and snippets.

@hqhs
Created December 7, 2019 13:35
Show Gist options
  • Save hqhs/92fada144a4800142fb0b1a488eb1af2 to your computer and use it in GitHub Desktop.
Save hqhs/92fada144a4800142fb0b1a488eb1af2 to your computer and use it in GitHub Desktop.
#include <exception>
#include <stdexcept>
#include <utility>
#include <typeinfo>
template <class T> class Expected
{
union
{
T ham;
std::exception_ptr spam;
};
bool gotHam;
Expected() {} // used internally
public:
Expected(const T& rhs) : ham(rhs), gotHam(true) {}
Expected(T&& rhs)
: ham(std::move(rhs))
, gotHam(true) {}
Expected(const Expected& rhs) : gotHam(rhs.gotHam)
{
if (gotHam)
{
new(&ham) T(rhs.ham);
}
else
{
std::exception_ptr(std::move(rhs.spam));
}
}
Expected(Expected&& rhs) : gotHam(rhs.gotHam)
{
if (gotHam)
{
new(&ham) T(std::move(rhs.ham));
}
else
{
new(&spam) std::exception_ptr(std::move(rhs.spam));
}
}
~Expected()
{
using std::exception_ptr;
if (gotHam)
{
ham.~T();
}
else
{
spam.~exception_ptr();
}
}
void swap(Expected& rhs)
{
if (gotHam)
{
if (rhs.gotHam)
{
using std::swap;
swap(ham, rhs.ham);
}
else
{
auto t = std::move(rhs.spam);
new(&rhs.ham) T(std::move(ham));
new(&spam) std::exception_ptr(t);
std::swap(gotHam, rhs.gotHam);
}
}
else
{
if (rhs.gotHam)
{
rhs.swap(*this);
}
else
{
std::swap(spam, rhs.spam);
std::swap(gotHam, rhs.gotHam);
}
}
}
template <class E>
static Expected<T> fromException(const E& exception)
{
if (typeid(exception) != typeid(E))
{
throw std::invalid_argument("slicing detected");
}
return fromException(std::make_exception_ptr(exception));
}
static Expected<T> fromException(std::exception_ptr p)
{
Expected<T> result;
result.gotHam = false;
new(&result.spam) std::exception_ptr(std::move(p));
return result;
}
static Expected<T> fromException()
{
return fromException(std::current_exception());
}
bool valid() const
{
return gotHam;
}
T& get()
{
if (!gotHam)
{
std::rethrow_exception(spam);
}
return ham;
}
const T& get() const
{
if (!gotHam)
{
std::rethrow_exception(spam);
}
return ham;
}
// NOTE this is extremely slow
template <class E>
bool hasException() const
{
try
{
if (!gotHam)
{
std::rethrow_exception(spam);
}
}
catch (const E& object)
{
return true;
}
catch (...)
{
}
return false;
}
template <class F>
static Expected fromCode(F fun)
{
try
{
return Expected(fun());
}
catch (...)
{
return fromException();
}
}
};
@hqhs
Copy link
Author

hqhs commented Dec 7, 2019

Comlete code from Andrei Alexandrescu talk: Systematic Error Handling in C++

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment