blob: 1da3f4e4b658d6cd7613a2dca15a364c06ac1cc2 (
plain)
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
#pragma once
#include "asl/integers.hpp"
#include "asl/meta.hpp"
#include "asl/utility.hpp"
namespace asl {
constexpr auto addr(auto&& ref) { return __builtin_addressof(ref); }
namespace ptr_internal {
template<is_object T>
class object_meta
{
public:
using pointee = T;
using metadata = empty;
};
template<is_void T>
class void_meta
{
public:
using pointee = T;
using metadata = empty;
};
template<typename T>
class array_meta;
template<is_object T, isize_t N>
class array_meta<T[N]>
{
public:
using pointee = T[N];
using metadata = empty;
};
template<is_object T>
class array_meta<T[]>
{
public:
using pointee = T;
using metadata = isize_t;
};
template<typename T>
class ptr_like_meta
{
static_assert(is_func<T> || is_ref<T>);
public:
using pointee = as_raw_ptr_t<T>;
using metadata = empty;
};
template<typename T>
constexpr auto get_meta()
{
if constexpr (is_object<T>)
{
return object_meta<T>{};
}
else if constexpr (is_void<T>)
{
return void_meta<T>{};
}
else if constexpr (is_array<T>)
{
return array_meta<T>{};
}
else if constexpr (is_ref<T> || is_func<T>)
{
return ptr_like_meta<T>{};
}
}
template<typename T>
using meta = decltype(get_meta<T>());
} // namespace ptr_internal
template<typename T>
concept is_ptr_metadata = requires
{
requires is_object<typename T::pointee> || is_void<typename T::pointee> || is_array<typename T::pointee>;
requires is_object<typename T::metadata>;
};
template<typename T>
class ptr final
{
using meta = ptr_internal::meta<T>;
static_assert(is_ptr_metadata<meta>);
public:
using pointee = meta::pointee;
using metadata = meta::metadata;
private:
pointee* m_ptr = nullptr;
ASL_NO_UNIQUE_ADDRESS metadata m_metadata;
public:
};
} // namespace asl
|
