obstack/max_alignment_type.hpp at master · cleeus/obstack · GitHub

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
109
110
111
112
113
114
#ifndef BOOST_MAXALIGNMENT_TYPE_HPP
#define BOOST_MAXALIGNMENT_TYPE_HPP

#include <boost/cstdint.hpp>
#include <boost/type_traits/alignment_of.hpp>

namespace boost {
namespace arena {
namespace detail {

template<typename T1, typename T2, bool T1gtT2>
struct max_alignof_impl {
	typedef T1 type;
	enum { value = alignment_of<type>::value };
};

//partial specialization on false
template<typename T1, typename T2>
struct max_alignof_impl<T1,T2,false> {
	typedef T2 type;
	enum { value = alignment_of<type>::value };
};

struct null_type {};

template<
	typename T1,
	typename T2 = null_type,
	typename T3 = null_type,
	typename T4 = null_type,
	typename T5 = null_type,
	typename T6 = null_type,
	typename T7 = null_type,
	typename T8 = null_type,
	typename T9 = null_type,
	typename T10 = null_type
>
struct max_alignof {
private:
	typedef typename max_alignof<T2,T3,T4,T5,T6,T7,T8,T9,T10>::type back_type;
	typedef max_alignof<T1,back_type> total_type;

	typedef typename total_type::type max_type;
	enum { max_value = total_type::value };
public:
	typedef max_type type;
	enum { value = max_value };
};


template<typename T1>
struct max_alignof<
	T1,
	null_type,
	null_type,
	null_type,
	null_type,
	null_type,
	null_type,
	null_type,
	null_type,
	null_type
>
{
	typedef T1 type;
	enum { value = alignment_of<type>::value };
};


template<typename T1, typename T2>
struct max_alignof<
	T1,
	T2,
	null_type,
	null_type,
	null_type,
	null_type,
	null_type,
	null_type,
	null_type,
	null_type
>
{
private:
	typedef max_alignof_impl<T1,T2, (alignment_of<T1>::value > alignment_of<T2>::value) > total_type;
	typedef typename total_type::type max_type;
	enum { max_value = total_type::value };
public:
	typedef max_type type;
	enum { value = max_value };
};


} //namespace detail


typedef detail::max_alignof<
	char,
	short,
	int,
	bool,
	long,
	//long long,
	::boost::int64_t,
	float,
	double,
	long double,
	void*
>::type max_align_t;

} //namespace arena
} //namespace boost

#endif /* BOOST_MAXALIGNMENT_TYPE_HPP */