summaryrefslogtreecommitdiffstats
path: root/library/cpp/yt/misc/variant.h
blob: a6b6821e1e51fef91032f7380fc6f8ba10bbf2cc (plain) (blame)
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
#pragma once 
 
#include <variant> 
 
namespace NYT { 
 
//////////////////////////////////////////////////////////////////////////////// 
 
namespace NDetail { 
 
template <class T, class... Ts> 
struct TIndexOf; 
 
} // namespace NDetail 
 
template <class T, class V> 
struct TVariantIndex; 
 
template <class T, class... Ts> 
struct TVariantIndex<T, std::variant<Ts...>> 
    : std::integral_constant<size_t, NDetail::TIndexOf<T, Ts...>::Value> 
{ }; 

template <class T, class V> 
constexpr size_t VariantIndexV = TVariantIndex<T, V>::value; 
 
//////////////////////////////////////////////////////////////////////////////// 
 
class TStringBuilderBase; 
 
template <class... Ts> 
void FormatValue(TStringBuilderBase* builder, const std::variant<Ts...>& variant, TStringBuf spec); 
 
template <class... Ts>
TString ToString(const std::variant<Ts...>& variant); 

//////////////////////////////////////////////////////////////////////////////// 
 
//! 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_