VCCC  2024.05
VisualCamp Common C++ library
is_integer_like.hpp
Go to the documentation of this file.
1 //
2 // Created by yonggyulee on 2023/12/24.
3 //
4 
5 #ifndef VCCC_TYPE_TRAITS_IS_INTEGER_LIKE_HPP_
6 #define VCCC_TYPE_TRAITS_IS_INTEGER_LIKE_HPP_
7 
8 #include <limits>
9 #include <type_traits>
10 
11 #include "vccc/__type_traits/bool_constant.hpp"
12 #include "vccc/__type_traits/conjunction.hpp"
13 #include "vccc/__type_traits/disjunction.hpp"
14 
15 namespace vccc {
16 
19 
20 
26 template<typename T>
27 struct is_integer_like
28  : disjunction<
29  std::is_integral<T>,
30  conjunction<
31  bool_constant<std::numeric_limits<T>::is_integer>,
32  bool_constant<std::numeric_limits<T>::is_specialized>
33  >
34  > {};
35 
36 template<typename T>
37 struct is_signed_integer_like
38  : disjunction<
39  conjunction<
40  std::is_integral<T>,
41  std::is_signed<T>
42  >,
43  conjunction<
44  bool_constant<std::numeric_limits<T>::is_integer>,
45  bool_constant<std::numeric_limits<T>::is_signed>,
46  bool_constant<std::numeric_limits<T>::is_specialized>
47  >
48  > {};
49 
50 template<typename T>
51 struct is_unsigned_integer_like
52  : disjunction<
53  conjunction<
54  std::is_integral<T>,
55  std::is_unsigned<T>
56  >,
57  conjunction<
58  bool_constant<std::numeric_limits<T>::is_integer>,
59  bool_constant<!std::numeric_limits<T>::is_signed>,
60  bool_constant<std::numeric_limits<T>::is_specialized>
61  >
62  > {};
63 
65 
66 } // namespace vccc
67 
68 #endif // VCCC_TYPE_TRAITS_IS_INTEGER_LIKE_HPP_
bool_constant.hpp
vccc
Definition: directory.h:12
vccc::disjunction
Definition: disjunction.hpp:22
vccc::is_integer_like
Check if type models integer-like type (C++ 20 requirement)
Definition: is_integer_like.hpp:34
vccc::is_signed_integer_like
Definition: is_integer_like.hpp:48
vccc::is_unsigned_integer_like
Definition: is_integer_like.hpp:62