Home Explore Help
Register Sign In
devn00b
/
EQ2EMu
9
3
Fork 0
Files Issues 75 Pull Requests 0 Wiki
Tree: 40b156387a
Branches Tags
EQ2EMu
/
EQ2
/
source
/
depends
/
boost_1_72_0
/
boost
/
hana
/
traits.hpp

traits.hpp 9.9 KB
History Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213 
  1. /*!
    2. 

  2. @file
    3. 

  3. Defines function-like equivalents to the standard `<type_traits>`, and also
    4. 

  4. to some utilities like `std::declval`.
    5. 

  5. 

  6. @copyright Louis Dionne 2013-2017
    7. 

  7. Distributed under the Boost Software License, Version 1.0.
    8. 

  8. (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
    9. 

  9.  */
    10. 

  10. 

  11. #ifndef BOOST_HANA_TRAITS_HPP
    12. 

  12. #define BOOST_HANA_TRAITS_HPP
    13. 

  13. 

  14. #include <boost/hana/config.hpp>
    15. 

  15. #include <boost/hana/integral_constant.hpp>
    16. 

  16. #include <boost/hana/type.hpp>
    17. 

  17. 

  18. #include <cstddef>
    19. 

  19. #include <type_traits>
    20. 

  20. 

  21. 

  22. BOOST_HANA_NAMESPACE_BEGIN namespace traits {
    23. 

  23.     namespace detail {
    24. 

  24.         // We use this instead of hana::integral because we want to return
    25. 

  25.         // hana::integral_constants instead of std::integral_constants.
    26. 

  26.         template <template <typename ...> class F>
    27. 

  27.         struct hana_trait {
    28. 

  28.             template <typename ...T>
    29. 

  29.             constexpr auto operator()(T const& ...) const {
    30. 

  30.                 using Result = typename F<typename T::type...>::type;
    31. 

  31.                 return hana::integral_c<typename Result::value_type, Result::value>;
    32. 

  32.             }
    33. 

  33.         };
    34. 

  34.     }
    35. 

  35. 

  36.     ///////////////////////
    37. 

  37.     // Type properties
    38. 

  38.     ///////////////////////
    39. 

  39.     // Primary type categories
    40. 

  40.     constexpr auto is_void = detail::hana_trait<std::is_void>{};
    41. 

  41.     constexpr auto is_null_pointer = detail::hana_trait<std::is_null_pointer>{};
    42. 

  42.     constexpr auto is_integral = detail::hana_trait<std::is_integral>{};
    43. 

  43.     constexpr auto is_floating_point = detail::hana_trait<std::is_floating_point>{};
    44. 

  44.     constexpr auto is_array = detail::hana_trait<std::is_array>{};
    45. 

  45.     constexpr auto is_enum = detail::hana_trait<std::is_enum>{};
    46. 

  46.     constexpr auto is_union = detail::hana_trait<std::is_union>{};
    47. 

  47.     constexpr auto is_class = detail::hana_trait<std::is_class>{};
    48. 

  48.     constexpr auto is_function = detail::hana_trait<std::is_function>{};
    49. 

  49.     constexpr auto is_pointer = detail::hana_trait<std::is_pointer>{};
    50. 

  50.     constexpr auto is_lvalue_reference = detail::hana_trait<std::is_lvalue_reference>{};
    51. 

  51.     constexpr auto is_rvalue_reference = detail::hana_trait<std::is_rvalue_reference>{};
    52. 

  52.     constexpr auto is_member_object_pointer = detail::hana_trait<std::is_member_object_pointer>{};
    53. 

  53.     constexpr auto is_member_function_pointer = detail::hana_trait<std::is_member_function_pointer>{};
    54. 

  54. 

  55.     // Composite type categories
    56. 

  56.     constexpr auto is_fundamental = detail::hana_trait<std::is_fundamental>{};
    57. 

  57.     constexpr auto is_arithmetic = detail::hana_trait<std::is_arithmetic>{};
    58. 

  58.     constexpr auto is_scalar = detail::hana_trait<std::is_scalar>{};
    59. 

  59.     constexpr auto is_object = detail::hana_trait<std::is_object>{};
    60. 

  60.     constexpr auto is_compound = detail::hana_trait<std::is_compound>{};
    61. 

  61.     constexpr auto is_reference = detail::hana_trait<std::is_reference>{};
    62. 

  62.     constexpr auto is_member_pointer = detail::hana_trait<std::is_member_pointer>{};
    63. 

  63. 

  64.     // Type properties
    65. 

  65.     constexpr auto is_const = detail::hana_trait<std::is_const>{};
    66. 

  66.     constexpr auto is_volatile = detail::hana_trait<std::is_volatile>{};
    67. 

  67.     constexpr auto is_trivial = detail::hana_trait<std::is_trivial>{};
    68. 

  68.     constexpr auto is_trivially_copyable = detail::hana_trait<std::is_trivially_copyable>{};
    69. 

  69.     constexpr auto is_standard_layout = detail::hana_trait<std::is_standard_layout>{};
    70. 

  70.     constexpr auto is_pod = detail::hana_trait<std::is_pod>{};
    71. 

  71.     constexpr auto is_literal_type = detail::hana_trait<std::is_literal_type>{};
    72. 

  72.     constexpr auto is_empty = detail::hana_trait<std::is_empty>{};
    73. 

  73.     constexpr auto is_polymorphic = detail::hana_trait<std::is_polymorphic>{};
    74. 

  74.     constexpr auto is_abstract = detail::hana_trait<std::is_abstract>{};
    75. 

  75.     constexpr auto is_signed = detail::hana_trait<std::is_signed>{};
    76. 

  76.     constexpr auto is_unsigned = detail::hana_trait<std::is_unsigned>{};
    77. 

  77. 

  78.     // Supported operations
    79. 

  79.     constexpr auto is_constructible = detail::hana_trait<std::is_constructible>{};
    80. 

  80.     constexpr auto is_trivially_constructible = detail::hana_trait<std::is_trivially_constructible>{};
    81. 

  81.     constexpr auto is_nothrow_constructible = detail::hana_trait<std::is_nothrow_constructible>{};
    82. 

  82. 

  83.     constexpr auto is_default_constructible = detail::hana_trait<std::is_default_constructible>{};
    84. 

  84.     constexpr auto is_trivially_default_constructible = detail::hana_trait<std::is_trivially_default_constructible>{};
    85. 

  85.     constexpr auto is_nothrow_default_constructible = detail::hana_trait<std::is_nothrow_default_constructible>{};
    86. 

  86. 

  87.     constexpr auto is_copy_constructible = detail::hana_trait<std::is_copy_constructible>{};
    88. 

  88.     constexpr auto is_trivially_copy_constructible = detail::hana_trait<std::is_trivially_copy_constructible>{};
    89. 

  89.     constexpr auto is_nothrow_copy_constructible = detail::hana_trait<std::is_nothrow_copy_constructible>{};
    90. 

  90. 

  91.     constexpr auto is_move_constructible = detail::hana_trait<std::is_move_constructible>{};
    92. 

  92.     constexpr auto is_trivially_move_constructible = detail::hana_trait<std::is_trivially_move_constructible>{};
    93. 

  93.     constexpr auto is_nothrow_move_constructible = detail::hana_trait<std::is_nothrow_move_constructible>{};
    94. 

  94. 

  95.     constexpr auto is_assignable = detail::hana_trait<std::is_assignable>{};
    96. 

  96.     constexpr auto is_trivially_assignable = detail::hana_trait<std::is_trivially_assignable>{};
    97. 

  97.     constexpr auto is_nothrow_assignable = detail::hana_trait<std::is_nothrow_assignable>{};
    98. 

  98. 

  99.     constexpr auto is_copy_assignable = detail::hana_trait<std::is_copy_assignable>{};
    100. 

  100.     constexpr auto is_trivially_copy_assignable = detail::hana_trait<std::is_trivially_copy_assignable>{};
    101. 

  101.     constexpr auto is_nothrow_copy_assignable = detail::hana_trait<std::is_nothrow_copy_assignable>{};
    102. 

  102. 

  103.     constexpr auto is_move_assignable = detail::hana_trait<std::is_move_assignable>{};
    104. 

  104.     constexpr auto is_trivially_move_assignable = detail::hana_trait<std::is_trivially_move_assignable>{};
    105. 

  105.     constexpr auto is_nothrow_move_assignable = detail::hana_trait<std::is_nothrow_move_assignable>{};
    106. 

  106. 

  107.     constexpr auto is_destructible = detail::hana_trait<std::is_destructible>{};
    108. 

  108.     constexpr auto is_trivially_destructible = detail::hana_trait<std::is_trivially_destructible>{};
    109. 

  109.     constexpr auto is_nothrow_destructible = detail::hana_trait<std::is_nothrow_destructible>{};
    110. 

  110. 

  111.     constexpr auto has_virtual_destructor = detail::hana_trait<std::has_virtual_destructor>{};
    112. 

  112. 

  113.     // Property queries
    114. 

  114.     constexpr auto alignment_of = detail::hana_trait<std::alignment_of>{};
    115. 

  115.     constexpr auto rank = detail::hana_trait<std::rank>{};
    116. 

  116.     constexpr struct extent_t {
    117. 

  117.         template <typename T, typename N>
    118. 

  118.         constexpr auto operator()(T const&, N const&) const {
    119. 

  119.             constexpr unsigned n = N::value;
    120. 

  120.             using Result = typename std::extent<typename T::type, n>::type;
    121. 

  121.             return hana::integral_c<typename Result::value_type, Result::value>;
    122. 

  122.         }
    123. 

  123. 

  124.         template <typename T>
    125. 

  125.         constexpr auto operator()(T const& t) const
    126. 

  126.         { return (*this)(t, hana::uint_c<0>); }
    127. 

  127.     } extent{};
    128. 

  128. 

  129.     // Type relationships
    130. 

  130.     constexpr auto is_same = detail::hana_trait<std::is_same>{};
    131. 

  131.     constexpr auto is_base_of = detail::hana_trait<std::is_base_of>{};
    132. 

  132.     constexpr auto is_convertible = detail::hana_trait<std::is_convertible>{};
    133. 

  133. 

  134.     ///////////////////////
    135. 

  135.     // Type modifications
    136. 

  136.     ///////////////////////
    137. 

  137.     // Const-volatility specifiers
    138. 

  138.     constexpr auto remove_cv = metafunction<std::remove_cv>;
    139. 

  139.     constexpr auto remove_const = metafunction<std::remove_const>;
    140. 

  140.     constexpr auto remove_volatile = metafunction<std::remove_volatile>;
    141. 

  141. 

  142.     constexpr auto add_cv = metafunction<std::add_cv>;
    143. 

  143.     constexpr auto add_const = metafunction<std::add_const>;
    144. 

  144.     constexpr auto add_volatile = metafunction<std::add_volatile>;
    145. 

  145. 

  146.     // References
    147. 

  147.     constexpr auto remove_reference = metafunction<std::remove_reference>;
    148. 

  148.     constexpr auto add_lvalue_reference = metafunction<std::add_lvalue_reference>;
    149. 

  149.     constexpr auto add_rvalue_reference = metafunction<std::add_rvalue_reference>;
    150. 

  150. 

  151.     // Pointers
    152. 

  152.     constexpr auto remove_pointer = metafunction<std::remove_pointer>;
    153. 

  153.     constexpr auto add_pointer = metafunction<std::add_pointer>;
    154. 

  154. 

  155.     // Sign modifiers
    156. 

  156.     constexpr auto make_signed = metafunction<std::make_signed>;
    157. 

  157.     constexpr auto make_unsigned = metafunction<std::make_unsigned>;
    158. 

  158. 

  159.     // Arrays
    160. 

  160.     constexpr auto remove_extent = metafunction<std::remove_extent>;
    161. 

  161.     constexpr auto remove_all_extents = metafunction<std::remove_all_extents>;
    162. 

  162. 

  163.     // Miscellaneous transformations
    164. 

  164.     constexpr struct aligned_storage_t {
    165. 

  165.         template <typename Len, typename Align>
    166. 

  166.         constexpr auto operator()(Len const&, Align const&) const {
    167. 

  167.             constexpr std::size_t len = Len::value;
    168. 

  168.             constexpr std::size_t align = Align::value;
    169. 

  169.             using Result = typename std::aligned_storage<len, align>::type;
    170. 

  170.             return hana::type_c<Result>;
    171. 

  171.         }
    172. 

  172. 

  173.         template <typename Len>
    174. 

  174.         constexpr auto operator()(Len const&) const {
    175. 

  175.             constexpr std::size_t len = Len::value;
    176. 

  176.             using Result = typename std::aligned_storage<len>::type;
    177. 

  177.             return hana::type_c<Result>;
    178. 

  178.         }
    179. 

  179.     } aligned_storage{};
    180. 

  180. 

  181.     constexpr struct aligned_union_t {
    182. 

  182.         template <typename Len, typename ...T>
    183. 

  183.         constexpr auto operator()(Len const&, T const&...) const {
    184. 

  184.             constexpr std::size_t len = Len::value;
    185. 

  185.             using Result = typename std::aligned_union<len, typename T::type...>::type;
    186. 

  186.             return hana::type_c<Result>;
    187. 

  187.         }
    188. 

  188.     } aligned_union{};
    189. 

  189. 

  190.     constexpr auto decay = metafunction<std::decay>;
    191. 

  191.     // enable_if
    192. 

  192.     // disable_if
    193. 

  193.     // conditional
    194. 

  194. 

  195.     constexpr auto common_type = metafunction<std::common_type>;
    196. 

  196.     constexpr auto underlying_type = metafunction<std::underlying_type>;
    197. 

  197.     constexpr auto result_of = metafunction<std::result_of>;
    198. 

  198. 

  199. 

  200.     ///////////////////////
    201. 

  201.     // Utilities
    202. 

  202.     ///////////////////////
    203. 

  203.     struct declval_t {
    204. 

  204.         template <typename T>
    205. 

  205.         typename std::add_rvalue_reference<
    206. 

  206.             typename T::type
    207. 

  207.         >::type operator()(T const&) const;
    208. 

  208.     };
    209. 

  209. 

  210.     constexpr declval_t declval{};
    211. 

  211. } BOOST_HANA_NAMESPACE_END
    212. 

  212. 

  213. #endif // !BOOST_HANA_TRAITS_HPP
    214.