[meta] Remove unused traits
This commit is contained in:
parent
be42800fc6
commit
896e0c74a8
|
@ -311,52 +311,6 @@ template <> struct hb_int_max<unsigned long long> : hb_integral_constant<unsigne
|
||||||
TypeName(const TypeName&) = delete; \
|
TypeName(const TypeName&) = delete; \
|
||||||
void operator=(const TypeName&) = delete
|
void operator=(const TypeName&) = delete
|
||||||
|
|
||||||
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>
|
|
||||||
struct _hb_is_constructible<T, hb_void_t<decltype (T (hb_declval (Ts)...))>, Ts...> : hb_true_type {};
|
|
||||||
template <typename T, typename ...Ts>
|
|
||||||
using hb_is_constructible = _hb_is_constructible<T, void, Ts...>;
|
|
||||||
#define hb_is_constructible(...) hb_is_constructible<__VA_ARGS__>::value
|
|
||||||
|
|
||||||
template <typename T>
|
|
||||||
using hb_is_default_constructible = hb_is_constructible<T>;
|
|
||||||
#define hb_is_default_constructible(T) hb_is_default_constructible<T>::value
|
|
||||||
|
|
||||||
template <typename T>
|
|
||||||
using hb_is_copy_constructible = hb_is_constructible<T, hb_add_lvalue_reference<hb_add_const<T>>>;
|
|
||||||
#define hb_is_copy_constructible(T) hb_is_copy_constructible<T>::value
|
|
||||||
|
|
||||||
template <typename T>
|
|
||||||
using hb_is_move_constructible = hb_is_constructible<T, hb_add_rvalue_reference<hb_add_const<T>>>;
|
|
||||||
#define hb_is_move_constructible(T) hb_is_move_constructible<T>::value
|
|
||||||
|
|
||||||
template <typename T, typename U, typename>
|
|
||||||
struct _hb_is_assignable : hb_false_type {};
|
|
||||||
template <typename T, typename U>
|
|
||||||
struct _hb_is_assignable<T, U, hb_void_t<decltype (hb_declval (T) = hb_declval (U))>> : hb_true_type {};
|
|
||||||
template <typename T, typename U>
|
|
||||||
using hb_is_assignable = _hb_is_assignable<T, U, void>;
|
|
||||||
#define hb_is_assignable(T,U) hb_is_assignable<T, U>::value
|
|
||||||
|
|
||||||
template <typename T>
|
|
||||||
using hb_is_copy_assignable = hb_is_assignable<hb_add_lvalue_reference<T>,
|
|
||||||
hb_add_lvalue_reference<hb_add_const<T>>>;
|
|
||||||
#define hb_is_copy_assignable(T) hb_is_copy_assignable<T>::value
|
|
||||||
|
|
||||||
template <typename T>
|
|
||||||
using hb_is_move_assignable = hb_is_assignable<hb_add_lvalue_reference<T>,
|
|
||||||
hb_add_rvalue_reference<T>>;
|
|
||||||
#define hb_is_move_assignable(T) hb_is_move_assignable<T>::value
|
|
||||||
|
|
||||||
/* hb_unwrap_type (T)
|
/* hb_unwrap_type (T)
|
||||||
* If T has no T::type, returns T. Otherwise calls itself on T::type recursively.
|
* If T has no T::type, returns T. Otherwise calls itself on T::type recursively.
|
||||||
*/
|
*/
|
||||||
|
|
|
@ -95,19 +95,6 @@ main (int argc, char **argv)
|
||||||
static_assert (hb_is_base_of (X, const Y), "");
|
static_assert (hb_is_base_of (X, const Y), "");
|
||||||
static_assert (!hb_is_base_of (Y, X), "");
|
static_assert (!hb_is_base_of (Y, X), "");
|
||||||
|
|
||||||
static_assert (hb_is_constructible (int), "");
|
|
||||||
static_assert (hb_is_constructible (int, int), "");
|
|
||||||
static_assert (hb_is_constructible (int, char), "");
|
|
||||||
static_assert (hb_is_constructible (int, long), "");
|
|
||||||
static_assert (!hb_is_constructible (int, X), "");
|
|
||||||
static_assert (!hb_is_constructible (int, int, int), "");
|
|
||||||
static_assert (hb_is_constructible (X), "");
|
|
||||||
static_assert (!hb_is_constructible (X, int), "");
|
|
||||||
static_assert (hb_is_constructible (X, X), "");
|
|
||||||
static_assert (!hb_is_constructible (X, X, X), "");
|
|
||||||
static_assert (hb_is_constructible (X, Y), "");
|
|
||||||
static_assert (!hb_is_constructible (Y, X), "");
|
|
||||||
|
|
||||||
static_assert (hb_is_signed (hb_unwrap_type (U<U<U<int>>>)), "");
|
static_assert (hb_is_signed (hb_unwrap_type (U<U<U<int>>>)), "");
|
||||||
static_assert (hb_is_unsigned (hb_unwrap_type (U<U<U<U<unsigned>>>>)), "");
|
static_assert (hb_is_unsigned (hb_unwrap_type (U<U<U<U<unsigned>>>>)), "");
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue