toolsrc/include/expected.h


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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

#pragma once

#include "vcpkg_Checks.h"

namespace vcpkg
{
    template <class T>
    class expected
    {
    public:
        // Constructors are intentionally implicit 
        expected(const std::error_code& ec) : m_error_code(ec), m_t()
        {
        }

        expected(std::errc ec) : expected(std::make_error_code(ec))
        {
        }

        expected(const T& t) : m_error_code(), m_t(t)
        {
        }

        expected(T&& t) : m_error_code(), m_t(std::move(t))
        {
        }

        expected() : expected(std::error_code(), T())
        {
        }

        expected(const expected&) = default;
        expected(expected&&) = default;
        expected& operator=(const expected&) = default;
        expected& operator=(expected&&) = default;

        std::error_code error_code() const
        {
            return this->m_error_code;
        }

        T&& get_or_throw() &&
        {
            throw_if_error();
            return std::move(this->m_t);
        }

        const T& get_or_throw() const &
        {
            throw_if_error();
            return this->m_t;
        }

        const T* get() const
        {
            if (m_error_code)
            {
                return nullptr;
            }
            return &this->m_t;
        }

        T* get()
        {
            if (m_error_code)
            {
                return nullptr;
            }
            return &this->m_t;
        }

    private:
        void throw_if_error() const
        {
            Checks::check_throw(!this->m_error_code, this->m_error_code.message().c_str());
        }

        std::error_code m_error_code;
        T m_t;
    };
}