pointer.h 8.6 KB

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