Blame view

3rdparty/boost_1_81_0/boost/pfr/ops_fields.hpp 4.93 KB
0b6a182c   Hu Chunming   添加无鉴权注册和注销
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
  // Copyright (c) 2016-2022 Antony Polukhin
  //
  // Distributed under the Boost Software License, Version 1.0. (See accompanying
  // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  
  #ifndef BOOST_PFR_OPS_FIELDS_HPP
  #define BOOST_PFR_OPS_FIELDS_HPP
  #pragma once
  
  #include <boost/pfr/detail/config.hpp>
  
  #include <boost/pfr/core.hpp>
  #include <boost/pfr/detail/functional.hpp>
  
  /// \file boost/pfr/ops_fields.hpp
  /// Contains field-by-fields comparison and hash functions.
  ///
  /// \b Example:
  /// \code
  ///     #include <boost/pfr/ops_fields.hpp>
  ///     struct comparable_struct {      // No operators defined for that structure
  ///         int i; short s;
  ///     };
  ///     // ...
  ///
  ///     comparable_struct s1 {0, 1};
  ///     comparable_struct s2 {0, 2};
  ///     assert(boost::pfr::lt_fields(s1, s2));
  /// \endcode
  ///
  /// \podops for other ways to define operators and more details.
  ///
  /// \b Synopsis:
  namespace boost { namespace pfr {
  
      /// Does a field-by-field equality comparison.
      ///
      /// \returns `L == R && tuple_size_v<T> == tuple_size_v<U>`, where `L` and
      /// `R` are the results of calling `std::tie` on first `N` fields of `lhs` and
      // `rhs` respectively; `N` is `std::min(tuple_size_v<T>, tuple_size_v<U>)`.
      template <class T, class U>
      constexpr bool eq_fields(const T& lhs, const U& rhs) noexcept {
          return detail::binary_visit<detail::equal_impl>(lhs, rhs);
      }
  
  
      /// Does a field-by-field inequality comparison.
      ///
      /// \returns `L != R || tuple_size_v<T> != tuple_size_v<U>`, where `L` and
      /// `R` are the results of calling `std::tie` on first `N` fields of `lhs` and
      // `rhs` respectively; `N` is `std::min(tuple_size_v<T>, tuple_size_v<U>)`.
      template <class T, class U>
      constexpr bool ne_fields(const T& lhs, const U& rhs) noexcept {
          return detail::binary_visit<detail::not_equal_impl>(lhs, rhs);
      }
  
      /// Does a field-by-field greter comparison.
      ///
      /// \returns `L > R || (L == R && tuple_size_v<T> > tuple_size_v<U>)`, where `L` and
      /// `R` are the results of calling `std::tie` on first `N` fields of `lhs` and
      // `rhs` respectively; `N` is `std::min(tuple_size_v<T>, tuple_size_v<U>)`.
      template <class T, class U>
      constexpr bool gt_fields(const T& lhs, const U& rhs) noexcept {
          return detail::binary_visit<detail::greater_impl>(lhs, rhs);
      }
  
  
      /// Does a field-by-field less comparison.
      ///
      /// \returns `L < R || (L == R && tuple_size_v<T> < tuple_size_v<U>)`, where `L` and
      /// `R` are the results of calling `std::tie` on first `N` fields of `lhs` and
      // `rhs` respectively; `N` is `std::min(tuple_size_v<T>, tuple_size_v<U>)`.
      template <class T, class U>
      constexpr bool lt_fields(const T& lhs, const U& rhs) noexcept {
          return detail::binary_visit<detail::less_impl>(lhs, rhs);
      }
  
  
      /// Does a field-by-field greater equal comparison.
      ///
      /// \returns `L > R || (L == R && tuple_size_v<T> >= tuple_size_v<U>)`, where `L` and
      /// `R` are the results of calling `std::tie` on first `N` fields of `lhs` and
      // `rhs` respectively; `N` is `std::min(tuple_size_v<T>, tuple_size_v<U>)`.
      template <class T, class U>
      constexpr bool ge_fields(const T& lhs, const U& rhs) noexcept {
          return detail::binary_visit<detail::greater_equal_impl>(lhs, rhs);
      }
  
  
      /// Does a field-by-field less equal comparison.
      ///
      /// \returns `L < R || (L == R && tuple_size_v<T> <= tuple_size_v<U>)`, where `L` and
      /// `R` are the results of calling `std::tie` on first `N` fields of `lhs` and
      // `rhs` respectively; `N` is `std::min(tuple_size_v<T>, tuple_size_v<U>)`.
      template <class T, class U>
      constexpr bool le_fields(const T& lhs, const U& rhs) noexcept {
          return detail::binary_visit<detail::less_equal_impl>(lhs, rhs);
      }
  
  
      /// Does a field-by-field hashing.
      ///
      /// \returns combined hash of all the fields
      template <class T>
      std::size_t hash_fields(const T& x) {
          constexpr std::size_t fields_count_val = boost::pfr::detail::fields_count<std::remove_reference_t<T>>();
  #if BOOST_PFR_USE_CPP17 || BOOST_PFR_USE_LOOPHOLE
          return detail::hash_impl<0, fields_count_val>::compute(detail::tie_as_tuple(x));
  #else
          std::size_t result = 0;
          ::boost::pfr::detail::for_each_field_dispatcher(
              x,
              [&result](const auto& lhs) {
                  // We can not reuse `fields_count_val` in lambda because compilers had issues with
                  // passing constexpr variables into lambdas. Computing is again is the most portable solution.
                  constexpr std::size_t fields_count_val_lambda = boost::pfr::detail::fields_count<std::remove_reference_t<T>>();
                  result = detail::hash_impl<0, fields_count_val_lambda>::compute(lhs);
              },
              detail::make_index_sequence<fields_count_val>{}
          );
  
          return result;
  #endif
      }
  }} // namespace boost::pfr
  
  #endif // BOOST_PFR_OPS_HPP