| 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> | 
| Tom Cherry | d987264 | 2018-10-11 10:38:05 -0700 | [diff] [blame] | 154 | class [[nodiscard]] Result { | 
| Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 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 |  | 
| Tom Cherry | d987264 | 2018-10-11 10:38:05 -0700 | [diff] [blame] | 173 | void IgnoreError() const {} | 
|  | 174 |  | 
| Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 175 | bool has_value() const { return contents_.index() == 0; } | 
|  | 176 |  | 
|  | 177 | T& value() & { return std::get<0>(contents_); } | 
|  | 178 | const T& value() const & { return std::get<0>(contents_); } | 
|  | 179 | T&& value() && { return std::get<0>(std::move(contents_)); } | 
|  | 180 | const T&& value() const && { return std::get<0>(std::move(contents_)); } | 
|  | 181 |  | 
| Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 182 | const ResultError& error() const & { return std::get<1>(contents_); } | 
|  | 183 | ResultError&& error() && { return std::get<1>(std::move(contents_)); } | 
|  | 184 | const ResultError&& error() const && { return std::get<1>(std::move(contents_)); } | 
|  | 185 |  | 
|  | 186 | const std::string& error_string() const & { return std::get<1>(contents_).error_string; } | 
|  | 187 | std::string&& error_string() && { return std::get<1>(std::move(contents_)).error_string; } | 
|  | 188 | const std::string&& error_string() const && { | 
|  | 189 | return std::get<1>(std::move(contents_)).error_string; | 
|  | 190 | } | 
|  | 191 |  | 
|  | 192 | int error_errno() const { return std::get<1>(contents_).error_errno; } | 
| Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 193 |  | 
|  | 194 | explicit operator bool() const { return has_value(); } | 
|  | 195 |  | 
|  | 196 | T& operator*() & { return value(); } | 
|  | 197 | const T& operator*() const & { return value(); } | 
|  | 198 | T&& operator*() && { return std::move(value()); } | 
|  | 199 | const T&& operator*() const && { return std::move(value()); } | 
|  | 200 |  | 
|  | 201 | T* operator->() { return &value(); } | 
|  | 202 | const T* operator->() const { return &value(); } | 
|  | 203 |  | 
|  | 204 | private: | 
| Tom Cherry | 130e3d7 | 2017-08-22 16:07:15 -0700 | [diff] [blame] | 205 | std::variant<T, ResultError> contents_; | 
| Tom Cherry | 11a3aee | 2017-08-03 12:54:07 -0700 | [diff] [blame] | 206 | }; | 
|  | 207 |  | 
|  | 208 | using Success = std::monostate; | 
|  | 209 |  | 
|  | 210 | }  // namespace init | 
|  | 211 | }  // namespace android | 
|  | 212 |  | 
|  | 213 | #endif |