Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2017 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
| 17 | // This file contains classes for returning a successful result along with an optional |
| 18 | // arbitrarily typed return value or for returning a failure result along with an optional string |
| 19 | // indicating why the function failed. |
| 20 | |
| 21 | // There are 3 classes that implement this functionality and one additional helper type. |
| 22 | // |
| 23 | // Result<T> either contains a member of type T that can be accessed using similar semantics as |
Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 24 | // std::optional<T> or it contains a ResultError describing an error, which can be accessed via |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 25 | // Result<T>::error(). |
| 26 | // |
Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 27 | // ResultError is a type that contains both a std::string describing the error and a copy of errno |
| 28 | // from when the error occurred. ResultError can be used in an ostream directly to print its |
| 29 | // string value. |
| 30 | // |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 31 | // Success is a typedef that aids in creating Result<T> that do not contain a return value. |
| 32 | // Result<Success> is the correct return type for a function that either returns successfully or |
| 33 | // returns an error value. Returning Success() from a function that returns Result<Success> is the |
| 34 | // correct way to indicate that a function without a return type has completed successfully. |
| 35 | // |
| 36 | // A successful Result<T> is constructed implicitly from any type that can be implicitly converted |
| 37 | // to T or from the constructor arguments for T. This allows you to return a type T directly from |
| 38 | // a function that returns Result<T>. |
| 39 | // |
Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 40 | // Error and ErrnoError are used to construct a Result<T> that has failed. The Error class takes |
| 41 | // an ostream as an input and are implicitly cast to a Result<T> containing that failure. |
| 42 | // ErrnoError() is a helper function to create an Error class that appends ": " + strerror(errno) |
| 43 | // to the end of the failure string to aid in interacting with C APIs. Alternatively, an errno |
| 44 | // value can be directly specified via the Error() constructor. |
| 45 | // |
| 46 | // ResultError can be used in the ostream when using Error to construct a Result<T>. In this case, |
| 47 | // the string that the ResultError takes is passed through the stream normally, but the errno is |
| 48 | // passed to the Result<T>. This can be used to pass errno from a failing C function up multiple |
| 49 | // callers. |
| 50 | // |
| 51 | // ResultError can also directly construct a Result<T>. This is particularly useful if you have a |
| 52 | // function that return Result<T> but you have a Result<U> and want to return its error. In this |
| 53 | // case, you can return the .error() from the Result<U> to construct the Result<T>. |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 54 | |
| 55 | // An example of how to use these is below: |
| 56 | // Result<U> CalculateResult(const T& input) { |
| 57 | // U output; |
| 58 | // if (!SomeOtherCppFunction(input, &output)) { |
| 59 | // return Error() << "SomeOtherCppFunction(" << input << ") failed"; |
| 60 | // } |
| 61 | // if (!c_api_function(output)) { |
| 62 | // return ErrnoError() << "c_api_function(" << output << ") failed"; |
| 63 | // } |
| 64 | // return output; |
| 65 | // } |
| 66 | // |
| 67 | // auto output = CalculateResult(input); |
| 68 | // if (!output) return Error() << "CalculateResult failed: " << output.error(); |
| 69 | // UseOutput(*output); |
| 70 | |
| 71 | #ifndef _INIT_RESULT_H |
| 72 | #define _INIT_RESULT_H |
| 73 | |
| 74 | #include <errno.h> |
| 75 | |
| 76 | #include <sstream> |
| 77 | #include <string> |
| 78 | #include <variant> |
| 79 | |
| 80 | namespace android { |
| 81 | namespace init { |
| 82 | |
Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 83 | struct ResultError { |
| 84 | template <typename T> |
| 85 | ResultError(T&& error_string, int error_errno) |
| 86 | : error_string(std::forward<T>(error_string)), error_errno(error_errno) {} |
| 87 | |
| 88 | std::string error_string; |
| 89 | int error_errno; |
| 90 | }; |
| 91 | |
| 92 | inline std::ostream& operator<<(std::ostream& os, const ResultError& t) { |
| 93 | os << t.error_string; |
| 94 | return os; |
| 95 | } |
| 96 | |
| 97 | inline std::ostream& operator<<(std::ostream& os, ResultError&& t) { |
| 98 | os << std::move(t.error_string); |
| 99 | return os; |
| 100 | } |
| 101 | |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 102 | class Error { |
| 103 | public: |
Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 104 | Error() : errno_(0), append_errno_(false) {} |
| 105 | Error(int errno_to_append) : errno_(errno_to_append), append_errno_(true) {} |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 106 | |
| 107 | template <typename T> |
| 108 | Error&& operator<<(T&& t) { |
| 109 | ss_ << std::forward<T>(t); |
| 110 | return std::move(*this); |
| 111 | } |
| 112 | |
Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 113 | Error&& operator<<(const ResultError& result_error) { |
| 114 | ss_ << result_error.error_string; |
| 115 | errno_ = result_error.error_errno; |
| 116 | return std::move(*this); |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 117 | } |
| 118 | |
Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 119 | Error&& operator<<(ResultError&& result_error) { |
| 120 | ss_ << std::move(result_error.error_string); |
| 121 | errno_ = result_error.error_errno; |
| 122 | return std::move(*this); |
| 123 | } |
| 124 | |
| 125 | const std::string str() const { |
| 126 | std::string str = ss_.str(); |
| 127 | if (append_errno_) { |
| 128 | if (str.empty()) { |
| 129 | return strerror(errno_); |
| 130 | } |
| 131 | return str + ": " + strerror(errno_); |
| 132 | } |
| 133 | return str; |
| 134 | } |
| 135 | |
| 136 | int get_errno() const { return errno_; } |
| 137 | |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 138 | Error(const Error&) = delete; |
| 139 | Error(Error&&) = delete; |
| 140 | Error& operator=(const Error&) = delete; |
| 141 | Error& operator=(Error&&) = delete; |
| 142 | |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 143 | private: |
| 144 | std::stringstream ss_; |
Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 145 | int errno_; |
| 146 | bool append_errno_; |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 147 | }; |
| 148 | |
Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 149 | inline Error ErrnoError() { |
| 150 | return Error(errno); |
| 151 | } |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 152 | |
| 153 | template <typename T> |
| 154 | class Result { |
| 155 | public: |
Tom Cherry | d1c9cd0 | 2017-09-12 14:44:56 -0700 | [diff] [blame] | 156 | Result() {} |
| 157 | |
| 158 | template <typename U, typename... V, |
| 159 | typename = std::enable_if_t<!(std::is_same_v<std::decay_t<U>, Result<T>> && |
| 160 | sizeof...(V) == 0)>> |
| 161 | Result(U&& result, V&&... results) |
| 162 | : contents_(std::in_place_index_t<0>(), std::forward<U>(result), |
| 163 | std::forward<V>(results)...) {} |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 164 | |
Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 165 | Result(Error&& error) : contents_(std::in_place_index_t<1>(), error.str(), error.get_errno()) {} |
| 166 | Result(const ResultError& result_error) |
| 167 | : contents_(std::in_place_index_t<1>(), result_error.error_string, |
| 168 | result_error.error_errno) {} |
| 169 | Result(ResultError&& result_error) |
| 170 | : contents_(std::in_place_index_t<1>(), std::move(result_error.error_string), |
| 171 | result_error.error_errno) {} |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 172 | |
| 173 | bool has_value() const { return contents_.index() == 0; } |
| 174 | |
| 175 | T& value() & { return std::get<0>(contents_); } |
| 176 | const T& value() const & { return std::get<0>(contents_); } |
| 177 | T&& value() && { return std::get<0>(std::move(contents_)); } |
| 178 | const T&& value() const && { return std::get<0>(std::move(contents_)); } |
| 179 | |
Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 180 | const ResultError& error() const & { return std::get<1>(contents_); } |
| 181 | ResultError&& error() && { return std::get<1>(std::move(contents_)); } |
| 182 | const ResultError&& error() const && { return std::get<1>(std::move(contents_)); } |
| 183 | |
| 184 | const std::string& error_string() const & { return std::get<1>(contents_).error_string; } |
| 185 | std::string&& error_string() && { return std::get<1>(std::move(contents_)).error_string; } |
| 186 | const std::string&& error_string() const && { |
| 187 | return std::get<1>(std::move(contents_)).error_string; |
| 188 | } |
| 189 | |
| 190 | int error_errno() const { return std::get<1>(contents_).error_errno; } |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 191 | |
| 192 | explicit operator bool() const { return has_value(); } |
| 193 | |
| 194 | T& operator*() & { return value(); } |
| 195 | const T& operator*() const & { return value(); } |
| 196 | T&& operator*() && { return std::move(value()); } |
| 197 | const T&& operator*() const && { return std::move(value()); } |
| 198 | |
| 199 | T* operator->() { return &value(); } |
| 200 | const T* operator->() const { return &value(); } |
| 201 | |
| 202 | private: |
Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 203 | std::variant<T, ResultError> contents_; |
Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 204 | }; |
| 205 | |
| 206 | using Success = std::monostate; |
| 207 | |
| 208 | } // namespace init |
| 209 | } // namespace android |
| 210 | |
| 211 | #endif |