[meta] Add is_destructible

diff --git a/src/hb-meta.hh b/src/hb-meta.hh
index 0ab7179..47cefa8 100644 (file)
--- a/src/hb-meta.hh
+++ b/src/hb-meta.hh
@@ -292,6 +292,15 @@ template <> struct hb_int_max<unsigned long long>  : hb_integral_constant<unsigne
 #define hb_int_max(T) hb_int_max<T>::value
 
 
+
+template <typename T, typename>
+struct _hb_is_destructible : hb_false_type {};
+template <typename T>
+struct _hb_is_destructible<T, hb_void_t<decltype (hb_declval (T).~T ())>> : hb_true_type {};
+template <typename T>
+using hb_is_destructible = _hb_is_destructible<T, void>;
+#define hb_is_destructible(T) hb_is_destructible<T>::value
+
 template <typename T, typename, typename ...Ts>
 struct _hb_is_constructible : hb_false_type {};
 template <typename T, typename ...Ts>
@@ -335,6 +344,11 @@ using hb_is_move_assignable = hb_is_assignable<hb_add_lvalue_reference<T>,
 template <typename T> union hb_trivial { T value; };
 
 /* Don't know how to do the following. */
+//template <typename T>
+//using hb_is_trivially_destructible= hb_is_destructible<hb_trivial<T>>;
+//#define hb_is_trivially_destructible(T) hb_is_trivially_destructible<T>::value
+
+/* Don't know how to do the following. */
 //template <typename T, typename ...Ts>
 //using hb_is_trivially_constructible= hb_is_constructible<hb_trivial<T>, hb_trivial<Ts>...>;
 //#define hb_is_trivially_constructible(...) hb_is_trivially_constructible<__VA_ARGS__>::value