parser.ipp 5.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207
  1. /* Copyright (c) 2018-2024 Marcelo Zimbres Silva (mzimbres@gmail.com)
  2. *
  3. * Distributed under the Boost Software License, Version 1.0. (See
  4. * accompanying file LICENSE.txt)
  5. */
  6. #include <boost/redis/error.hpp>
  7. #include <boost/redis/resp3/parser.hpp>
  8. #include <boost/assert.hpp>
  9. #include <charconv>
  10. #include <cstddef>
  11. #include <limits>
  12. namespace boost::redis::resp3 {
  13. void to_int(std::size_t& i, std::string_view sv, system::error_code& ec)
  14. {
  15. auto const res = std::from_chars(sv.data(), sv.data() + std::size(sv), i);
  16. if (res.ec != std::errc())
  17. ec = error::not_a_number;
  18. }
  19. parser::parser() { reset(); }
  20. void parser::reset()
  21. {
  22. depth_ = 0;
  23. sizes_ = default_sizes;
  24. bulk_length_ = default_bulk_length;
  25. bulk_ = type::invalid;
  26. consumed_ = 0;
  27. }
  28. std::size_t parser::get_consumed() const noexcept { return consumed_; }
  29. bool parser::done() const noexcept
  30. {
  31. return depth_ == 0 && bulk_ == type::invalid && consumed_ != 0;
  32. }
  33. void parser::commit_elem() noexcept
  34. {
  35. --sizes_[depth_];
  36. while (sizes_[depth_] == 0) {
  37. --depth_;
  38. --sizes_[depth_];
  39. }
  40. }
  41. auto parser::consume(std::string_view view, system::error_code& ec) noexcept -> parser::result
  42. {
  43. switch (bulk_) {
  44. case type::invalid:
  45. {
  46. auto const pos = view.find(sep, consumed_);
  47. if (pos == std::string::npos)
  48. return {}; // Needs more data to proceeed.
  49. auto const t = to_type(view.at(consumed_));
  50. auto const content = view.substr(consumed_ + 1, pos - 1 - consumed_);
  51. auto const ret = consume_impl(t, content, ec);
  52. if (ec)
  53. return {};
  54. consumed_ = pos + 2;
  55. if (!bulk_expected())
  56. return ret;
  57. }
  58. [[fallthrough]];
  59. default: // Handles bulk.
  60. {
  61. auto const span = bulk_length_ + 2;
  62. if ((std::size(view) - consumed_) < span)
  63. return {}; // Needs more data to proceeed.
  64. auto const bulk_view = view.substr(consumed_, bulk_length_);
  65. node_type const ret = {bulk_, 1, depth_, bulk_view};
  66. bulk_ = type::invalid;
  67. commit_elem();
  68. consumed_ += span;
  69. return ret;
  70. }
  71. }
  72. }
  73. auto parser::consume_impl(type t, std::string_view elem, system::error_code& ec)
  74. -> parser::node_type
  75. {
  76. BOOST_ASSERT(!bulk_expected());
  77. node_type ret;
  78. switch (t) {
  79. case type::streamed_string_part:
  80. {
  81. to_int(bulk_length_, elem, ec);
  82. if (ec)
  83. return {};
  84. if (bulk_length_ == 0) {
  85. ret = {type::streamed_string_part, 1, depth_, {}};
  86. sizes_[depth_] = 1; // We are done.
  87. bulk_ = type::invalid;
  88. commit_elem();
  89. } else {
  90. bulk_ = type::streamed_string_part;
  91. }
  92. } break;
  93. case type::blob_error:
  94. case type::verbatim_string:
  95. case type::blob_string:
  96. {
  97. if (elem.at(0) == '?') {
  98. // NOTE: This can only be triggered with blob_string.
  99. // Trick: A streamed string is read as an aggregate of
  100. // infinite length. When the streaming is done the server
  101. // is supposed to send a part with length 0.
  102. sizes_[++depth_] = (std::numeric_limits<std::size_t>::max)();
  103. ret = {type::streamed_string, 0, depth_, {}};
  104. } else {
  105. to_int(bulk_length_, elem, ec);
  106. if (ec)
  107. return {};
  108. bulk_ = t;
  109. }
  110. } break;
  111. case type::boolean:
  112. {
  113. if (std::empty(elem)) {
  114. ec = error::empty_field;
  115. return {};
  116. }
  117. if (elem.at(0) != 'f' && elem.at(0) != 't') {
  118. ec = error::unexpected_bool_value;
  119. return {};
  120. }
  121. ret = {t, 1, depth_, elem};
  122. commit_elem();
  123. } break;
  124. case type::doublean:
  125. case type::big_number:
  126. case type::number:
  127. {
  128. if (std::empty(elem)) {
  129. ec = error::empty_field;
  130. return {};
  131. }
  132. }
  133. [[fallthrough]];
  134. case type::simple_error:
  135. case type::simple_string:
  136. case type::null:
  137. {
  138. ret = {t, 1, depth_, elem};
  139. commit_elem();
  140. } break;
  141. case type::push:
  142. case type::set:
  143. case type::array:
  144. case type::attribute:
  145. case type::map:
  146. {
  147. std::size_t l = static_cast<std::size_t>(-1);
  148. to_int(l, elem, ec);
  149. if (ec)
  150. return {};
  151. ret = {t, l, depth_, {}};
  152. if (l == 0) {
  153. commit_elem();
  154. } else {
  155. if (depth_ == max_embedded_depth) {
  156. ec = error::exceeeds_max_nested_depth;
  157. return {};
  158. }
  159. ++depth_;
  160. sizes_[depth_] = l * element_multiplicity(t);
  161. }
  162. } break;
  163. default:
  164. {
  165. ec = error::invalid_data_type;
  166. return {};
  167. }
  168. }
  169. return ret;
  170. }
  171. bool parser::is_parsing() const noexcept
  172. {
  173. auto const v = depth_ == 0 && sizes_ == default_sizes && bulk_length_ == default_bulk_length &&
  174. bulk_ == type::invalid && consumed_ == 0;
  175. return !v;
  176. }
  177. } // namespace boost::redis::resp3