Add Result<>, to use with/complement Error

An operation often has two pieces of underlying information:

* the data returned as a result from that operation
* an error that occurred while retrieving that data

Merely returning the data is not good enough. Result<> allows exposing
both the data, and the underlying error, and forces (via clang's
consumable attribute) you to check for the error before you try to
access the data.
This commit is contained in:
Robin Burchell 2019-07-30 17:20:34 +02:00 committed by Andreas Kling
parent 7dd25141cd
commit a82c60b22a

78
AK/Result.h Normal file
View file

@ -0,0 +1,78 @@
#pragma once
#include <AK/Assertions.h>
#include <AK/Platform.h>
#include <AK/Optional.h>
namespace AK {
template<typename T, typename E>
class CONSUMABLE(unknown) Result {
public:
RETURN_TYPESTATE(unknown)
Result(const T& res)
: m_result(res)
{}
RETURN_TYPESTATE(unknown)
Result(const E& error)
: m_error(error)
{
}
RETURN_TYPESTATE(unknown)
Result(const T& res, const E& error)
: m_result(res)
, m_error(error)
{
}
RETURN_TYPESTATE(unknown)
Result(Result&& other)
: m_result(move(other.m_result))
, m_error(move(other.m_error))
{
}
RETURN_TYPESTATE(unknown)
Result(Result& other)
: m_result(other.m_result)
, m_error(other.m_error)
{
}
CALLABLE_WHEN("unknown", "consumed")
~Result()
{}
CALLABLE_WHEN(consumed)
T& unwrap() {
return m_result.value();
}
CALLABLE_WHEN(consumed)
E& error() {
return m_error.value();
}
bool has_error() const {
return m_error.has_value();
}
bool has_value() const {
return m_result.has_value();
}
SET_TYPESTATE(consumed)
bool failed() const {
return m_error.value().failed();
}
private:
Optional<T> m_result;
Optional<E> m_error;
};
}
using AK::Result;