blob: 790ff8d6428878b1a6f07619a4b87578e76baff7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
* vim: set ts=8 sts=2 et sw=2 tw=80:
* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
/* A type suitable for returning either a value or an error from a function. */
#ifndef mozilla_ResultVariant_h
#define mozilla_ResultVariant_h
#include "mozilla/MaybeStorageBase.h"
#include "mozilla/Result.h"
#include "mozilla/Variant.h"
namespace mozilla::detail {
template <typename V, typename E>
class ResultImplementation<V, E, PackingStrategy::Variant> {
mozilla::Variant<V, E> mStorage;
public:
static constexpr PackingStrategy Strategy = PackingStrategy::Variant;
ResultImplementation(ResultImplementation&&) = default;
ResultImplementation(const ResultImplementation&) = delete;
ResultImplementation& operator=(const ResultImplementation&) = delete;
ResultImplementation& operator=(ResultImplementation&&) = default;
explicit ResultImplementation(V&& aValue) : mStorage(std::move(aValue)) {}
explicit ResultImplementation(const V& aValue) : mStorage(aValue) {}
template <typename... Args>
explicit ResultImplementation(std::in_place_t, Args&&... aArgs)
: mStorage(VariantType<V>{}, std::forward<Args>(aArgs)...) {}
explicit ResultImplementation(const E& aErrorValue) : mStorage(aErrorValue) {}
explicit ResultImplementation(E&& aErrorValue)
: mStorage(std::move(aErrorValue)) {}
bool isOk() const { return mStorage.template is<V>(); }
// The callers of these functions will assert isOk() has the proper value, so
// these functions (in all ResultImplementation specializations) don't need
// to do so.
V unwrap() { return std::move(mStorage.template as<V>()); }
const V& inspect() const { return mStorage.template as<V>(); }
E unwrapErr() { return std::move(mStorage.template as<E>()); }
const E& inspectErr() const { return mStorage.template as<E>(); }
void updateAfterTracing(V&& aValue) {
mStorage.template emplace<V>(std::move(aValue));
}
void updateErrorAfterTracing(E&& aErrorValue) {
mStorage.template emplace<E>(std::move(aErrorValue));
}
};
} // namespace mozilla::detail
#endif // mozilla_ResultVariant_h
|
