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
|
#pragma once
#include <util/generic/string.h>
#include <util/generic/variant.h>
namespace NYT {
////////////////////////////////////////////////////////////////////////////////
class TStringBuilderBase;
template <class... Ts>
void FormatValue(TStringBuilderBase* builder, const std::variant<Ts...>& variant, TStringBuf spec);
void FormatValue(TStringBuilderBase* builder, const std::monostate&, TStringBuf /*spec*/);
////////////////////////////////////////////////////////////////////////////////
//! A concise way of creating a functor with an overloaded operator().
/*!
* Very useful for std::visit-ing variants. For example:
*
* std::visit(TOverloaded{
* [] (int i) { printf("The variant holds an int: %d!", i); },
* [] (const std::string& s) { printf("The variant holds a string: '%s'!", s); }
* }, variantVariable);
*/
template<class... Ts> struct TOverloaded : Ts... { using Ts::operator()...; };
template<class... Ts> TOverloaded(Ts...) -> TOverloaded<Ts...>;
////////////////////////////////////////////////////////////////////////////////
//! An alternative to std::visit that takes its variant argument first.
/*!
* This deprives it of being able to visit a Cartesian product of variants but
* in exchange allows to receive multiple visitor functors. All of operator()s
* these functors have are used to visit the variant after a single unified
* overload resolution. For example:
*
* Visit(variantVariable,
* [] (int i) { printf("The variant holds an int: %d!", i); },
* [] (const std::string& s) { printf("The variant holds a string: '%s'!", s); });
*/
template <class T, class... U>
auto Visit(T&& variant, U&&... visitorOverloads)
{
return std::visit(TOverloaded{std::forward<U>(visitorOverloads)...}, std::forward<T>(variant));
}
////////////////////////////////////////////////////////////////////////////////
} // namespace NYT
#define VARIANT_INL_H_
#include "variant-inl.h"
#undef VARIANT_INL_H_
|
