From 8b189226e44f346a1b62a6ccbae8751bd2feb499 Mon Sep 17 00:00:00 2001
From: Evgenii Zheltonozhskii <zheltonozhskiy@gmail.com>
Date: Thu, 14 Jun 2018 11:18:33 +0300
Subject: [PATCH] Minimize type_traits
(https://github.com/procxx/kepka/issues/27)
---
Telegram/SourceFiles/base/type_traits.h | 56 +------------------------
1 file changed, 2 insertions(+), 54 deletions(-)
diff --git a/Telegram/SourceFiles/base/type_traits.h b/Telegram/SourceFiles/base/type_traits.h
index 9271403c7..940a324b9 100644
--- a/Telegram/SourceFiles/base/type_traits.h
+++ b/Telegram/SourceFiles/base/type_traits.h
@@ -26,77 +26,25 @@ namespace base {
template <typename T> struct custom_is_fast_copy_type : public std::false_type {};
// To make your own type a fast copy type just write:
-// template <>
-// struct base::custom_is_fast_copy_type<MyTinyType> : public std::true_type {
-// };
+// template <> struct base::custom_is_fast_copy_type<MyTinyType> : public std::true_type {};
namespace internal {
-template <typename... Types> struct type_list_contains;
-
-template <typename T> struct type_list_contains<T> : public std::false_type {};
-
-template <typename T, typename Head, typename... Types>
-struct type_list_contains<T, Head, Types...>
- : public std::integral_constant<bool, std::is_same<Head, T>::value || type_list_contains<T, Types...>::value> {};
-
-template <typename T>
-using is_std_unsigned_int = type_list_contains<T, unsigned char, unsigned short int, unsigned int, unsigned long int>;
-
-template <typename T> using is_std_signed_int = type_list_contains<T, signed char, short int, int, long int>;
-
-template <typename T>
-using is_std_integral = std::integral_constant<bool, is_std_unsigned_int<T>::value || is_std_signed_int<T>::value ||
- type_list_contains<T, bool, char, wchar_t>::value>;
-
-template <typename T> using is_std_float = type_list_contains<T, float, double, long double>;
-
-template <typename T>
-using is_std_arith = std::integral_constant<bool, is_std_integral<T>::value || is_std_float<T>::value>;
-
-template <typename T>
-using is_std_fundamental = std::integral_constant<bool, is_std_arith<T>::value || std::is_same<T, void>::value>;
-
-template <typename T> struct is_pointer : public std::false_type {};
-
-template <typename T> struct is_pointer<T *> : public std::true_type {};
-
-template <typename T> struct is_member_pointer : public std::false_type {};
-
-template <typename T, typename C> struct is_member_pointer<T C::*> : public std::true_type {};
-
template <typename T>
using is_fast_copy_type =
- std::integral_constant<bool, is_std_fundamental<T>::value || is_pointer<T>::value || is_member_pointer<T>::value ||
+ std::integral_constant<bool, std::is_fundamental_v<T> || std::is_pointer_v<T> || std::is_member_pointer_v<T> ||
custom_is_fast_copy_type<T>::value>;
template <typename T> struct add_const_reference { using type = const T &; };
-
template <> struct add_const_reference<void> { using type = void; };
-
template <typename T> using add_const_reference_t = typename add_const_reference<T>::type;
-template <typename T> struct remove_pointer { using type = T; };
-
-template <typename T> struct remove_pointer<T *> { using type = T; };
-
-template <typename T> using remove_pointer_t = typename remove_pointer<T>::type;
-
} // namespace internal
template <typename T> struct type_traits {
- using is_std_unsigned_int = internal::is_std_unsigned_int<T>;
- using is_std_signed_int = internal::is_std_signed_int<T>;
- using is_std_integral = internal::is_std_integral<T>;
- using is_std_float = internal::is_std_float<T>;
- using is_std_arith = internal::is_std_arith<T>;
- using is_std_fundamental = internal::is_std_fundamental<T>;
- using is_pointer = internal::is_pointer<T>;
- using is_member_pointer = internal::is_member_pointer<T>;
using is_fast_copy_type = internal::is_fast_copy_type<T>;
using parameter_type = std::conditional_t<is_fast_copy_type::value, T, internal::add_const_reference_t<T>>;
- using pointed_type = internal::remove_pointer_t<T>;
};
template <typename T> using parameter_type = typename type_traits<T>::parameter_type;