• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //
2 //  Copyright 2019 The Abseil Authors.
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 //      https://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 // File: marshalling.h
18 // -----------------------------------------------------------------------------
19 //
20 // This header file defines the API for extending Abseil flag support to
21 // custom types, and defines the set of overloads for fundamental types.
22 //
23 // Out of the box, the Abseil flags library supports the following types:
24 //
25 // * `bool`
26 // * `int16_t`
27 // * `uint16_t`
28 // * `int32_t`
29 // * `uint32_t`
30 // * `int64_t`
31 // * `uint64_t`
32 // * `float`
33 // * `double`
34 // * `std::string`
35 // * `std::vector<std::string>`
36 // * `std::optional<T>`
37 // * `absl::LogSeverity` (provided natively for layering reasons)
38 //
39 // Note that support for integral types is implemented using overloads for
40 // variable-width fundamental types (`short`, `int`, `long`, etc.). However,
41 // you should prefer the fixed-width integral types (`int32_t`, `uint64_t`,
42 // etc.) we've noted above within flag definitions.
43 //
44 // In addition, several Abseil libraries provide their own custom support for
45 // Abseil flags. Documentation for these formats is provided in the type's
46 // `AbslParseFlag()` definition.
47 //
48 // The Abseil time library provides the following support for civil time values:
49 //
50 // * `absl::CivilSecond`
51 // * `absl::CivilMinute`
52 // * `absl::CivilHour`
53 // * `absl::CivilDay`
54 // * `absl::CivilMonth`
55 // * `absl::CivilYear`
56 //
57 // and also provides support for the following absolute time values:
58 //
59 // * `absl::Duration`
60 // * `absl::Time`
61 //
62 // Additional support for Abseil types will be noted here as it is added.
63 //
64 // You can also provide your own custom flags by adding overloads for
65 // `AbslParseFlag()` and `AbslUnparseFlag()` to your type definitions. (See
66 // below.)
67 //
68 // -----------------------------------------------------------------------------
69 // Optional Flags
70 // -----------------------------------------------------------------------------
71 //
72 // The Abseil flags library supports flags of type `std::optional<T>` where
73 // `T` is a type of one of the supported flags. We refer to this flag type as
74 // an "optional flag." An optional flag is either "valueless", holding no value
75 // of type `T` (indicating that the flag has not been set) or a value of type
76 // `T`. The valueless state in C++ code is represented by a value of
77 // `std::nullopt` for the optional flag.
78 //
79 // Using `std::nullopt` as an optional flag's default value allows you to check
80 // whether such a flag was ever specified on the command line:
81 //
82 //   if (absl::GetFlag(FLAGS_foo).has_value()) {
83 //     // flag was set on command line
84 //   } else {
85 //     // flag was not passed on command line
86 //   }
87 //
88 // Using an optional flag in this manner avoids common workarounds for
89 // indicating such an unset flag (such as using sentinal values to indicate this
90 // state).
91 //
92 // An optional flag also allows a developer to pass a flag in an "unset"
93 // valueless state on the command line, allowing the flag to later be set in
94 // binary logic. An optional flag's valueless state is indicated by the special
95 // notation of passing the value as an empty string through the syntax `--flag=`
96 // or `--flag ""`.
97 //
98 //   $ binary_with_optional --flag_in_unset_state=
99 //   $ binary_with_optional --flag_in_unset_state ""
100 //
101 // Note: as a result of the above syntax requirements, an optional flag cannot
102 // be set to a `T` of any value which unparses to the empty string.
103 //
104 // -----------------------------------------------------------------------------
105 // Adding Type Support for Abseil Flags
106 // -----------------------------------------------------------------------------
107 //
108 // To add support for your user-defined type, add overloads of `AbslParseFlag()`
109 // and `AbslUnparseFlag()` as free (non-member) functions to your type. If `T`
110 // is a class type, these functions can be friend function definitions. These
111 // overloads must be added to the same namespace where the type is defined, so
112 // that they can be discovered by Argument-Dependent Lookup (ADL).
113 //
114 // Example:
115 //
116 //   namespace foo {
117 //
118 //   enum OutputMode { kPlainText, kHtml };
119 //
120 //   // AbslParseFlag converts from a string to OutputMode.
121 //   // Must be in same namespace as OutputMode.
122 //
123 //   // Parses an OutputMode from the command line flag value `text`. Returns
124 //   // `true` and sets `*mode` on success; returns `false` and sets `*error`
125 //   // on failure.
126 //   bool AbslParseFlag(absl::string_view text,
127 //                      OutputMode* mode,
128 //                      std::string* error) {
129 //     if (text == "plaintext") {
130 //       *mode = kPlainText;
131 //       return true;
132 //     }
133 //     if (text == "html") {
134 //       *mode = kHtml;
135 //      return true;
136 //     }
137 //     *error = "unknown value for enumeration";
138 //     return false;
139 //  }
140 //
141 //  // AbslUnparseFlag converts from an OutputMode to a string.
142 //  // Must be in same namespace as OutputMode.
143 //
144 //  // Returns a textual flag value corresponding to the OutputMode `mode`.
145 //  std::string AbslUnparseFlag(OutputMode mode) {
146 //    switch (mode) {
147 //      case kPlainText: return "plaintext";
148 //      case kHtml: return "html";
149 //    }
150 //    return absl::StrCat(mode);
151 //  }
152 //
153 // Notice that neither `AbslParseFlag()` nor `AbslUnparseFlag()` are class
154 // members, but free functions. `AbslParseFlag/AbslUnparseFlag()` overloads
155 // for a type should only be declared in the same file and namespace as said
156 // type. The proper `AbslParseFlag/AbslUnparseFlag()` implementations for a
157 // given type will be discovered via Argument-Dependent Lookup (ADL).
158 //
159 // `AbslParseFlag()` may need, in turn, to parse simpler constituent types
160 // using `absl::ParseFlag()`. For example, a custom struct `MyFlagType`
161 // consisting of a `std::pair<int, std::string>` would add an `AbslParseFlag()`
162 // overload for its `MyFlagType` like so:
163 //
164 // Example:
165 //
166 //   namespace my_flag_type {
167 //
168 //   struct MyFlagType {
169 //     std::pair<int, std::string> my_flag_data;
170 //   };
171 //
172 //   bool AbslParseFlag(absl::string_view text, MyFlagType* flag,
173 //                      std::string* err);
174 //
175 //   std::string AbslUnparseFlag(const MyFlagType&);
176 //
177 //   // Within the implementation, `AbslParseFlag()` will, in turn invoke
178 //   // `absl::ParseFlag()` on its constituent `int` and `std::string` types
179 //   // (which have built-in Abseil flag support).
180 //
181 //   bool AbslParseFlag(absl::string_view text, MyFlagType* flag,
182 //                      std::string* err) {
183 //     std::pair<absl::string_view, absl::string_view> tokens =
184 //         absl::StrSplit(text, ',');
185 //     if (!absl::ParseFlag(tokens.first, &flag->my_flag_data.first, err))
186 //         return false;
187 //     if (!absl::ParseFlag(tokens.second, &flag->my_flag_data.second, err))
188 //         return false;
189 //     return true;
190 //   }
191 //
192 //   // Similarly, for unparsing, we can simply invoke `absl::UnparseFlag()` on
193 //   // the constituent types.
194 //   std::string AbslUnparseFlag(const MyFlagType& flag) {
195 //     return absl::StrCat(absl::UnparseFlag(flag.my_flag_data.first),
196 //                         ",",
197 //                         absl::UnparseFlag(flag.my_flag_data.second));
198 //   }
199 #ifndef ABSL_FLAGS_MARSHALLING_H_
200 #define ABSL_FLAGS_MARSHALLING_H_
201 
202 #include "absl/base/config.h"
203 
204 #if defined(ABSL_HAVE_STD_OPTIONAL) && !defined(ABSL_USES_STD_OPTIONAL)
205 #include <optional>
206 #endif
207 #include <string>
208 #include <vector>
209 
210 #include "absl/strings/string_view.h"
211 #include "absl/types/optional.h"
212 
213 namespace absl {
214 ABSL_NAMESPACE_BEGIN
215 
216 // Forward declaration to be used inside composable flag parse/unparse
217 // implementations
218 template <typename T>
219 inline bool ParseFlag(absl::string_view input, T* dst, std::string* error);
220 template <typename T>
221 inline std::string UnparseFlag(const T& v);
222 
223 namespace flags_internal {
224 
225 // Overloads of `AbslParseFlag()` and `AbslUnparseFlag()` for fundamental types.
226 bool AbslParseFlag(absl::string_view, bool*, std::string*);
227 bool AbslParseFlag(absl::string_view, short*, std::string*);           // NOLINT
228 bool AbslParseFlag(absl::string_view, unsigned short*, std::string*);  // NOLINT
229 bool AbslParseFlag(absl::string_view, int*, std::string*);             // NOLINT
230 bool AbslParseFlag(absl::string_view, unsigned int*, std::string*);    // NOLINT
231 bool AbslParseFlag(absl::string_view, long*, std::string*);            // NOLINT
232 bool AbslParseFlag(absl::string_view, unsigned long*, std::string*);   // NOLINT
233 bool AbslParseFlag(absl::string_view, long long*, std::string*);       // NOLINT
234 bool AbslParseFlag(absl::string_view, unsigned long long*,             // NOLINT
235                    std::string*);
236 bool AbslParseFlag(absl::string_view, float*, std::string*);
237 bool AbslParseFlag(absl::string_view, double*, std::string*);
238 bool AbslParseFlag(absl::string_view, std::string*, std::string*);
239 bool AbslParseFlag(absl::string_view, std::vector<std::string>*, std::string*);
240 
241 template <typename T>
AbslParseFlag(absl::string_view text,absl::optional<T> * f,std::string * err)242 bool AbslParseFlag(absl::string_view text, absl::optional<T>* f,
243                    std::string* err) {
244   if (text.empty()) {
245     *f = absl::nullopt;
246     return true;
247   }
248   T value;
249   if (!absl::ParseFlag(text, &value, err)) return false;
250 
251   *f = std::move(value);
252   return true;
253 }
254 
255 #if defined(ABSL_HAVE_STD_OPTIONAL) && !defined(ABSL_USES_STD_OPTIONAL)
256 template <typename T>
AbslParseFlag(absl::string_view text,std::optional<T> * f,std::string * err)257 bool AbslParseFlag(absl::string_view text, std::optional<T>* f,
258                    std::string* err) {
259   if (text.empty()) {
260     *f = std::nullopt;
261     return true;
262   }
263   T value;
264   if (!absl::ParseFlag(text, &value, err)) return false;
265 
266   *f = std::move(value);
267   return true;
268 }
269 #endif
270 
271 template <typename T>
InvokeParseFlag(absl::string_view input,T * dst,std::string * err)272 bool InvokeParseFlag(absl::string_view input, T* dst, std::string* err) {
273   // Comment on next line provides a good compiler error message if T
274   // does not have AbslParseFlag(absl::string_view, T*, std::string*).
275   return AbslParseFlag(input, dst, err);  // Is T missing AbslParseFlag?
276 }
277 
278 // Strings and std:: containers do not have the same overload resolution
279 // considerations as fundamental types. Naming these 'AbslUnparseFlag' means we
280 // can avoid the need for additional specializations of Unparse (below).
281 std::string AbslUnparseFlag(absl::string_view v);
282 std::string AbslUnparseFlag(const std::vector<std::string>&);
283 
284 template <typename T>
AbslUnparseFlag(const absl::optional<T> & f)285 std::string AbslUnparseFlag(const absl::optional<T>& f) {
286   return f.has_value() ? absl::UnparseFlag(*f) : "";
287 }
288 
289 #if defined(ABSL_HAVE_STD_OPTIONAL) && !defined(ABSL_USES_STD_OPTIONAL)
290 template <typename T>
AbslUnparseFlag(const std::optional<T> & f)291 std::string AbslUnparseFlag(const std::optional<T>& f) {
292   return f.has_value() ? absl::UnparseFlag(*f) : "";
293 }
294 #endif
295 
296 template <typename T>
Unparse(const T & v)297 std::string Unparse(const T& v) {
298   // Comment on next line provides a good compiler error message if T does not
299   // have UnparseFlag.
300   return AbslUnparseFlag(v);  // Is T missing AbslUnparseFlag?
301 }
302 
303 // Overloads for builtin types.
304 std::string Unparse(bool v);
305 std::string Unparse(short v);               // NOLINT
306 std::string Unparse(unsigned short v);      // NOLINT
307 std::string Unparse(int v);                 // NOLINT
308 std::string Unparse(unsigned int v);        // NOLINT
309 std::string Unparse(long v);                // NOLINT
310 std::string Unparse(unsigned long v);       // NOLINT
311 std::string Unparse(long long v);           // NOLINT
312 std::string Unparse(unsigned long long v);  // NOLINT
313 std::string Unparse(float v);
314 std::string Unparse(double v);
315 
316 }  // namespace flags_internal
317 
318 // ParseFlag()
319 //
320 // Parses a string value into a flag value of type `T`. Do not add overloads of
321 // this function for your type directly; instead, add an `AbslParseFlag()`
322 // free function as documented above.
323 //
324 // Some implementations of `AbslParseFlag()` for types which consist of other,
325 // constituent types which already have Abseil flag support, may need to call
326 // `absl::ParseFlag()` on those consituent string values. (See above.)
327 template <typename T>
ParseFlag(absl::string_view input,T * dst,std::string * error)328 inline bool ParseFlag(absl::string_view input, T* dst, std::string* error) {
329   return flags_internal::InvokeParseFlag(input, dst, error);
330 }
331 
332 // UnparseFlag()
333 //
334 // Unparses a flag value of type `T` into a string value. Do not add overloads
335 // of this function for your type directly; instead, add an `AbslUnparseFlag()`
336 // free function as documented above.
337 //
338 // Some implementations of `AbslUnparseFlag()` for types which consist of other,
339 // constituent types which already have Abseil flag support, may want to call
340 // `absl::UnparseFlag()` on those constituent types. (See above.)
341 template <typename T>
UnparseFlag(const T & v)342 inline std::string UnparseFlag(const T& v) {
343   return flags_internal::Unparse(v);
344 }
345 
346 // Overloads for `absl::LogSeverity` can't (easily) appear alongside that type's
347 // definition because it is layered below flags.  See proper documentation in
348 // base/log_severity.h.
349 enum class LogSeverity : int;
350 bool AbslParseFlag(absl::string_view, absl::LogSeverity*, std::string*);
351 std::string AbslUnparseFlag(absl::LogSeverity);
352 
353 ABSL_NAMESPACE_END
354 }  // namespace absl
355 
356 #endif  // ABSL_FLAGS_MARSHALLING_H_
357