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
77
|
/**
** \file misc/variant.hxx
** \brief Implementation of misc::variant.
**/
#pragma once
#include <variant>
#include <type_traits>
#include <misc/variant.hh>
namespace misc
{
template <typename T, typename... Ts>
template <typename U>
requires ContainsTypeSet<U, T, Ts...>
variant<T, Ts...>::variant(const U& rhs)
: super_type(rhs)
{}
template <typename T, typename... Ts>
template <typename U>
requires ContainsTypeSet<U, T, Ts...>
variant<T, Ts...>& variant<T, Ts...>::operator=(const U& rhs)
{
// Don't assign to oneself.
if (static_cast<const void*>(&rhs) != static_cast<const void*>(this))
super_type::operator=(rhs);
return *this;
}
template <typename T, typename... Ts>
template <typename U>
requires ContainsTypeGet<U, T, Ts...>
variant<T, Ts...>::operator U&()
{
return std::get<U>(*this);
}
template <typename T, typename... Ts>
template <typename U>
requires ContainsTypeGet<U, T, Ts...>
variant<T, Ts...>::operator const U&() const
{
// FIXME DONE: Some code was deleted here.
return std::get<U>(*this);
}
template <typename T, typename... Ts>
template <typename V>
requires Visits<V, T, Ts...>
auto variant<T, Ts...>::visit(V&& visitor) const
{
return std::visit(visitor, static_cast<super_type>(*this));
}
template <typename T, typename... Ts>
template <typename V, class... Variants>
auto variant<T, Ts...>::visit(V&& visitor, Variants&&... vars)
{
return std::visit(visitor, static_cast<super_type>(vars)...);
}
template <typename T, typename... Ts>
std::ostream& operator<<(std::ostream& os, const variant<T, Ts...>& obj)
{
PrintVisitor pv(os);
return std::visit(pv, static_cast<const std::variant<T, Ts...>>(obj));
}
template <typename T>
std::ostream& PrintVisitor::operator()(const T& value) const
{
return os_ << value;
}
} // namespace misc
|
