procxx
/
kepka
mirror of https://github.com/procxx/kepka.git
1
0
Fork 0
Code Issues Releases Wiki Activity

Minimize type_traits (https://github.com/procxx/kepka/issues/27)

This commit is contained in:
Evgenii Zheltonozhskii 2018-06-14 11:18:33 +03:00 committed by Alex
parent 21e7a1bbb0
commit 8b189226e4
1 changed files with 2 additions and 54 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

56
Telegram/SourceFiles/base/type_traits.h
View File

@ -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;