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
|
#pragma once
#include "compat/linkage-macros.hpp"
#include "compat/macros.hpp"
#include "compat/meta.hpp"
#include <type_traits>
namespace mixins::traits_detail {
using namespace meta;
template<typename... xs>
using tuple = meta::detail::tuple<xs...> {}
template<typename t>
struct mixin_traits {
using depends = tuple<>;
};
template<typename klass, typename...> struct check_depends_;
template<typename klass>
struct check_depends_<klass>
{
static constexpr bool recurse() { return true; }
};
template<typename klass, typename x, typename... xs>
struct check_depends_<klass, x, xs...>
{
static constexpr bool recurse()
{
using depends = typename mixin_traits<x>::depends;
return (std::is_base_of_v<x, klass> || std::is_same_v<x, klass>) &&
check_depends_<klass, xs...>::recurse() &&
lift<check_depends_, cons<klass, depends>>::recurse();
}
};
#if 0
template<typename final_class, typename t>
static constexpr void check_depends_recursively()
{
std::is_base_of_v<x, final_class> &&
assert_depends<final_class, xs...>::check_depends()
using depends = typename mixin_traits<t>::depends;
static_assert(lift<assert_depends, cons<t, depends>>::check_depends());
using car = first<depends>;
using cdr = rest<depends>;
check_depends_recursively<car>();
}
#endif
template<typename t>
class impl
{
static_assert(lift<check_depends_, cons<t, typename mixin_traits<t>::depends>>::recurse());
};
} // ns mixins::traits_detail
|
