47 template <typename T, T v> struct hb_integral_constant { static constexpr T value = v; };
55 template <bool B, typename T = void> struct hb_enable_if {};
56 template <typename T>                struct hb_enable_if<true, T> { typedef T type; };
61 template <typename T, typename T2> struct hb_is_same : hb_false_type {};
62 template <typename T>              struct hb_is_same<T, T> : hb_true_type {};
63 #define hb_is_same(T, T2) hb_is_same<T, T2>::value  argument
78 template <typename T> struct hb_type_identity_t { typedef T type; };
79 template <typename T> using hb_type_identity = typename hb_type_identity_t<T>::type;
83   template <typename T> constexpr T*
84   operator () (T& arg) const  in operator ()()
89     return reinterpret_cast<T*> (  in operator ()()
97 template <typename T> static inline T hb_declval ();
98 #define hb_declval(T) (hb_declval<T> ())  argument
100 template <typename T> struct hb_match_const		: hb_type_identity_t<T>, hb_bool_constant<false>{};
101 template <typename T> struct hb_match_const<const T>	: hb_type_identity_t<T>, hb_bool_constant<true…
102 template <typename T> using hb_remove_const = typename hb_match_const<T>::type;
103 template <typename T> using hb_add_const = const T;
104 #define hb_is_const(T) hb_match_const<T>::value  argument
105 template <typename T> struct hb_match_reference		: hb_type_identity_t<T>, hb_bool_constant<false>{};
106 template <typename T> struct hb_match_reference<T &>	: hb_type_identity_t<T>, hb_bool_constant<true…
107 template <typename T> struct hb_match_reference<T &&>	: hb_type_identity_t<T>, hb_bool_constant<tru…
108 template <typename T> using hb_remove_reference = typename hb_match_reference<T>::type;
109 template <typename T> auto _hb_try_add_lvalue_reference (hb_priority<1>) -> hb_type_identity<T&>;
110 template <typename T> auto _hb_try_add_lvalue_reference (hb_priority<0>) -> hb_type_identity<T>;
111 template <typename T> using hb_add_lvalue_reference = decltype (_hb_try_add_lvalue_reference<T> (hb…
112 template <typename T> auto _hb_try_add_rvalue_reference (hb_priority<1>) -> hb_type_identity<T&&>;
113 template <typename T> auto _hb_try_add_rvalue_reference (hb_priority<0>) -> hb_type_identity<T>;
114 template <typename T> using hb_add_rvalue_reference = decltype (_hb_try_add_rvalue_reference<T> (hb…
115 #define hb_is_reference(T) hb_match_reference<T>::value  argument
116 template <typename T> struct hb_match_pointer		: hb_type_identity_t<T>, hb_bool_constant<false>{};
117 template <typename T> struct hb_match_pointer<T *>	: hb_type_identity_t<T>, hb_bool_constant<true>	…
118 template <typename T> using hb_remove_pointer = typename hb_match_pointer<T>::type;
119 template <typename T> auto _hb_try_add_pointer (hb_priority<1>) -> hb_type_identity<hb_remove_refer…
120 template <typename T> auto _hb_try_add_pointer (hb_priority<1>) -> hb_type_identity<T>;
121 template <typename T> using hb_add_pointer = decltype (_hb_try_add_pointer<T> (hb_prioritize));
122 #define hb_is_pointer(T) hb_match_pointer<T>::value  argument
126 template <typename T> using hb_decay = hb_remove_const<hb_remove_reference<T>>;
129 template<bool B, class T, class F>
130 struct _hb_conditional { typedef T type; };
131 template<class T, class F>
132 struct _hb_conditional<false, T, F> { typedef F type; };
133 template<bool B, class T, class F>
134 using hb_conditional = typename _hb_conditional<B, T, F>::type;
148   template <typename T>
149   static auto impl (hb_priority<1>) -> decltype (impl2 (hb_declval (T)));
150   template <typename T>
173 template <typename T>
174 static constexpr hb_remove_reference<T>&& hb_move (T&& t) { return (hb_remove_reference<T>&&) (t); }  in hb_move()  argument
176 template <typename T>
177 static constexpr T&& hb_forward (hb_remove_reference<T>& t) { return (T&&) t; }  in hb_forward()  argument
178 template <typename T>
179 static constexpr T&& hb_forward (hb_remove_reference<T>&& t) { return (T&&) t; }  in hb_forward()  argument
183   template <typename T> constexpr auto
184   operator () (T&& v) const HB_AUTO_RETURN (hb_forward<T> (v))
186   template <typename T> constexpr auto
187   operator () (T *v) const HB_AUTO_RETURN (*v)
193   template <typename T> constexpr auto
194   operator () (T&& v) const HB_AUTO_RETURN (hb_forward<T> (v))
196   template <typename T> constexpr auto
197   operator () (T& v) const HB_AUTO_RETURN (hb_addressof (v))
201 template <typename T>
204   hb_reference_wrapper (T v) : v (v) {}  in hb_reference_wrapper()
207   operator T () const { return v; }  in operator T()
208   T get () const { return v; }  in get()
209   T v;
211 template <typename T>
212 struct hb_reference_wrapper<T&>
214   hb_reference_wrapper (T& v) : v (hb_addressof (v)) {}  in hb_reference_wrapper()
217   operator T& () const { return *v; }  in operator T&()
218   T& get () const { return *v; }  in get()
219   T* v;
223 template <typename T>
225   hb_is_same (hb_decay<T>, char) ||
226   hb_is_same (hb_decay<T>, signed char) ||
227   hb_is_same (hb_decay<T>, unsigned char) ||
228   hb_is_same (hb_decay<T>, signed int) ||
229   hb_is_same (hb_decay<T>, unsigned int) ||
230   hb_is_same (hb_decay<T>, signed short) ||
231   hb_is_same (hb_decay<T>, unsigned short) ||
232   hb_is_same (hb_decay<T>, signed long) ||
233   hb_is_same (hb_decay<T>, unsigned long) ||
234   hb_is_same (hb_decay<T>, signed long long) ||
235   hb_is_same (hb_decay<T>, unsigned long long) ||
238 #define hb_is_integral(T) hb_is_integral<T>::value  argument
239 template <typename T>
241   hb_is_same (hb_decay<T>, float) ||
242   hb_is_same (hb_decay<T>, double) ||
243   hb_is_same (hb_decay<T>, long double) ||
246 #define hb_is_floating_point(T) hb_is_floating_point<T>::value  argument
247 template <typename T>
249   hb_is_integral (T) ||
250   hb_is_floating_point (T) ||
253 #define hb_is_arithmetic(T) hb_is_arithmetic<T>::value  argument
256 template <typename T>
257 using hb_is_signed = hb_conditional<hb_is_arithmetic (T),
258 				    hb_bool_constant<(T) -1 < (T) 0>,
260 #define hb_is_signed(T) hb_is_signed<T>::value  argument
261 template <typename T>
262 using hb_is_unsigned = hb_conditional<hb_is_arithmetic (T),
263 				      hb_bool_constant<(T) 0 < (T) -1>,
265 #define hb_is_unsigned(T) hb_is_unsigned<T>::value  argument
267 template <typename T> struct hb_int_min;
279 #define hb_int_min(T) hb_int_min<T>::value  argument
280 template <typename T> struct hb_int_max;
292 #define hb_int_max(T) hb_int_max<T>::value  argument
296 template <typename T, typename>
298 template <typename T>
299 struct _hb_is_destructible<T, hb_void_t<decltype (hb_declval (T).~T ())>> : hb_true_type {};
300 template <typename T>
301 using hb_is_destructible = _hb_is_destructible<T, void>;
302 #define hb_is_destructible(T) hb_is_destructible<T>::value  argument
304 template <typename T, typename, typename ...Ts>
306 template <typename T, typename ...Ts>
307 struct _hb_is_constructible<T, hb_void_t<decltype (T (hb_declval (Ts)...))>, Ts...> : hb_true_type …
308 template <typename T, typename ...Ts>
309 using hb_is_constructible = _hb_is_constructible<T, void, Ts...>;
312 template <typename T>
313 using hb_is_default_constructible = hb_is_constructible<T>;
314 #define hb_is_default_constructible(T) hb_is_default_constructible<T>::value  argument
316 template <typename T>
317 using hb_is_copy_constructible = hb_is_constructible<T, hb_add_lvalue_reference<hb_add_const<T>>>;
318 #define hb_is_copy_constructible(T) hb_is_copy_constructible<T>::value  argument
320 template <typename T>
321 using hb_is_move_constructible = hb_is_constructible<T, hb_add_rvalue_reference<hb_add_const<T>>>;
322 #define hb_is_move_constructible(T) hb_is_move_constructible<T>::value  argument
324 template <typename T, typename U, typename>
326 template <typename T, typename U>
327 struct _hb_is_assignable<T, U, hb_void_t<decltype (hb_declval (T) = hb_declval (U))>> : hb_true_typ…
328 template <typename T, typename U>
329 using hb_is_assignable = _hb_is_assignable<T, U, void>;
330 #define hb_is_assignable(T,U) hb_is_assignable<T, U>::value  argument
332 template <typename T>
333 using hb_is_copy_assignable = hb_is_assignable<hb_add_lvalue_reference<T>,
334 					       hb_add_lvalue_reference<hb_add_const<T>>>;
335 #define hb_is_copy_assignable(T) hb_is_copy_assignable<T>::value  argument
337 template <typename T>
338 using hb_is_move_assignable = hb_is_assignable<hb_add_lvalue_reference<T>,
339 					       hb_add_rvalue_reference<T>>;
340 #define hb_is_move_assignable(T) hb_is_move_assignable<T>::value  argument
344 template <typename T> union hb_trivial { T value; };
346 /* Don't know how to do the following. */
347 template <typename T>
348 using hb_is_trivially_destructible= hb_is_destructible<hb_trivial<T>>;
349 #define hb_is_trivially_destructible(T) hb_is_trivially_destructible<T>::value  argument
351 /* Don't know how to do the following. */
352 //template <typename T, typename ...Ts>
353 //using hb_is_trivially_constructible= hb_is_constructible<hb_trivial<T>, hb_trivial<Ts>...>;
356 template <typename T>
357 using hb_is_trivially_default_constructible= hb_is_default_constructible<hb_trivial<T>>;
358 #define hb_is_trivially_default_constructible(T) hb_is_trivially_default_constructible<T>::value  argument
360 template <typename T>
361 using hb_is_trivially_copy_constructible= hb_is_copy_constructible<hb_trivial<T>>;
362 #define hb_is_trivially_copy_constructible(T) hb_is_trivially_copy_constructible<T>::value  argument
364 template <typename T>
365 using hb_is_trivially_move_constructible= hb_is_move_constructible<hb_trivial<T>>;
366 #define hb_is_trivially_move_constructible(T) hb_is_trivially_move_constructible<T>::value  argument
368 /* Don't know how to do the following. */
369 //template <typename T, typename U>
370 //using hb_is_trivially_assignable= hb_is_assignable<hb_trivial<T>, hb_trivial<U>>;
371 //#define hb_is_trivially_assignable(T,U) hb_is_trivially_assignable<T, U>::value
373 template <typename T>
374 using hb_is_trivially_copy_assignable= hb_is_copy_assignable<hb_trivial<T>>;
375 #define hb_is_trivially_copy_assignable(T) hb_is_trivially_copy_assignable<T>::value  argument
377 template <typename T>
378 using hb_is_trivially_move_assignable= hb_is_move_assignable<hb_trivial<T>>;
379 #define hb_is_trivially_move_assignable(T) hb_is_trivially_move_assignable<T>::value  argument
381 template <typename T>
383   hb_is_trivially_destructible (T) &&
384   (!hb_is_move_assignable (T) || hb_is_trivially_move_assignable (T)) &&
385   (!hb_is_move_constructible (T) || hb_is_trivially_move_constructible (T)) &&
386   (!hb_is_copy_assignable (T) || hb_is_trivially_copy_assignable (T)) &&
387   (!hb_is_copy_constructible (T) || hb_is_trivially_copy_constructible (T)) &&
390 #define hb_is_trivially_copyable(T) hb_is_trivially_copyable<T>::value  argument
392 template <typename T>
394   hb_is_trivially_copyable (T) &&
395   hb_is_trivially_default_constructible (T)
397 #define hb_is_trivial(T) hb_is_trivial<T>::value  argument