object.hpp 9.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536
  1. //
  2. // Copyright (c) 2019 Vinnie Falco (vinnie.falco@gmail.com)
  3. //
  4. // Distributed under the Boost Software License, Version 1.0. (See accompanying
  5. // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  6. //
  7. // Official repository: https://github.com/boostorg/json
  8. //
  9. #ifndef BOOST_JSON_IMPL_OBJECT_HPP
  10. #define BOOST_JSON_IMPL_OBJECT_HPP
  11. #include <boost/json/value.hpp>
  12. #include <iterator>
  13. #include <cmath>
  14. #include <type_traits>
  15. #include <utility>
  16. namespace boost {
  17. namespace json {
  18. namespace detail {
  19. // Objects with size less than or equal
  20. // to this number will use a linear search
  21. // instead of the more expensive hash function.
  22. static
  23. constexpr
  24. std::size_t
  25. small_object_size_ = 18;
  26. BOOST_STATIC_ASSERT(
  27. small_object_size_ <
  28. BOOST_JSON_MAX_STRUCTURED_SIZE);
  29. } // detail
  30. //----------------------------------------------------------
  31. struct alignas(key_value_pair)
  32. object::table
  33. {
  34. std::uint32_t size = 0;
  35. std::uint32_t capacity = 0;
  36. std::uintptr_t salt = 0;
  37. #if defined(_MSC_VER) && BOOST_JSON_ARCH == 32
  38. // VFALCO If we make key_value_pair smaller,
  39. // then we might want to revisit this
  40. // padding.
  41. BOOST_STATIC_ASSERT(
  42. sizeof(key_value_pair) == 32);
  43. char pad[4] = {}; // silence warnings
  44. #endif
  45. constexpr table();
  46. // returns true if we use a linear
  47. // search instead of the hash table.
  48. bool is_small() const noexcept
  49. {
  50. return capacity <=
  51. detail::small_object_size_;
  52. }
  53. key_value_pair&
  54. operator[](
  55. std::size_t pos) noexcept
  56. {
  57. return reinterpret_cast<
  58. key_value_pair*>(
  59. this + 1)[pos];
  60. }
  61. // VFALCO This is exported for tests
  62. BOOST_JSON_DECL
  63. std::size_t
  64. digest(string_view key) const noexcept;
  65. inline
  66. index_t&
  67. bucket(std::size_t hash) noexcept;
  68. inline
  69. index_t&
  70. bucket(string_view key) noexcept;
  71. inline
  72. void
  73. clear() noexcept;
  74. static
  75. inline
  76. table*
  77. allocate(
  78. std::size_t capacity,
  79. std::uintptr_t salt,
  80. storage_ptr const& sp);
  81. static
  82. void
  83. deallocate(
  84. table* p,
  85. storage_ptr const& sp) noexcept
  86. {
  87. if(p->capacity == 0)
  88. return;
  89. if(! p->is_small())
  90. sp->deallocate(p,
  91. sizeof(table) + p->capacity * (
  92. sizeof(key_value_pair) +
  93. sizeof(index_t)));
  94. else
  95. sp->deallocate(p,
  96. sizeof(table) + p->capacity *
  97. sizeof(key_value_pair));
  98. }
  99. };
  100. //----------------------------------------------------------
  101. class object::revert_construct
  102. {
  103. object* obj_;
  104. BOOST_JSON_DECL
  105. void
  106. destroy() noexcept;
  107. public:
  108. explicit
  109. revert_construct(
  110. object& obj) noexcept
  111. : obj_(&obj)
  112. {
  113. }
  114. ~revert_construct()
  115. {
  116. if(! obj_)
  117. return;
  118. destroy();
  119. }
  120. void
  121. commit() noexcept
  122. {
  123. obj_ = nullptr;
  124. }
  125. };
  126. //----------------------------------------------------------
  127. class object::revert_insert
  128. {
  129. object* obj_;
  130. std::size_t size_;
  131. BOOST_JSON_DECL
  132. void
  133. destroy() noexcept;
  134. public:
  135. explicit
  136. revert_insert(
  137. object& obj) noexcept
  138. : obj_(&obj)
  139. , size_(obj_->size())
  140. {
  141. }
  142. ~revert_insert()
  143. {
  144. if(! obj_)
  145. return;
  146. destroy();
  147. obj_->t_->size = static_cast<
  148. index_t>(size_);
  149. }
  150. void
  151. commit() noexcept
  152. {
  153. obj_ = nullptr;
  154. }
  155. };
  156. //----------------------------------------------------------
  157. //
  158. // Iterators
  159. //
  160. //----------------------------------------------------------
  161. auto
  162. object::
  163. begin() noexcept ->
  164. iterator
  165. {
  166. return &(*t_)[0];
  167. }
  168. auto
  169. object::
  170. begin() const noexcept ->
  171. const_iterator
  172. {
  173. return &(*t_)[0];
  174. }
  175. auto
  176. object::
  177. cbegin() const noexcept ->
  178. const_iterator
  179. {
  180. return &(*t_)[0];
  181. }
  182. auto
  183. object::
  184. end() noexcept ->
  185. iterator
  186. {
  187. return &(*t_)[t_->size];
  188. }
  189. auto
  190. object::
  191. end() const noexcept ->
  192. const_iterator
  193. {
  194. return &(*t_)[t_->size];
  195. }
  196. auto
  197. object::
  198. cend() const noexcept ->
  199. const_iterator
  200. {
  201. return &(*t_)[t_->size];
  202. }
  203. auto
  204. object::
  205. rbegin() noexcept ->
  206. reverse_iterator
  207. {
  208. return reverse_iterator(end());
  209. }
  210. auto
  211. object::
  212. rbegin() const noexcept ->
  213. const_reverse_iterator
  214. {
  215. return const_reverse_iterator(end());
  216. }
  217. auto
  218. object::
  219. crbegin() const noexcept ->
  220. const_reverse_iterator
  221. {
  222. return const_reverse_iterator(end());
  223. }
  224. auto
  225. object::
  226. rend() noexcept ->
  227. reverse_iterator
  228. {
  229. return reverse_iterator(begin());
  230. }
  231. auto
  232. object::
  233. rend() const noexcept ->
  234. const_reverse_iterator
  235. {
  236. return const_reverse_iterator(begin());
  237. }
  238. auto
  239. object::
  240. crend() const noexcept ->
  241. const_reverse_iterator
  242. {
  243. return const_reverse_iterator(begin());
  244. }
  245. //----------------------------------------------------------
  246. //
  247. // Capacity
  248. //
  249. //----------------------------------------------------------
  250. bool
  251. object::
  252. empty() const noexcept
  253. {
  254. return t_->size == 0;
  255. }
  256. auto
  257. object::
  258. size() const noexcept ->
  259. std::size_t
  260. {
  261. return t_->size;
  262. }
  263. constexpr
  264. std::size_t
  265. object::
  266. max_size() noexcept
  267. {
  268. // max_size depends on the address model
  269. using min = std::integral_constant<std::size_t,
  270. (std::size_t(-1) - sizeof(table)) /
  271. (sizeof(key_value_pair) + sizeof(index_t))>;
  272. return min::value < BOOST_JSON_MAX_STRUCTURED_SIZE ?
  273. min::value : BOOST_JSON_MAX_STRUCTURED_SIZE;
  274. }
  275. auto
  276. object::
  277. capacity() const noexcept ->
  278. std::size_t
  279. {
  280. return t_->capacity;
  281. }
  282. //----------------------------------------------------------
  283. //
  284. // Lookup
  285. //
  286. //----------------------------------------------------------
  287. auto
  288. object::
  289. at(string_view key) & ->
  290. value&
  291. {
  292. auto it = find(key);
  293. if(it == end())
  294. detail::throw_out_of_range();
  295. return it->value();
  296. }
  297. auto
  298. object::
  299. at(string_view key) && ->
  300. value&&
  301. {
  302. return std::move( at(key) );
  303. }
  304. auto
  305. object::
  306. at(string_view key) const& ->
  307. value const&
  308. {
  309. auto it = find(key);
  310. if(it == end())
  311. detail::throw_out_of_range();
  312. return it->value();
  313. }
  314. //----------------------------------------------------------
  315. template<class P, class>
  316. auto
  317. object::
  318. insert(P&& p) ->
  319. std::pair<iterator, bool>
  320. {
  321. key_value_pair v(
  322. std::forward<P>(p), sp_);
  323. return insert_impl(pilfer(v));
  324. }
  325. template<class M>
  326. auto
  327. object::
  328. insert_or_assign(
  329. string_view key, M&& m) ->
  330. std::pair<iterator, bool>
  331. {
  332. reserve(size() + 1);
  333. auto const result = detail::find_in_object(*this, key);
  334. if(result.first)
  335. {
  336. value(std::forward<M>(m),
  337. sp_).swap(result.first->value());
  338. return { result.first, false };
  339. }
  340. key_value_pair kv(key,
  341. std::forward<M>(m), sp_);
  342. return { insert_impl(pilfer(kv),
  343. result.second), true };
  344. }
  345. template<class Arg>
  346. auto
  347. object::
  348. emplace(
  349. string_view key,
  350. Arg&& arg) ->
  351. std::pair<iterator, bool>
  352. {
  353. reserve(size() + 1);
  354. auto const result = detail::find_in_object(*this, key);
  355. if(result.first)
  356. return { result.first, false };
  357. key_value_pair kv(key,
  358. std::forward<Arg>(arg), sp_);
  359. return { insert_impl(pilfer(kv),
  360. result.second), true };
  361. }
  362. //----------------------------------------------------------
  363. //
  364. // (private)
  365. //
  366. //----------------------------------------------------------
  367. template<class InputIt>
  368. void
  369. object::
  370. construct(
  371. InputIt first,
  372. InputIt last,
  373. std::size_t min_capacity,
  374. std::input_iterator_tag)
  375. {
  376. reserve(min_capacity);
  377. revert_construct r(*this);
  378. while(first != last)
  379. {
  380. insert(*first);
  381. ++first;
  382. }
  383. r.commit();
  384. }
  385. template<class InputIt>
  386. void
  387. object::
  388. construct(
  389. InputIt first,
  390. InputIt last,
  391. std::size_t min_capacity,
  392. std::forward_iterator_tag)
  393. {
  394. auto n = static_cast<
  395. std::size_t>(std::distance(
  396. first, last));
  397. if( n < min_capacity)
  398. n = min_capacity;
  399. reserve(n);
  400. revert_construct r(*this);
  401. while(first != last)
  402. {
  403. insert(*first);
  404. ++first;
  405. }
  406. r.commit();
  407. }
  408. template<class InputIt>
  409. void
  410. object::
  411. insert(
  412. InputIt first,
  413. InputIt last,
  414. std::input_iterator_tag)
  415. {
  416. // Since input iterators cannot be rewound,
  417. // we keep inserted elements on an exception.
  418. //
  419. while(first != last)
  420. {
  421. insert(*first);
  422. ++first;
  423. }
  424. }
  425. template<class InputIt>
  426. void
  427. object::
  428. insert(
  429. InputIt first,
  430. InputIt last,
  431. std::forward_iterator_tag)
  432. {
  433. auto const n =
  434. static_cast<std::size_t>(
  435. std::distance(first, last));
  436. auto const n0 = size();
  437. if(n > max_size() - n0)
  438. detail::throw_length_error( "object too large" );
  439. reserve(n0 + n);
  440. revert_insert r(*this);
  441. while(first != last)
  442. {
  443. insert(*first);
  444. ++first;
  445. }
  446. r.commit();
  447. }
  448. //----------------------------------------------------------
  449. namespace detail {
  450. unchecked_object::
  451. ~unchecked_object()
  452. {
  453. if(! data_)
  454. return;
  455. if(sp_.is_not_shared_and_deallocate_is_trivial())
  456. return;
  457. value* p = data_;
  458. while(size_--)
  459. {
  460. p[0].~value();
  461. p[1].~value();
  462. p += 2;
  463. }
  464. }
  465. } // detail
  466. } // namespace json
  467. } // namespace boost
  468. #endif