blob: 2d90e7b279fb9ba5b4d6f8f4e6c241fe5bdad30f (
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
|
#pragma once
#include "asl/integers.hpp"
#include "asl/meta.hpp"
namespace asl
{
namespace ptr_internal
{
template<is_void T>
struct void_metadata
{
using metadata = empty;
using pointee = T;
};
template<is_array T>
struct array_metadata {};
template<typename T>
struct array_metadata<T[]>
{
using metadata = isize_t;
using pointee = T;
};
template<typename T, isize_t N>
struct array_metadata<T[N]>
{
using metadata = empty;
using pointee = T[N];
};
template<is_object T>
struct object_metadata
{
using metadata = empty;
using pointee = T;
};
template<is_func T>
struct func_metadata
{
using metadata = empty;
using pointee = tame_t<T>*;
};
template<is_ref T>
struct ref_metadata
{
using metadata = empty;
using pointee = un_ref_t<T>*;
};
template<is_void T> void_metadata<T> select_ptr_metadata(types<T>);
template<is_array T> array_metadata<T> select_ptr_metadata(types<T>);
template<is_object T> object_metadata<T> select_ptr_metadata(types<T>) requires (!is_array<T>);
template<is_func T> func_metadata<T> select_ptr_metadata(types<T>);
template<is_ref T> ref_metadata<T> select_ptr_metadata(types<T>);
template<typename T>
using metadata = decltype(select_ptr_metadata(types<T>{}));
} // namespace ptr_internal
template<typename T>
concept ptr_metadata = requires
{
is_object<typename T::metadata>;
is_object<typename T::pointee>;
};
} // namespace asl
|
