pointer.h 8.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227
  1. #pragma once
  2. #include <algorithm>
  3. #include <cassert>
  4. #include <iostream>
  5. #include <string>
  6. #include <string_view>
  7. #include <variant>
  8. #include <vector>
  9. #include <jvalidate/compat/compare.h>
  10. #include <jvalidate/detail/expect.h>
  11. #include <jvalidate/detail/number.h>
  12. #include <jvalidate/forward.h>
  13. namespace jvalidate::detail {
  14. /**
  15. * @brief A helper struct for use in appending elements to a json Pointer object
  16. * in a way that allows it to be used as a template parameter - similar to how
  17. * ostream allows operator<<(void(*)(ostream&)) to pass in a function callback
  18. * for implementing various iomanip functions as piped (read:fluent) values.
  19. *
  20. * However, the primary usecase for this is in a template context, where I want
  21. * to add 0-or-more path components to a JSON-Pointer of any type, and also want
  22. * to support neighbor Pointers, instead of only child Pointers.
  23. *
  24. * For example, @see ValidationVisitor::visit(constraint::ConditionalConstraint)
  25. * where we use parent to rewind the path back to the owning scope for
  26. * if-then-else processing.
  27. */
  28. struct parent_t {};
  29. constexpr parent_t parent;
  30. class Pointer {
  31. public:
  32. Pointer() = default;
  33. Pointer(std::vector<std::variant<std::string, size_t>> const & tokens) : tokens_(tokens) {}
  34. /**
  35. * @brief Parse a JSON-Pointer from a serialized JSON-Pointer-String. In
  36. * principle, this should either be a factory function returning an optional/
  37. * throwing on error - but we'll generously assume that all JSON-Pointers are
  38. * valid - and therefore that an invalidly formatter pointer string will
  39. * point to somewhere non-existant (since it will be used in schema handling)
  40. */
  41. Pointer(std::string_view path) {
  42. if (path.empty()) {
  43. return;
  44. }
  45. auto append_with_parse = [this](std::string in) {
  46. // Best-guess that the input token text represents a numeric value.
  47. // Technically - this could mean that we have an object key that is also
  48. // a number (e.g. the jsonized form of map<int, T>), but we can generally
  49. // assume that we are not going to use those kinds of paths in a reference
  50. // field. Therefore we don't need to include any clever tricks for storage
  51. if (not in.empty() && in.find_first_not_of("0123456789") == std::string::npos) {
  52. return tokens_.push_back(from_str<size_t>(in));
  53. }
  54. for (size_t i = 0; i < in.size(); ++i) {
  55. // Allow URL-Escaped characters (%\x\x) to be turned into their
  56. // matching ASCII characters. This allows passing abnormal chars other
  57. // than '/' and '~' to be handled in all contexts.
  58. // TODO(samjaffe): Only do this if enc is hex-like (currently throws?)
  59. if (in[i] == '%') {
  60. std::string_view enc = std::string_view(in).substr(i + 1, 2);
  61. in.replace(i, 3, 1, from_str<char>(enc, 16));
  62. continue;
  63. } else if (in[i] != '~') {
  64. // Not a special char-sequence, does not need massaging
  65. continue;
  66. }
  67. // In order to properly support '/' inside the property name of an
  68. // object, we must escape it. The designers of the JSON-Pointer RFC
  69. // chose to use '~' as a special signifier. Mapping '~0' to '~', and
  70. // '~1' to '/'.
  71. if (in[i + 1] == '0') {
  72. in.replace(i, 2, 1, '~');
  73. } else if (in[i + 1] == '1') {
  74. in.replace(i, 2, 1, '/');
  75. } else {
  76. JVALIDATE_THROW(std::runtime_error, "Illegal ~ code");
  77. }
  78. }
  79. tokens_.push_back(std::move(in));
  80. };
  81. // JSON-Pointers are required to start with a '/'.
  82. EXPECT_M(path.starts_with('/'), "Missing leading '/' in JSON Pointer: " << path);
  83. path.remove_prefix(1);
  84. // The rules of JSON-Pointer is that if a token were to contain a '/' as a
  85. // strict character: then that character would be escaped, using the above
  86. // rules. We take advantage of string_view's sliding view to make iteration
  87. // easy.
  88. for (size_t p = path.find('/'); p != std::string::npos;
  89. path.remove_prefix(p + 1), p = path.find('/')) {
  90. append_with_parse(std::string(path.substr(0, p)));
  91. }
  92. append_with_parse(std::string(path));
  93. }
  94. /**
  95. * @brief Dive into a JSON object throught the entire path of the this object
  96. *
  97. * @param document A JSON Adapter document - confirming to the following spec:
  98. * 1. Is indexable by size_t, returning its own type
  99. * 2. Is indexable by std::string, returning its own type
  100. * 3. Indexing into a null/incorrect json type, or for an absent child is safe
  101. *
  102. * @returns A new JSON Adapter at the pointed to location, or a generic null
  103. * JSON object.
  104. */
  105. auto walk(Adapter auto document) const {
  106. for (auto const & token : tokens_) {
  107. document = std::visit([&document](auto const & next) { return document[next]; }, token);
  108. }
  109. return document;
  110. }
  111. /**
  112. * @brief Fetch the last item in this pointer as a string (for easy
  113. * formatting). This function is used more-or-less exclusively to support the
  114. * improved annotation/error listing concepts described in the article:
  115. * https://json-schema.org/blog/posts/fixing-json-schema-output
  116. */
  117. std::string back() const {
  118. struct {
  119. std::string operator()(std::string const & in) const { return in; }
  120. std::string operator()(size_t in) const { return std::to_string(in); }
  121. } g_as_str;
  122. return tokens_.empty() ? "" : std::visit(g_as_str, tokens_.back());
  123. }
  124. bool empty() const { return tokens_.empty(); }
  125. /**
  126. * @brief Determines if this JSON-Pointer is prefixed by the other
  127. * JSON-Pointer. For example: `"/A/B/C"_jsptr.starts_with("/A/B") == true`
  128. *
  129. * This is an important thing to know when dealing with schemas that use
  130. * Anchors or nest $id tags in a singular document. Consider the schema below:
  131. * @code{.json}
  132. * {
  133. * "$id": "A",
  134. * "$defs": {
  135. * "B": {
  136. * "$anchor": "B"
  137. * "$defs": {
  138. * "C": {
  139. * "$anchor": "C"
  140. * }
  141. * }
  142. * }
  143. * }
  144. * }
  145. * @endcode
  146. *
  147. * How can we deduce that "A#B" and "A#C" are related to one-another as parent
  148. * and child nodes? First we translate them both into absolute (no-anchor)
  149. * forms "A#/$defs/B" and "A#/$defs/B/$defs/C". Visually - these are now
  150. * obviously related - but we need to expose the functionalty to make that
  151. * check happen (that "/$defs/B/$defs/C" starts with "/$defs/B").
  152. */
  153. bool starts_with(Pointer const & other) const {
  154. return other.tokens_.size() <= tokens_.size() &&
  155. std::equal(other.tokens_.begin(), other.tokens_.end(), tokens_.begin());
  156. }
  157. /**
  158. * @brief A corollary function to starts_with, create a "relative"
  159. * JSON-Pointer to some parent. Relative pointers are only partially supported
  160. * (e.g. if you tried to print it it would still emit the leading slash), so
  161. * the standard use case of this function is to either use it when choosing
  162. * a URI or Anchor that is a closer parent:
  163. * `Reference(uri, anchor, ptr.relative_to(other))`
  164. * or immediately concatenating it onto another absolute pointer:
  165. * `abs /= ptr.relative_to(other)`
  166. */
  167. Pointer relative_to(Pointer const & other) const {
  168. assert(starts_with(other));
  169. return Pointer(std::vector(tokens_.begin() + other.tokens_.size(), tokens_.end()));
  170. }
  171. Pointer parent(size_t i = 1) const { return Pointer({tokens_.begin(), tokens_.end() - i}); }
  172. Pointer & operator/=(Pointer const & relative) {
  173. tokens_.insert(tokens_.end(), relative.tokens_.begin(), relative.tokens_.end());
  174. return *this;
  175. }
  176. Pointer operator/(Pointer const & relative) const { return Pointer(*this) /= relative; }
  177. Pointer & operator/=(parent_t) {
  178. tokens_.pop_back();
  179. return *this;
  180. }
  181. Pointer operator/(parent_t) const { return parent(); }
  182. Pointer & operator/=(std::string_view key) {
  183. tokens_.emplace_back(std::string(key));
  184. return *this;
  185. }
  186. Pointer operator/(std::string_view key) const { return Pointer(*this) /= key; }
  187. Pointer & operator/=(size_t index) {
  188. tokens_.emplace_back(index);
  189. return *this;
  190. }
  191. Pointer operator/(size_t index) const { return Pointer(*this) /= index; }
  192. friend std::ostream & operator<<(std::ostream & os, Pointer const & self) {
  193. for (auto const & elem : self.tokens_) {
  194. std::visit([&os](auto const & v) { os << '/' << v; }, elem);
  195. }
  196. return os;
  197. }
  198. auto operator<=>(Pointer const &) const = default;
  199. private:
  200. std::vector<std::variant<std::string, size_t>> tokens_{};
  201. };
  202. }