File: define_variant.hpp

package info (click to toggle)
reflect-cpp 0.18.0%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 12,524 kB
  • sloc: cpp: 44,484; python: 131; makefile: 30; sh: 3
file content (42 lines) | stat: -rw-r--r-- 1,209 bytes parent folder | download | duplicates (2)
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
#ifndef RFL_INTERNAL_DEFINEVARIANT_HPP_
#define RFL_INTERNAL_DEFINEVARIANT_HPP_

#include <variant>

namespace rfl {
namespace internal {

/// Allows you to combine several variants.
template <class... Vars>
struct define_variant;

/// Recursive case - both variants.
template <class... Vars1, class... Vars2, class... Tail>
struct define_variant<std::variant<Vars1...>, std::variant<Vars2...>, Tail...> {
    using type = typename define_variant<std::variant<Vars1..., Vars2...>,
                                         Tail...>::type;
};

/// Recursive case - variant plus other type.
template <class... Vars, class Head, class... Tail>
struct define_variant<std::variant<Vars...>, Head, Tail...> {
    using type =
        typename define_variant<std::variant<Vars..., Head>, Tail...>::type;
};

/// Recursive case - other type.
template <class Head, class... Tail>
struct define_variant<Head, Tail...> {
    using type = typename define_variant<std::variant<Head>, Tail...>::type;
};

/// Special case - only a single variant is left.
template <class... Vars>
struct define_variant<std::variant<Vars...>> {
    using type = std::variant<Vars...>;
};

}  // namespace internal
}  // namespace rfl

#endif