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
62
|
/*========================== begin_copyright_notice ============================
Copyright (C) 2021 Intel Corporation
SPDX-License-Identifier: MIT
============================= end_copyright_notice ===========================*/
//===----------------------------------------------------------------------===//
//
// Similar to std::optional but simple and mostly intended for simple types,
// this is useful in interfacing with the UMD. See Array.h comments for
// rationale.
//
//===----------------------------------------------------------------------===//
#pragma once
#include <type_traits>
#include <assert.h>
namespace Interface {
template <typename T> class Optional {
static_assert(std::is_arithmetic_v<T>, "simple types for now!");
T Val;
bool Valid = false;
public:
Optional() : Valid(false) {}
Optional(T V) : Val(V), Valid(true) {}
Optional(const Optional &RHS) = default;
Optional &operator=(const Optional &RHS) = default;
Optional(Optional &&RHS) = default;
Optional &operator=(Optional &&RHS) = default;
bool has_value() const { return Valid; }
explicit operator bool() const { return has_value(); }
const T *operator->() const {
assert(has_value());
return &Val;
}
T *operator->() {
assert(has_value());
return &Val;
}
const T &operator*() const {
assert(has_value());
return Val;
}
T &operator*() {
assert(has_value());
return Val;
}
void reset() { Valid = false; }
};
} // namespace Interface
|
