2018-12-27 23:23:12 +01:00
|
|
|
/*
|
|
|
|
* Copyright © 2018 Google, Inc.
|
|
|
|
*
|
|
|
|
* This is part of HarfBuzz, a text shaping library.
|
|
|
|
*
|
|
|
|
* Permission is hereby granted, without written agreement and without
|
|
|
|
* license or royalty fees, to use, copy, modify, and distribute this
|
|
|
|
* software and its documentation for any purpose, provided that the
|
|
|
|
* above copyright notice and the following two paragraphs appear in
|
|
|
|
* all copies of this software.
|
|
|
|
*
|
|
|
|
* IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE TO ANY PARTY FOR
|
|
|
|
* DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
|
|
|
|
* ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN
|
|
|
|
* IF THE COPYRIGHT HOLDER HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH
|
|
|
|
* DAMAGE.
|
|
|
|
*
|
|
|
|
* THE COPYRIGHT HOLDER SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING,
|
|
|
|
* BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
|
|
|
|
* FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS
|
|
|
|
* ON AN "AS IS" BASIS, AND THE COPYRIGHT HOLDER HAS NO OBLIGATION TO
|
|
|
|
* PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
|
|
|
|
*
|
|
|
|
* Google Author(s): Behdad Esfahbod
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef HB_META_HH
|
|
|
|
#define HB_META_HH
|
|
|
|
|
|
|
|
#include "hb.hh"
|
|
|
|
|
2022-01-15 21:08:21 +01:00
|
|
|
#include <memory>
|
2021-11-02 07:04:18 +01:00
|
|
|
#include <type_traits>
|
2021-11-02 07:14:34 +01:00
|
|
|
#include <utility>
|
2021-11-02 07:04:18 +01:00
|
|
|
|
2018-12-27 23:23:12 +01:00
|
|
|
|
2018-12-27 23:38:26 +01:00
|
|
|
/*
|
2019-01-29 03:26:23 +01:00
|
|
|
* C++ template meta-programming & fundamentals used with them.
|
2018-12-27 23:38:26 +01:00
|
|
|
*/
|
|
|
|
|
2019-04-17 16:20:02 +02:00
|
|
|
/* Void! For when we need a expression-type of void. */
|
2019-05-11 05:43:26 +02:00
|
|
|
struct hb_empty_t {};
|
2019-04-17 16:20:02 +02:00
|
|
|
|
2019-05-11 05:43:51 +02:00
|
|
|
/* https://en.cppreference.com/w/cpp/types/void_t */
|
|
|
|
template<typename... Ts> struct _hb_void_t { typedef void type; };
|
|
|
|
template<typename... Ts> using hb_void_t = typename _hb_void_t<Ts...>::type;
|
2019-04-17 16:20:02 +02:00
|
|
|
|
2019-05-11 06:01:19 +02:00
|
|
|
template<typename Head, typename... Ts> struct _hb_head_t { typedef Head type; };
|
|
|
|
template<typename... Ts> using hb_head_t = typename _hb_head_t<Ts...>::type;
|
2019-04-17 16:20:02 +02:00
|
|
|
|
2019-05-11 05:06:31 +02:00
|
|
|
template <typename T, T v> struct hb_integral_constant { static constexpr T value = v; };
|
|
|
|
template <bool b> using hb_bool_constant = hb_integral_constant<bool, b>;
|
|
|
|
using hb_true_type = hb_bool_constant<true>;
|
|
|
|
using hb_false_type = hb_bool_constant<false>;
|
2019-04-17 16:20:02 +02:00
|
|
|
|
2020-06-29 09:44:41 +02:00
|
|
|
/* Static-assert as expression. */
|
|
|
|
template <bool cond> struct static_assert_expr;
|
|
|
|
template <> struct static_assert_expr<true> : hb_false_type {};
|
|
|
|
#define static_assert_expr(C) static_assert_expr<C>::value
|
2019-04-17 16:20:02 +02:00
|
|
|
|
2019-05-09 23:35:15 +02:00
|
|
|
/* Basic type SFINAE. */
|
|
|
|
|
|
|
|
template <bool B, typename T = void> struct hb_enable_if {};
|
|
|
|
template <typename T> struct hb_enable_if<true, T> { typedef T type; };
|
|
|
|
#define hb_enable_if(Cond) typename hb_enable_if<(Cond)>::type* = nullptr
|
|
|
|
/* Concepts/Requires alias: */
|
|
|
|
#define hb_requires(Cond) hb_enable_if((Cond))
|
|
|
|
|
2019-05-11 05:06:31 +02:00
|
|
|
template <typename T, typename T2> struct hb_is_same : hb_false_type {};
|
|
|
|
template <typename T> struct hb_is_same<T, T> : hb_true_type {};
|
2019-05-09 23:35:15 +02:00
|
|
|
#define hb_is_same(T, T2) hb_is_same<T, T2>::value
|
|
|
|
|
2019-04-16 23:34:06 +02:00
|
|
|
/* Function overloading SFINAE and priority. */
|
|
|
|
|
2019-05-11 06:01:19 +02:00
|
|
|
#define HB_RETURN(Ret, E) -> hb_head_t<Ret, decltype ((E))> { return (E); }
|
2019-04-17 00:28:17 +02:00
|
|
|
#define HB_AUTO_RETURN(E) -> decltype ((E)) { return (E); }
|
2019-05-11 05:43:51 +02:00
|
|
|
#define HB_VOID_RETURN(E) -> hb_void_t<decltype ((E))> { (E); }
|
2019-04-16 23:34:06 +02:00
|
|
|
|
|
|
|
template <unsigned Pri> struct hb_priority : hb_priority<Pri - 1> {};
|
|
|
|
template <> struct hb_priority<0> {};
|
|
|
|
#define hb_prioritize hb_priority<16> ()
|
|
|
|
|
2019-04-15 21:39:03 +02:00
|
|
|
#define HB_FUNCOBJ(x) static_const x HB_UNUSED
|
2018-12-27 23:38:26 +01:00
|
|
|
|
2019-04-17 16:20:02 +02:00
|
|
|
|
2019-05-11 05:56:16 +02:00
|
|
|
template <typename T> struct hb_type_identity_t { typedef T type; };
|
|
|
|
template <typename T> using hb_type_identity = typename hb_type_identity_t<T>::type;
|
2019-04-27 02:14:25 +02:00
|
|
|
|
2018-12-28 22:41:04 +01:00
|
|
|
template <typename T> static inline T hb_declval ();
|
2019-01-08 20:27:51 +01:00
|
|
|
#define hb_declval(T) (hb_declval<T> ())
|
2018-12-28 20:29:09 +01:00
|
|
|
|
2021-08-05 20:07:25 +02:00
|
|
|
template <typename T> struct hb_match_const : hb_type_identity_t<T>, hb_false_type {};
|
|
|
|
template <typename T> struct hb_match_const<const T> : hb_type_identity_t<T>, hb_true_type {};
|
2019-04-16 22:45:53 +02:00
|
|
|
template <typename T> using hb_remove_const = typename hb_match_const<T>::type;
|
2022-01-13 23:30:10 +01:00
|
|
|
|
2021-08-05 20:07:25 +02:00
|
|
|
template <typename T> struct hb_match_reference : hb_type_identity_t<T>, hb_false_type {};
|
|
|
|
template <typename T> struct hb_match_reference<T &> : hb_type_identity_t<T>, hb_true_type {};
|
|
|
|
template <typename T> struct hb_match_reference<T &&> : hb_type_identity_t<T>, hb_true_type {};
|
2019-04-16 22:45:53 +02:00
|
|
|
template <typename T> using hb_remove_reference = typename hb_match_reference<T>::type;
|
2019-05-11 04:29:32 +02:00
|
|
|
template <typename T> auto _hb_try_add_lvalue_reference (hb_priority<1>) -> hb_type_identity<T&>;
|
|
|
|
template <typename T> auto _hb_try_add_lvalue_reference (hb_priority<0>) -> hb_type_identity<T>;
|
|
|
|
template <typename T> using hb_add_lvalue_reference = decltype (_hb_try_add_lvalue_reference<T> (hb_prioritize));
|
|
|
|
template <typename T> auto _hb_try_add_rvalue_reference (hb_priority<1>) -> hb_type_identity<T&&>;
|
|
|
|
template <typename T> auto _hb_try_add_rvalue_reference (hb_priority<0>) -> hb_type_identity<T>;
|
|
|
|
template <typename T> using hb_add_rvalue_reference = decltype (_hb_try_add_rvalue_reference<T> (hb_prioritize));
|
2022-01-13 23:30:10 +01:00
|
|
|
|
2021-08-05 20:07:25 +02:00
|
|
|
template <typename T> struct hb_match_pointer : hb_type_identity_t<T>, hb_false_type {};
|
|
|
|
template <typename T> struct hb_match_pointer<T *> : hb_type_identity_t<T>, hb_true_type {};
|
2019-04-16 22:45:53 +02:00
|
|
|
template <typename T> using hb_remove_pointer = typename hb_match_pointer<T>::type;
|
2019-05-11 04:29:32 +02:00
|
|
|
template <typename T> auto _hb_try_add_pointer (hb_priority<1>) -> hb_type_identity<hb_remove_reference<T>*>;
|
|
|
|
template <typename T> auto _hb_try_add_pointer (hb_priority<1>) -> hb_type_identity<T>;
|
|
|
|
template <typename T> using hb_add_pointer = decltype (_hb_try_add_pointer<T> (hb_prioritize));
|
2018-12-31 00:49:34 +01:00
|
|
|
|
2019-05-11 04:29:32 +02:00
|
|
|
|
2019-04-27 02:14:25 +02:00
|
|
|
/* TODO Add feature-parity to std::decay. */
|
2019-04-26 21:52:28 +02:00
|
|
|
template <typename T> using hb_decay = hb_remove_const<hb_remove_reference<T>>;
|
|
|
|
|
2021-11-02 07:49:40 +01:00
|
|
|
#define hb_is_convertible(From,To) std::is_convertible<From, To>::value
|
2019-05-10 20:26:39 +02:00
|
|
|
|
2019-05-10 00:24:14 +02:00
|
|
|
template <typename From, typename To>
|
2019-05-11 05:17:30 +02:00
|
|
|
using hb_is_cr_convertible = hb_bool_constant<
|
|
|
|
hb_is_same (hb_decay<From>, hb_decay<To>) &&
|
2022-01-13 23:32:46 +01:00
|
|
|
(!std::is_const<From>::value || std::is_const<To>::value) &&
|
|
|
|
(!std::is_reference<To>::value || std::is_const<To>::value || std::is_reference<To>::value)
|
2019-05-11 05:17:30 +02:00
|
|
|
>;
|
2019-05-10 00:24:14 +02:00
|
|
|
#define hb_is_cr_convertible(From,To) hb_is_cr_convertible<From, To>::value
|
2019-05-09 23:35:15 +02:00
|
|
|
|
2019-03-31 03:19:36 +02:00
|
|
|
|
2019-04-16 23:34:06 +02:00
|
|
|
struct
|
|
|
|
{
|
2019-07-03 02:55:58 +02:00
|
|
|
template <typename T> constexpr auto
|
2021-11-02 07:18:22 +01:00
|
|
|
operator () (T&& v) const HB_AUTO_RETURN (std::forward<T> (v))
|
2019-04-16 23:34:06 +02:00
|
|
|
|
2019-07-03 02:55:58 +02:00
|
|
|
template <typename T> constexpr auto
|
2019-04-17 00:28:17 +02:00
|
|
|
operator () (T *v) const HB_AUTO_RETURN (*v)
|
2019-05-08 01:53:03 +02:00
|
|
|
}
|
|
|
|
HB_FUNCOBJ (hb_deref);
|
2019-04-16 23:34:06 +02:00
|
|
|
|
2019-05-07 09:03:35 +02:00
|
|
|
template <typename T>
|
|
|
|
struct hb_reference_wrapper
|
|
|
|
{
|
|
|
|
hb_reference_wrapper (T v) : v (v) {}
|
|
|
|
bool operator == (const hb_reference_wrapper& o) const { return v == o.v; }
|
|
|
|
bool operator != (const hb_reference_wrapper& o) const { return v != o.v; }
|
2019-05-07 09:13:11 +02:00
|
|
|
operator T () const { return v; }
|
2019-05-07 09:03:35 +02:00
|
|
|
T get () const { return v; }
|
|
|
|
T v;
|
|
|
|
};
|
|
|
|
template <typename T>
|
|
|
|
struct hb_reference_wrapper<T&>
|
|
|
|
{
|
2022-01-14 00:17:34 +01:00
|
|
|
hb_reference_wrapper (T& v) : v (std::addressof (v)) {}
|
2019-05-07 09:03:35 +02:00
|
|
|
bool operator == (const hb_reference_wrapper& o) const { return v == o.v; }
|
|
|
|
bool operator != (const hb_reference_wrapper& o) const { return v != o.v; }
|
2019-05-07 09:13:11 +02:00
|
|
|
operator T& () const { return *v; }
|
|
|
|
T& get () const { return *v; }
|
2019-05-07 09:03:35 +02:00
|
|
|
T* v;
|
|
|
|
};
|
|
|
|
|
2019-03-31 03:19:36 +02:00
|
|
|
|
2020-06-29 10:18:28 +02:00
|
|
|
/* Type traits */
|
|
|
|
|
2019-05-09 20:00:43 +02:00
|
|
|
template <typename T> struct hb_int_min;
|
2019-05-11 05:49:52 +02:00
|
|
|
template <> struct hb_int_min<char> : hb_integral_constant<char, CHAR_MIN> {};
|
|
|
|
template <> struct hb_int_min<signed char> : hb_integral_constant<signed char, SCHAR_MIN> {};
|
|
|
|
template <> struct hb_int_min<unsigned char> : hb_integral_constant<unsigned char, 0> {};
|
|
|
|
template <> struct hb_int_min<signed short> : hb_integral_constant<signed short, SHRT_MIN> {};
|
|
|
|
template <> struct hb_int_min<unsigned short> : hb_integral_constant<unsigned short, 0> {};
|
|
|
|
template <> struct hb_int_min<signed int> : hb_integral_constant<signed int, INT_MIN> {};
|
|
|
|
template <> struct hb_int_min<unsigned int> : hb_integral_constant<unsigned int, 0> {};
|
|
|
|
template <> struct hb_int_min<signed long> : hb_integral_constant<signed long, LONG_MIN> {};
|
|
|
|
template <> struct hb_int_min<unsigned long> : hb_integral_constant<unsigned long, 0> {};
|
|
|
|
template <> struct hb_int_min<signed long long> : hb_integral_constant<signed long long, LLONG_MIN> {};
|
|
|
|
template <> struct hb_int_min<unsigned long long> : hb_integral_constant<unsigned long long, 0> {};
|
2021-08-05 20:27:02 +02:00
|
|
|
template <typename T> struct hb_int_min<T *> : hb_integral_constant<T *, nullptr> {};
|
2019-04-24 16:53:16 +02:00
|
|
|
#define hb_int_min(T) hb_int_min<T>::value
|
2019-05-09 20:00:43 +02:00
|
|
|
template <typename T> struct hb_int_max;
|
2019-05-11 05:49:52 +02:00
|
|
|
template <> struct hb_int_max<char> : hb_integral_constant<char, CHAR_MAX> {};
|
|
|
|
template <> struct hb_int_max<signed char> : hb_integral_constant<signed char, SCHAR_MAX> {};
|
|
|
|
template <> struct hb_int_max<unsigned char> : hb_integral_constant<unsigned char, UCHAR_MAX> {};
|
|
|
|
template <> struct hb_int_max<signed short> : hb_integral_constant<signed short, SHRT_MAX> {};
|
|
|
|
template <> struct hb_int_max<unsigned short> : hb_integral_constant<unsigned short, USHRT_MAX> {};
|
|
|
|
template <> struct hb_int_max<signed int> : hb_integral_constant<signed int, INT_MAX> {};
|
|
|
|
template <> struct hb_int_max<unsigned int> : hb_integral_constant<unsigned int, UINT_MAX> {};
|
|
|
|
template <> struct hb_int_max<signed long> : hb_integral_constant<signed long, LONG_MAX> {};
|
|
|
|
template <> struct hb_int_max<unsigned long> : hb_integral_constant<unsigned long, ULONG_MAX> {};
|
|
|
|
template <> struct hb_int_max<signed long long> : hb_integral_constant<signed long long, LLONG_MAX> {};
|
|
|
|
template <> struct hb_int_max<unsigned long long> : hb_integral_constant<unsigned long long, ULLONG_MAX> {};
|
2019-05-09 20:00:43 +02:00
|
|
|
#define hb_int_max(T) hb_int_max<T>::value
|
2019-04-24 16:53:16 +02:00
|
|
|
|
2022-07-19 18:21:09 +02:00
|
|
|
#if defined(__GNUC__) && __GNUC__ < 5 && !defined(__clang__)
|
2022-05-10 10:00:06 +02:00
|
|
|
#define hb_is_trivially_copyable(T) __has_trivial_copy(T)
|
2022-05-19 23:27:32 +02:00
|
|
|
#define hb_is_trivially_copy_assignable(T) __has_trivial_assign(T)
|
2022-05-10 10:00:06 +02:00
|
|
|
#define hb_is_trivially_constructible(T) __has_trivial_constructor(T)
|
2022-05-19 23:02:10 +02:00
|
|
|
#define hb_is_trivially_copy_constructible(T) __has_trivial_copy_constructor(T)
|
2022-05-10 10:00:06 +02:00
|
|
|
#define hb_is_trivially_destructible(T) __has_trivial_destructor(T)
|
|
|
|
#else
|
|
|
|
#define hb_is_trivially_copyable(T) std::is_trivially_copyable<T>::value
|
|
|
|
#define hb_is_trivially_copy_assignable(T) std::is_trivially_copy_assignable<T>::value
|
|
|
|
#define hb_is_trivially_constructible(T) std::is_trivially_constructible<T>::value
|
2022-05-19 23:02:10 +02:00
|
|
|
#define hb_is_trivially_copy_constructible(T) std::is_trivially_copy_constructible<T>::value
|
2022-05-10 10:00:06 +02:00
|
|
|
#define hb_is_trivially_destructible(T) std::is_trivially_destructible<T>::value
|
|
|
|
#endif
|
2018-12-28 20:34:00 +01:00
|
|
|
|
2020-06-29 10:18:28 +02:00
|
|
|
/* Class traits. */
|
|
|
|
|
|
|
|
#define HB_DELETE_COPY_ASSIGN(TypeName) \
|
|
|
|
TypeName(const TypeName&) = delete; \
|
|
|
|
void operator=(const TypeName&) = delete
|
|
|
|
#define HB_DELETE_CREATE_COPY_ASSIGN(TypeName) \
|
|
|
|
TypeName() = delete; \
|
|
|
|
TypeName(const TypeName&) = delete; \
|
|
|
|
void operator=(const TypeName&) = delete
|
2019-05-11 06:49:25 +02:00
|
|
|
|
2020-02-14 20:56:56 +01:00
|
|
|
/* hb_unwrap_type (T)
|
|
|
|
* If T has no T::type, returns T. Otherwise calls itself on T::type recursively.
|
2020-02-13 21:58:22 +01:00
|
|
|
*/
|
|
|
|
|
|
|
|
template <typename T, typename>
|
2020-02-14 20:56:56 +01:00
|
|
|
struct _hb_unwrap_type : hb_type_identity_t<T> {};
|
2020-02-13 21:58:22 +01:00
|
|
|
template <typename T>
|
2020-02-14 20:56:56 +01:00
|
|
|
struct _hb_unwrap_type<T, hb_void_t<typename T::type>> : _hb_unwrap_type<typename T::type, void> {};
|
2020-02-13 21:58:22 +01:00
|
|
|
template <typename T>
|
2020-02-14 20:56:56 +01:00
|
|
|
using hb_unwrap_type = _hb_unwrap_type<T, void>;
|
|
|
|
#define hb_unwrap_type(T) typename hb_unwrap_type<T>::type
|
2019-05-11 06:42:59 +02:00
|
|
|
|
2018-12-27 23:23:12 +01:00
|
|
|
#endif /* HB_META_HH */
|