صفحهٔ اصلی گشت‌و‌گذار راهنما
ثبت نام ورود
SRI-DINO
/
Cockpit-cpp
2
0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
درخت: 94cc2870f1
شاخه‌ها تگ‌ها
Cockpit-cpp
/
EgoServer
/
thirdparty
/
Boost
/
include
/
boost
/
hana
/
traits.hpp

traits.hpp 9.9 KB
تاريخچه خام

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214 
  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. #if __cplusplus < 202002L
    71. 

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

  72. #endif
    73. 

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

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

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

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

  77.     constexpr auto is_signed = detail::hana_trait<std::is_signed>{};
    78. 

  78.     constexpr auto is_unsigned = detail::hana_trait<std::is_unsigned>{};
    79. 

  79. 

  80.     // Supported operations
    81. 

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

  82.     constexpr auto is_trivially_constructible = detail::hana_trait<std::is_trivially_constructible>{};
    83. 

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

  84. 

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

  86.     constexpr auto is_trivially_default_constructible = detail::hana_trait<std::is_trivially_default_constructible>{};
    87. 

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

  88. 

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

  90.     constexpr auto is_trivially_copy_constructible = detail::hana_trait<std::is_trivially_copy_constructible>{};
    91. 

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

  92. 

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

  94.     constexpr auto is_trivially_move_constructible = detail::hana_trait<std::is_trivially_move_constructible>{};
    95. 

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

  96. 

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

  98.     constexpr auto is_trivially_assignable = detail::hana_trait<std::is_trivially_assignable>{};
    99. 

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

  100. 

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

  102.     constexpr auto is_trivially_copy_assignable = detail::hana_trait<std::is_trivially_copy_assignable>{};
    103. 

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

  104. 

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

  106.     constexpr auto is_trivially_move_assignable = detail::hana_trait<std::is_trivially_move_assignable>{};
    107. 

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

  108. 

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

  110.     constexpr auto is_trivially_destructible = detail::hana_trait<std::is_trivially_destructible>{};
    111. 

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

  112. 

  113.     constexpr auto has_virtual_destructor = detail::hana_trait<std::has_virtual_destructor>{};
    114. 

  114. 

  115.     // Property queries
    116. 

  116.     constexpr auto alignment_of = detail::hana_trait<std::alignment_of>{};
    117. 

  117.     constexpr auto rank = detail::hana_trait<std::rank>{};
    118. 

  118.     constexpr struct extent_t {
    119. 

  119.         template <typename T, typename N>
    120. 

  120.         constexpr auto operator()(T const&, N const&) const {
    121. 

  121.             constexpr unsigned n = N::value;
    122. 

  122.             using Result = typename std::extent<typename T::type, n>::type;
    123. 

  123.             return hana::integral_c<typename Result::value_type, Result::value>;
    124. 

  124.         }
    125. 

  125. 

  126.         template <typename T>
    127. 

  127.         constexpr auto operator()(T const& t) const
    128. 

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

  129.     } extent{};
    130. 

  130. 

  131.     // Type relationships
    132. 

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

  133.     constexpr auto is_base_of = detail::hana_trait<std::is_base_of>{};
    134. 

  134.     constexpr auto is_convertible = detail::hana_trait<std::is_convertible>{};
    135. 

  135. 

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

  137.     // Type modifications
    138. 

  138.     ///////////////////////
    139. 

  139.     // Const-volatility specifiers
    140. 

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

  141.     constexpr auto remove_const = metafunction<std::remove_const>;
    142. 

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

  143. 

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

  145.     constexpr auto add_const = metafunction<std::add_const>;
    146. 

  146.     constexpr auto add_volatile = metafunction<std::add_volatile>;
    147. 

  147. 

  148.     // References
    149. 

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

  150.     constexpr auto add_lvalue_reference = metafunction<std::add_lvalue_reference>;
    151. 

  151.     constexpr auto add_rvalue_reference = metafunction<std::add_rvalue_reference>;
    152. 

  152. 

  153.     // Pointers
    154. 

  154.     constexpr auto remove_pointer = metafunction<std::remove_pointer>;
    155. 

  155.     constexpr auto add_pointer = metafunction<std::add_pointer>;
    156. 

  156. 

  157.     // Sign modifiers
    158. 

  158.     constexpr auto make_signed = metafunction<std::make_signed>;
    159. 

  159.     constexpr auto make_unsigned = metafunction<std::make_unsigned>;
    160. 

  160. 

  161.     // Arrays
    162. 

  162.     constexpr auto remove_extent = metafunction<std::remove_extent>;
    163. 

  163.     constexpr auto remove_all_extents = metafunction<std::remove_all_extents>;
    164. 

  164. 

  165.     // Miscellaneous transformations
    166. 

  166.     constexpr struct aligned_storage_t {
    167. 

  167.         template <typename Len, typename Align>
    168. 

  168.         constexpr auto operator()(Len const&, Align const&) const {
    169. 

  169.             constexpr std::size_t len = Len::value;
    170. 

  170.             constexpr std::size_t align = Align::value;
    171. 

  171.             using Result = typename std::aligned_storage<len, align>::type;
    172. 

  172.             return hana::type_c<Result>;
    173. 

  173.         }
    174. 

  174. 

  175.         template <typename Len>
    176. 

  176.         constexpr auto operator()(Len const&) const {
    177. 

  177.             constexpr std::size_t len = Len::value;
    178. 

  178.             using Result = typename std::aligned_storage<len>::type;
    179. 

  179.             return hana::type_c<Result>;
    180. 

  180.         }
    181. 

  181.     } aligned_storage{};
    182. 

  182. 

  183.     constexpr struct aligned_union_t {
    184. 

  184.         template <typename Len, typename ...T>
    185. 

  185.         constexpr auto operator()(Len const&, T const&...) const {
    186. 

  186.             constexpr std::size_t len = Len::value;
    187. 

  187.             using Result = typename std::aligned_union<len, typename T::type...>::type;
    188. 

  188.             return hana::type_c<Result>;
    189. 

  189.         }
    190. 

  190.     } aligned_union{};
    191. 

  191. 

  192.     constexpr auto decay = metafunction<std::decay>;
    193. 

  193.     // enable_if
    194. 

  194.     // disable_if
    195. 

  195.     // conditional
    196. 

  196. 

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

  198.     constexpr auto underlying_type = metafunction<std::underlying_type>;
    199. 

  199. 

  200. 

  201.     ///////////////////////
    202. 

  202.     // Utilities
    203. 

  203.     ///////////////////////
    204. 

  204.     struct declval_t {
    205. 

  205.         template <typename T>
    206. 

  206.         typename std::add_rvalue_reference<
    207. 

  207.             typename T::type
    208. 

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

  209.     };
    210. 

  210. 

  211.     constexpr declval_t declval{};
    212. 

  212. } BOOST_HANA_NAMESPACE_END
    213. 

  213. 

  214. #endif // !BOOST_HANA_TRAITS_HPP
    215.