/* * 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" #include <memory> #include <type_traits> #include <utility> /* * C++ template meta-programming & fundamentals used with them. */ /* Void! For when we need a expression-type of void. */ struct hb_empty_t { … }; /* https://en.cppreference.com/w/cpp/types/void_t */ template<typename... Ts> struct _hb_void_t { … }; hb_void_t; template<typename Head, typename... Ts> struct _hb_head_t { … }; hb_head_t; template <typename T, T v> struct hb_integral_constant { … }; hb_bool_constant; hb_true_type; hb_false_type; /* 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) … /* Basic type SFINAE. */ template <bool B, typename T = void> struct hb_enable_if { … }; hb_enable_if<true, T>; #define hb_enable_if(Cond) … /* Concepts/Requires alias: */ #define hb_requires(Cond) … template <typename T, typename T2> struct hb_is_same : hb_false_type { … }; hb_is_same<T, T>; #define hb_is_same(T, T2) … /* Function overloading SFINAE and priority. */ #define HB_RETURN(Ret, E) … #define HB_AUTO_RETURN(E) … #define HB_VOID_RETURN(E) … template <unsigned Pri> struct hb_priority : hb_priority<Pri - 1> { … }; template <> struct hb_priority<0> { … }; #define hb_prioritize … #define HB_FUNCOBJ(x) … template <typename T> struct hb_type_identity_t { … }; hb_type_identity; template <typename T> static inline T hb_declval (); #define hb_declval(T) … template <typename T> struct hb_match_const : hb_type_identity_t<T>, hb_false_type { … }; hb_match_const<const T>; hb_remove_const; template <typename T> struct hb_match_reference : hb_type_identity_t<T>, hb_false_type { … }; hb_match_reference<T &>; hb_match_reference<T &&>; hb_remove_reference; 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>; hb_add_lvalue_reference; 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>; hb_add_rvalue_reference; template <typename T> struct hb_match_pointer : hb_type_identity_t<T>, hb_false_type { … }; hb_match_pointer<T *>; hb_remove_pointer; 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>; hb_add_pointer; hb_decay; #define hb_is_convertible(From,To) … hb_is_cr_convertible; #define hb_is_cr_convertible(From,To) … struct { … } HB_FUNCOBJ(…); template <typename T> struct hb_reference_wrapper { … }; hb_reference_wrapper<T &>; /* Type traits */ template <typename T> struct hb_int_min; 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> { … }; hb_int_min<T *>; #define hb_int_min(T) … template <typename T> struct hb_int_max; 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> { … }; #define hb_int_max(T) … #if defined(__GNUC__) && __GNUC__ < 5 && !defined(__clang__) #define hb_is_trivially_copyable … #define hb_is_trivially_copy_assignable … #define hb_is_trivially_constructible … #define hb_is_trivially_copy_constructible … #define hb_is_trivially_destructible … #else #define hb_is_trivially_copyable(T) … #define hb_is_trivially_copy_assignable(T) … #define hb_is_trivially_constructible(T) … #define hb_is_trivially_copy_constructible(T) … #define hb_is_trivially_destructible(T) … #endif /* Class traits. */ #define HB_DELETE_COPY_ASSIGN(TypeName) … #define HB_DELETE_CREATE_COPY_ASSIGN(TypeName) … /* hb_unwrap_type (T) * If T has no T::type, returns T. Otherwise calls itself on T::type recursively. */ template <typename T, typename> struct _hb_unwrap_type : hb_type_identity_t<T> { … }; _hb_unwrap_type<T, hb_void_t<typename T::type>>; hb_unwrap_type; #define hb_unwrap_type(T) … #endif /* HB_META_HH */
Codebase Browser
chromium