dense_set.cpp 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870
  1. #include <cstddef>
  2. #include <functional>
  3. #include <iterator>
  4. #include <memory>
  5. #include <tuple>
  6. #include <type_traits>
  7. #include <utility>
  8. #include <gtest/gtest.h>
  9. #include <entt/container/dense_set.hpp>
  10. #include <entt/core/memory.hpp>
  11. #include <entt/core/utility.hpp>
  12. #include "../common/throwing_allocator.hpp"
  13. #include "../common/tracked_memory_resource.hpp"
  14. struct transparent_equal_to {
  15. using is_transparent = void;
  16. template<typename Type, typename Other>
  17. constexpr std::enable_if_t<std::is_convertible_v<Other, Type>, bool>
  18. operator()(const Type &lhs, const Other &rhs) const {
  19. return lhs == static_cast<Type>(rhs);
  20. }
  21. };
  22. TEST(DenseSet, Functionalities) {
  23. entt::dense_set<std::size_t, entt::identity, transparent_equal_to> set;
  24. ASSERT_NO_THROW([[maybe_unused]] auto alloc = set.get_allocator());
  25. ASSERT_TRUE(set.empty());
  26. ASSERT_EQ(set.size(), 0u);
  27. ASSERT_EQ(set.load_factor(), 0.f);
  28. ASSERT_EQ(set.max_load_factor(), .875f);
  29. set.max_load_factor(.9f);
  30. ASSERT_EQ(set.max_load_factor(), .9f);
  31. ASSERT_EQ(set.begin(), set.end());
  32. ASSERT_EQ(std::as_const(set).begin(), std::as_const(set).end());
  33. ASSERT_EQ(set.cbegin(), set.cend());
  34. ASSERT_NE(set.max_bucket_count(), 0u);
  35. ASSERT_EQ(set.bucket_count(), 8u);
  36. ASSERT_EQ(set.bucket_size(3u), 0u);
  37. ASSERT_EQ(set.bucket(0), 0u);
  38. ASSERT_EQ(set.bucket(3), 3u);
  39. ASSERT_EQ(set.bucket(8), 0u);
  40. ASSERT_EQ(set.bucket(10), 2u);
  41. ASSERT_EQ(set.begin(1u), set.end(1u));
  42. ASSERT_EQ(std::as_const(set).begin(1u), std::as_const(set).end(1u));
  43. ASSERT_EQ(set.cbegin(1u), set.cend(1u));
  44. ASSERT_FALSE(set.contains(42));
  45. ASSERT_FALSE(set.contains(4.2));
  46. ASSERT_EQ(set.find(42), set.end());
  47. ASSERT_EQ(set.find(4.2), set.end());
  48. ASSERT_EQ(std::as_const(set).find(42), set.cend());
  49. ASSERT_EQ(std::as_const(set).find(4.2), set.cend());
  50. ASSERT_EQ(set.hash_function()(42), 42);
  51. ASSERT_TRUE(set.key_eq()(42, 42));
  52. set.emplace(0u);
  53. ASSERT_FALSE(set.empty());
  54. ASSERT_EQ(set.size(), 1u);
  55. ASSERT_NE(set.begin(), set.end());
  56. ASSERT_NE(std::as_const(set).begin(), std::as_const(set).end());
  57. ASSERT_NE(set.cbegin(), set.cend());
  58. ASSERT_TRUE(set.contains(0u));
  59. ASSERT_EQ(set.bucket(0u), 0u);
  60. set.clear();
  61. ASSERT_TRUE(set.empty());
  62. ASSERT_EQ(set.size(), 0u);
  63. ASSERT_EQ(set.begin(), set.end());
  64. ASSERT_EQ(std::as_const(set).begin(), std::as_const(set).end());
  65. ASSERT_EQ(set.cbegin(), set.cend());
  66. ASSERT_FALSE(set.contains(0u));
  67. }
  68. TEST(DenseSet, Constructors) {
  69. static constexpr std::size_t minimum_bucket_count = 8u;
  70. entt::dense_set<int> set;
  71. ASSERT_EQ(set.bucket_count(), minimum_bucket_count);
  72. set = entt::dense_set<int>{std::allocator<int>{}};
  73. set = entt::dense_set<int>{2u * minimum_bucket_count, std::allocator<float>{}};
  74. set = entt::dense_set<int>{4u * minimum_bucket_count, std::hash<int>(), std::allocator<double>{}};
  75. set.emplace(3);
  76. entt::dense_set<int> temp{set, set.get_allocator()};
  77. entt::dense_set<int> other{std::move(temp), set.get_allocator()};
  78. ASSERT_EQ(other.size(), 1u);
  79. ASSERT_EQ(other.size(), 1u);
  80. ASSERT_EQ(set.bucket_count(), 4u * minimum_bucket_count);
  81. ASSERT_EQ(other.bucket_count(), 4u * minimum_bucket_count);
  82. }
  83. TEST(DenseSet, Copy) {
  84. entt::dense_set<std::size_t, entt::identity> set;
  85. set.max_load_factor(set.max_load_factor() - .05f);
  86. set.emplace(3u);
  87. entt::dense_set<std::size_t, entt::identity> other{set};
  88. ASSERT_TRUE(set.contains(3u));
  89. ASSERT_TRUE(other.contains(3u));
  90. ASSERT_EQ(set.max_load_factor(), other.max_load_factor());
  91. set.emplace(1u);
  92. set.emplace(11u);
  93. other.emplace(0u);
  94. other = set;
  95. ASSERT_TRUE(other.contains(3u));
  96. ASSERT_TRUE(other.contains(1u));
  97. ASSERT_TRUE(other.contains(11u));
  98. ASSERT_FALSE(other.contains(0u));
  99. ASSERT_EQ(other.bucket(3u), set.bucket(11u));
  100. ASSERT_EQ(other.bucket(3u), other.bucket(11u));
  101. ASSERT_EQ(*other.begin(3u), *set.begin(3u));
  102. ASSERT_EQ(*other.begin(3u), 11u);
  103. ASSERT_EQ((*++other.begin(3u)), 3u);
  104. }
  105. TEST(DenseSet, Move) {
  106. entt::dense_set<std::size_t, entt::identity> set;
  107. set.max_load_factor(set.max_load_factor() - .05f);
  108. set.emplace(3u);
  109. entt::dense_set<std::size_t, entt::identity> other{std::move(set)};
  110. ASSERT_EQ(set.size(), 0u);
  111. ASSERT_TRUE(other.contains(3u));
  112. ASSERT_EQ(set.max_load_factor(), other.max_load_factor());
  113. set = other;
  114. set.emplace(1u);
  115. set.emplace(11u);
  116. other.emplace(0u);
  117. other = std::move(set);
  118. ASSERT_EQ(set.size(), 0u);
  119. ASSERT_TRUE(other.contains(3u));
  120. ASSERT_TRUE(other.contains(1u));
  121. ASSERT_TRUE(other.contains(11u));
  122. ASSERT_FALSE(other.contains(0u));
  123. ASSERT_EQ(other.bucket(3u), other.bucket(11u));
  124. ASSERT_EQ(*other.begin(3u), 11u);
  125. ASSERT_EQ(*++other.begin(3u), 3u);
  126. }
  127. TEST(DenseSet, Iterator) {
  128. using iterator = typename entt::dense_set<int>::iterator;
  129. static_assert(std::is_same_v<iterator::value_type, int>);
  130. static_assert(std::is_same_v<iterator::pointer, const int *>);
  131. static_assert(std::is_same_v<iterator::reference, const int &>);
  132. entt::dense_set<int> set;
  133. set.emplace(3);
  134. iterator end{set.begin()};
  135. iterator begin{};
  136. begin = set.end();
  137. std::swap(begin, end);
  138. ASSERT_EQ(begin, set.begin());
  139. ASSERT_EQ(end, set.end());
  140. ASSERT_NE(begin, end);
  141. ASSERT_EQ(begin++, set.begin());
  142. ASSERT_EQ(begin--, set.end());
  143. ASSERT_EQ(begin + 1, set.end());
  144. ASSERT_EQ(end - 1, set.begin());
  145. ASSERT_EQ(++begin, set.end());
  146. ASSERT_EQ(--begin, set.begin());
  147. ASSERT_EQ(begin += 1, set.end());
  148. ASSERT_EQ(begin -= 1, set.begin());
  149. ASSERT_EQ(begin + (end - begin), set.end());
  150. ASSERT_EQ(begin - (begin - end), set.end());
  151. ASSERT_EQ(end - (end - begin), set.begin());
  152. ASSERT_EQ(end + (begin - end), set.begin());
  153. ASSERT_EQ(begin[0u], *set.begin().operator->());
  154. ASSERT_EQ(begin[0u], *set.begin());
  155. ASSERT_LT(begin, end);
  156. ASSERT_LE(begin, set.begin());
  157. ASSERT_GT(end, begin);
  158. ASSERT_GE(end, set.end());
  159. set.emplace(42);
  160. begin = set.begin();
  161. ASSERT_EQ(begin[0u], 3);
  162. ASSERT_EQ(begin[1u], 42);
  163. }
  164. TEST(DenseSet, ConstIterator) {
  165. using iterator = typename entt::dense_set<int>::const_iterator;
  166. static_assert(std::is_same_v<iterator::value_type, int>);
  167. static_assert(std::is_same_v<iterator::pointer, const int *>);
  168. static_assert(std::is_same_v<iterator::reference, const int &>);
  169. entt::dense_set<int> set;
  170. set.emplace(3);
  171. iterator cend{set.cbegin()};
  172. iterator cbegin{};
  173. cbegin = set.cend();
  174. std::swap(cbegin, cend);
  175. ASSERT_EQ(cbegin, set.cbegin());
  176. ASSERT_EQ(cend, set.cend());
  177. ASSERT_NE(cbegin, cend);
  178. ASSERT_EQ(cbegin++, set.cbegin());
  179. ASSERT_EQ(cbegin--, set.cend());
  180. ASSERT_EQ(cbegin + 1, set.cend());
  181. ASSERT_EQ(cend - 1, set.cbegin());
  182. ASSERT_EQ(++cbegin, set.cend());
  183. ASSERT_EQ(--cbegin, set.cbegin());
  184. ASSERT_EQ(cbegin += 1, set.cend());
  185. ASSERT_EQ(cbegin -= 1, set.cbegin());
  186. ASSERT_EQ(cbegin + (cend - cbegin), set.cend());
  187. ASSERT_EQ(cbegin - (cbegin - cend), set.cend());
  188. ASSERT_EQ(cend - (cend - cbegin), set.cbegin());
  189. ASSERT_EQ(cend + (cbegin - cend), set.cbegin());
  190. ASSERT_EQ(cbegin[0u], *set.cbegin().operator->());
  191. ASSERT_EQ(cbegin[0u], *set.cbegin());
  192. ASSERT_LT(cbegin, cend);
  193. ASSERT_LE(cbegin, set.cbegin());
  194. ASSERT_GT(cend, cbegin);
  195. ASSERT_GE(cend, set.cend());
  196. set.emplace(42);
  197. cbegin = set.cbegin();
  198. ASSERT_EQ(cbegin[0u], 3);
  199. ASSERT_EQ(cbegin[1u], 42);
  200. }
  201. TEST(DenseSet, IteratorConversion) {
  202. entt::dense_set<int> set;
  203. set.emplace(3);
  204. typename entt::dense_set<int, int>::iterator it = set.begin();
  205. typename entt::dense_set<int, int>::const_iterator cit = it;
  206. static_assert(std::is_same_v<decltype(*it), const int &>);
  207. static_assert(std::is_same_v<decltype(*cit), const int &>);
  208. ASSERT_EQ(*it, 3);
  209. ASSERT_EQ(*it.operator->(), 3);
  210. ASSERT_EQ(it.operator->(), cit.operator->());
  211. ASSERT_EQ(*it, *cit);
  212. ASSERT_EQ(it - cit, 0);
  213. ASSERT_EQ(cit - it, 0);
  214. ASSERT_LE(it, cit);
  215. ASSERT_LE(cit, it);
  216. ASSERT_GE(it, cit);
  217. ASSERT_GE(cit, it);
  218. ASSERT_EQ(it, cit);
  219. ASSERT_NE(++cit, it);
  220. }
  221. TEST(DenseSet, Insert) {
  222. entt::dense_set<int> set;
  223. typename entt::dense_set<int>::iterator it;
  224. bool result;
  225. ASSERT_TRUE(set.empty());
  226. ASSERT_EQ(set.size(), 0u);
  227. ASSERT_EQ(set.find(0), set.end());
  228. ASSERT_FALSE(set.contains(0));
  229. int value{1};
  230. std::tie(it, result) = set.insert(std::as_const(value));
  231. ASSERT_TRUE(result);
  232. ASSERT_EQ(set.size(), 1u);
  233. ASSERT_EQ(it, --set.end());
  234. ASSERT_TRUE(set.contains(1));
  235. ASSERT_NE(set.find(1), set.end());
  236. ASSERT_EQ(*it, 1);
  237. std::tie(it, result) = set.insert(value);
  238. ASSERT_FALSE(result);
  239. ASSERT_EQ(set.size(), 1u);
  240. ASSERT_EQ(it, --set.end());
  241. ASSERT_EQ(*it, 1);
  242. std::tie(it, result) = set.insert(3);
  243. ASSERT_TRUE(result);
  244. ASSERT_EQ(set.size(), 2u);
  245. ASSERT_EQ(it, --set.end());
  246. ASSERT_TRUE(set.contains(3));
  247. ASSERT_NE(set.find(3), set.end());
  248. ASSERT_EQ(*it, 3);
  249. std::tie(it, result) = set.insert(3);
  250. ASSERT_FALSE(result);
  251. ASSERT_EQ(set.size(), 2u);
  252. ASSERT_EQ(it, --set.end());
  253. ASSERT_EQ(*it, 3);
  254. int range[2u]{7, 9};
  255. set.insert(std::begin(range), std::end(range));
  256. ASSERT_EQ(set.size(), 4u);
  257. ASSERT_TRUE(set.contains(7));
  258. ASSERT_NE(set.find(9), set.end());
  259. }
  260. TEST(DenseSet, InsertRehash) {
  261. static constexpr std::size_t minimum_bucket_count = 8u;
  262. entt::dense_set<std::size_t, entt::identity> set;
  263. ASSERT_EQ(set.size(), 0u);
  264. ASSERT_EQ(set.bucket_count(), minimum_bucket_count);
  265. for(std::size_t next{}; next < minimum_bucket_count; ++next) {
  266. ASSERT_TRUE(set.insert(next).second);
  267. }
  268. ASSERT_EQ(set.size(), minimum_bucket_count);
  269. ASSERT_GT(set.bucket_count(), minimum_bucket_count);
  270. ASSERT_TRUE(set.contains(minimum_bucket_count / 2u));
  271. ASSERT_EQ(set.bucket(minimum_bucket_count / 2u), minimum_bucket_count / 2u);
  272. ASSERT_FALSE(set.contains(minimum_bucket_count));
  273. ASSERT_TRUE(set.insert(minimum_bucket_count).second);
  274. ASSERT_EQ(set.size(), minimum_bucket_count + 1u);
  275. ASSERT_EQ(set.bucket_count(), minimum_bucket_count * 2u);
  276. ASSERT_TRUE(set.contains(minimum_bucket_count / 2u));
  277. ASSERT_EQ(set.bucket(minimum_bucket_count / 2u), minimum_bucket_count / 2u);
  278. ASSERT_TRUE(set.contains(minimum_bucket_count));
  279. for(std::size_t next{}; next <= minimum_bucket_count; ++next) {
  280. ASSERT_TRUE(set.contains(next));
  281. ASSERT_EQ(set.bucket(next), next);
  282. }
  283. }
  284. TEST(DenseSet, InsertSameBucket) {
  285. static constexpr std::size_t minimum_bucket_count = 8u;
  286. entt::dense_set<std::size_t, entt::identity> set;
  287. for(std::size_t next{}; next < minimum_bucket_count; ++next) {
  288. ASSERT_EQ(set.cbegin(next), set.cend(next));
  289. }
  290. ASSERT_TRUE(set.insert(1u).second);
  291. ASSERT_TRUE(set.insert(9u).second);
  292. ASSERT_EQ(set.size(), 2u);
  293. ASSERT_TRUE(set.contains(1u));
  294. ASSERT_NE(set.find(9u), set.end());
  295. ASSERT_EQ(set.bucket(1u), 1u);
  296. ASSERT_EQ(set.bucket(9u), 1u);
  297. ASSERT_EQ(set.bucket_size(1u), 2u);
  298. ASSERT_EQ(set.cbegin(6u), set.cend(6u));
  299. }
  300. TEST(DenseSet, Emplace) {
  301. entt::dense_set<int> set;
  302. typename entt::dense_set<int>::iterator it;
  303. bool result;
  304. ASSERT_TRUE(set.empty());
  305. ASSERT_EQ(set.size(), 0u);
  306. ASSERT_EQ(set.find(0), set.end());
  307. ASSERT_FALSE(set.contains(0));
  308. std::tie(it, result) = set.emplace();
  309. ASSERT_TRUE(result);
  310. ASSERT_EQ(set.size(), 1u);
  311. ASSERT_EQ(it, --set.end());
  312. ASSERT_TRUE(set.contains(0));
  313. ASSERT_NE(set.find(0), set.end());
  314. ASSERT_EQ(*it, 0);
  315. std::tie(it, result) = set.emplace();
  316. ASSERT_FALSE(result);
  317. ASSERT_EQ(set.size(), 1u);
  318. ASSERT_EQ(it, --set.end());
  319. ASSERT_EQ(*it, 0);
  320. std::tie(it, result) = set.emplace(1);
  321. ASSERT_TRUE(result);
  322. ASSERT_EQ(set.size(), 2u);
  323. ASSERT_EQ(it, --set.end());
  324. ASSERT_TRUE(set.contains(1));
  325. ASSERT_NE(set.find(1), set.end());
  326. ASSERT_EQ(*it, 1);
  327. std::tie(it, result) = set.emplace(1);
  328. ASSERT_FALSE(result);
  329. ASSERT_EQ(set.size(), 2u);
  330. ASSERT_EQ(it, --set.end());
  331. ASSERT_EQ(*it, 1);
  332. }
  333. TEST(DenseSet, EmplaceRehash) {
  334. static constexpr std::size_t minimum_bucket_count = 8u;
  335. entt::dense_set<std::size_t, entt::identity> set;
  336. ASSERT_EQ(set.size(), 0u);
  337. ASSERT_EQ(set.bucket_count(), minimum_bucket_count);
  338. for(std::size_t next{}; next < minimum_bucket_count; ++next) {
  339. ASSERT_TRUE(set.emplace(next).second);
  340. ASSERT_LE(set.load_factor(), set.max_load_factor());
  341. }
  342. ASSERT_EQ(set.size(), minimum_bucket_count);
  343. ASSERT_GT(set.bucket_count(), minimum_bucket_count);
  344. ASSERT_TRUE(set.contains(minimum_bucket_count / 2u));
  345. ASSERT_EQ(set.bucket(minimum_bucket_count / 2u), minimum_bucket_count / 2u);
  346. ASSERT_FALSE(set.contains(minimum_bucket_count));
  347. ASSERT_TRUE(set.emplace(minimum_bucket_count).second);
  348. ASSERT_EQ(set.size(), minimum_bucket_count + 1u);
  349. ASSERT_EQ(set.bucket_count(), minimum_bucket_count * 2u);
  350. ASSERT_TRUE(set.contains(minimum_bucket_count / 2u));
  351. ASSERT_EQ(set.bucket(minimum_bucket_count / 2u), minimum_bucket_count / 2u);
  352. ASSERT_TRUE(set.contains(minimum_bucket_count));
  353. for(std::size_t next{}; next <= minimum_bucket_count; ++next) {
  354. ASSERT_TRUE(set.contains(next));
  355. ASSERT_EQ(set.bucket(next), next);
  356. }
  357. }
  358. TEST(DenseSet, EmplaceSameBucket) {
  359. static constexpr std::size_t minimum_bucket_count = 8u;
  360. entt::dense_set<std::size_t, entt::identity> set;
  361. for(std::size_t next{}; next < minimum_bucket_count; ++next) {
  362. ASSERT_EQ(set.cbegin(next), set.cend(next));
  363. }
  364. ASSERT_TRUE(set.emplace(1u).second);
  365. ASSERT_TRUE(set.emplace(9u).second);
  366. ASSERT_EQ(set.size(), 2u);
  367. ASSERT_TRUE(set.contains(1u));
  368. ASSERT_NE(set.find(9u), set.end());
  369. ASSERT_EQ(set.bucket(1u), 1u);
  370. ASSERT_EQ(set.bucket(9u), 1u);
  371. ASSERT_EQ(set.bucket_size(1u), 2u);
  372. ASSERT_EQ(set.cbegin(6u), set.cend(6u));
  373. }
  374. TEST(DenseSet, Erase) {
  375. static constexpr std::size_t minimum_bucket_count = 8u;
  376. entt::dense_set<std::size_t, entt::identity> set;
  377. for(std::size_t next{}, last = minimum_bucket_count + 1u; next < last; ++next) {
  378. set.emplace(next);
  379. }
  380. ASSERT_EQ(set.bucket_count(), 2 * minimum_bucket_count);
  381. ASSERT_EQ(set.size(), minimum_bucket_count + 1u);
  382. for(std::size_t next{}, last = minimum_bucket_count + 1u; next < last; ++next) {
  383. ASSERT_TRUE(set.contains(next));
  384. }
  385. auto it = set.erase(++set.begin());
  386. it = set.erase(it, it + 1);
  387. ASSERT_EQ(*--set.end(), 6u);
  388. ASSERT_EQ(set.erase(6u), 1u);
  389. ASSERT_EQ(set.erase(6u), 0u);
  390. ASSERT_EQ(set.bucket_count(), 2 * minimum_bucket_count);
  391. ASSERT_EQ(set.size(), minimum_bucket_count + 1u - 3u);
  392. ASSERT_EQ(it, ++set.begin());
  393. ASSERT_EQ(*it, 7u);
  394. ASSERT_EQ(*--set.end(), 5u);
  395. for(std::size_t next{}, last = minimum_bucket_count + 1u; next < last; ++next) {
  396. if(next == 1u || next == 8u || next == 6u) {
  397. ASSERT_FALSE(set.contains(next));
  398. ASSERT_EQ(set.bucket_size(next), 0u);
  399. } else {
  400. ASSERT_TRUE(set.contains(next));
  401. ASSERT_EQ(set.bucket(next), next);
  402. ASSERT_EQ(set.bucket_size(next), 1u);
  403. }
  404. }
  405. set.erase(set.begin(), set.end());
  406. for(std::size_t next{}, last = minimum_bucket_count + 1u; next < last; ++next) {
  407. ASSERT_FALSE(set.contains(next));
  408. }
  409. ASSERT_EQ(set.bucket_count(), 2 * minimum_bucket_count);
  410. ASSERT_EQ(set.size(), 0u);
  411. }
  412. TEST(DenseSet, EraseFromBucket) {
  413. static constexpr std::size_t minimum_bucket_count = 8u;
  414. entt::dense_set<std::size_t, entt::identity> set;
  415. ASSERT_EQ(set.bucket_count(), minimum_bucket_count);
  416. ASSERT_EQ(set.size(), 0u);
  417. for(std::size_t next{}; next < 4u; ++next) {
  418. ASSERT_TRUE(set.emplace(2u * minimum_bucket_count * next).second);
  419. ASSERT_TRUE(set.emplace(2u * minimum_bucket_count * next + 2u).second);
  420. ASSERT_TRUE(set.emplace(2u * minimum_bucket_count * (next + 1u) - 1u).second);
  421. }
  422. ASSERT_EQ(set.bucket_count(), 2u * minimum_bucket_count);
  423. ASSERT_EQ(set.size(), 12u);
  424. ASSERT_EQ(set.bucket_size(0u), 4u);
  425. ASSERT_EQ(set.bucket_size(2u), 4u);
  426. ASSERT_EQ(set.bucket_size(15u), 4u);
  427. set.erase(set.end() - 3, set.end());
  428. ASSERT_EQ(set.bucket_count(), 2u * minimum_bucket_count);
  429. ASSERT_EQ(set.size(), 9u);
  430. ASSERT_EQ(set.bucket_size(0u), 3u);
  431. ASSERT_EQ(set.bucket_size(2u), 3u);
  432. ASSERT_EQ(set.bucket_size(15u), 3u);
  433. for(std::size_t next{}; next < 3u; ++next) {
  434. ASSERT_TRUE(set.contains(2u * minimum_bucket_count * next));
  435. ASSERT_EQ(set.bucket(2u * minimum_bucket_count * next), 0u);
  436. ASSERT_TRUE(set.contains(2u * minimum_bucket_count * next + 2u));
  437. ASSERT_EQ(set.bucket(2u * minimum_bucket_count * next + 2u), 2u);
  438. ASSERT_TRUE(set.contains(2u * minimum_bucket_count * (next + 1u) - 1u));
  439. ASSERT_EQ(set.bucket(2u * minimum_bucket_count * (next + 1u) - 1u), 15u);
  440. }
  441. ASSERT_FALSE(set.contains(2u * minimum_bucket_count * 3u));
  442. ASSERT_FALSE(set.contains(2u * minimum_bucket_count * 3u + 2u));
  443. ASSERT_FALSE(set.contains(2u * minimum_bucket_count * (3u + 1u) - 1u));
  444. set.erase(*++set.begin(0u));
  445. set.erase(*++set.begin(2u));
  446. set.erase(*++set.begin(15u));
  447. ASSERT_EQ(set.bucket_count(), 2u * minimum_bucket_count);
  448. ASSERT_EQ(set.size(), 6u);
  449. ASSERT_EQ(set.bucket_size(0u), 2u);
  450. ASSERT_EQ(set.bucket_size(2u), 2u);
  451. ASSERT_EQ(set.bucket_size(15u), 2u);
  452. ASSERT_FALSE(set.contains(2u * minimum_bucket_count * 1u));
  453. ASSERT_FALSE(set.contains(2u * minimum_bucket_count * 1u + 2u));
  454. ASSERT_FALSE(set.contains(2u * minimum_bucket_count * (1u + 1u) - 1u));
  455. while(set.begin(15) != set.end(15u)) {
  456. set.erase(*set.begin(15));
  457. }
  458. ASSERT_EQ(set.bucket_count(), 2u * minimum_bucket_count);
  459. ASSERT_EQ(set.size(), 4u);
  460. ASSERT_EQ(set.bucket_size(0u), 2u);
  461. ASSERT_EQ(set.bucket_size(2u), 2u);
  462. ASSERT_EQ(set.bucket_size(15u), 0u);
  463. ASSERT_TRUE(set.contains(0u * minimum_bucket_count));
  464. ASSERT_TRUE(set.contains(0u * minimum_bucket_count + 2u));
  465. ASSERT_TRUE(set.contains(4u * minimum_bucket_count));
  466. ASSERT_TRUE(set.contains(4u * minimum_bucket_count + 2u));
  467. set.erase(4u * minimum_bucket_count + 2u);
  468. set.erase(0u * minimum_bucket_count);
  469. ASSERT_EQ(set.bucket_count(), 2u * minimum_bucket_count);
  470. ASSERT_EQ(set.size(), 2u);
  471. ASSERT_EQ(set.bucket_size(0u), 1u);
  472. ASSERT_EQ(set.bucket_size(2u), 1u);
  473. ASSERT_EQ(set.bucket_size(15u), 0u);
  474. ASSERT_FALSE(set.contains(0u * minimum_bucket_count));
  475. ASSERT_TRUE(set.contains(0u * minimum_bucket_count + 2u));
  476. ASSERT_TRUE(set.contains(4u * minimum_bucket_count));
  477. ASSERT_FALSE(set.contains(4u * minimum_bucket_count + 2u));
  478. }
  479. TEST(DenseSet, Swap) {
  480. entt::dense_set<int> set;
  481. entt::dense_set<int> other;
  482. set.emplace(0);
  483. ASSERT_FALSE(set.empty());
  484. ASSERT_TRUE(other.empty());
  485. ASSERT_TRUE(set.contains(0));
  486. ASSERT_FALSE(other.contains(0));
  487. set.swap(other);
  488. ASSERT_TRUE(set.empty());
  489. ASSERT_FALSE(other.empty());
  490. ASSERT_FALSE(set.contains(0));
  491. ASSERT_TRUE(other.contains(0));
  492. }
  493. TEST(DenseSet, LocalIterator) {
  494. using iterator = typename entt::dense_set<std::size_t, entt::identity>::local_iterator;
  495. static_assert(std::is_same_v<iterator::value_type, std::size_t>);
  496. static_assert(std::is_same_v<iterator::pointer, const std::size_t *>);
  497. static_assert(std::is_same_v<iterator::reference, const std::size_t &>);
  498. static constexpr std::size_t minimum_bucket_count = 8u;
  499. entt::dense_set<std::size_t, entt::identity> set;
  500. set.emplace(3u);
  501. set.emplace(3u + minimum_bucket_count);
  502. iterator end{set.begin(3u)};
  503. iterator begin{};
  504. begin = set.end(3u);
  505. std::swap(begin, end);
  506. ASSERT_EQ(begin, set.begin(3u));
  507. ASSERT_EQ(end, set.end(3u));
  508. ASSERT_NE(begin, end);
  509. ASSERT_EQ(*begin.operator->(), 3u + minimum_bucket_count);
  510. ASSERT_EQ(*begin, 3u + minimum_bucket_count);
  511. ASSERT_EQ(begin++, set.begin(3u));
  512. ASSERT_EQ(++begin, set.end(3u));
  513. }
  514. TEST(DenseSet, ConstLocalIterator) {
  515. using iterator = typename entt::dense_set<std::size_t, entt::identity>::const_local_iterator;
  516. static_assert(std::is_same_v<iterator::value_type, std::size_t>);
  517. static_assert(std::is_same_v<iterator::pointer, const std::size_t *>);
  518. static_assert(std::is_same_v<iterator::reference, const std::size_t &>);
  519. static constexpr std::size_t minimum_bucket_count = 8u;
  520. entt::dense_set<std::size_t, entt::identity> set;
  521. set.emplace(3u);
  522. set.emplace(3u + minimum_bucket_count);
  523. iterator cend{set.begin(3u)};
  524. iterator cbegin{};
  525. cbegin = set.end(3u);
  526. std::swap(cbegin, cend);
  527. ASSERT_EQ(cbegin, set.begin(3u));
  528. ASSERT_EQ(cend, set.end(3u));
  529. ASSERT_NE(cbegin, cend);
  530. ASSERT_EQ(*cbegin.operator->(), 3u + minimum_bucket_count);
  531. ASSERT_EQ(*cbegin, 3u + minimum_bucket_count);
  532. ASSERT_EQ(cbegin++, set.begin(3u));
  533. ASSERT_EQ(++cbegin, set.end(3u));
  534. }
  535. TEST(DenseSet, LocalIteratorConversion) {
  536. entt::dense_set<int> set;
  537. set.emplace(3);
  538. typename entt::dense_set<int>::local_iterator it = set.begin(set.bucket(3));
  539. typename entt::dense_set<int>::const_local_iterator cit = it;
  540. static_assert(std::is_same_v<decltype(*it), const int &>);
  541. static_assert(std::is_same_v<decltype(*cit), const int &>);
  542. ASSERT_EQ(*it, 3);
  543. ASSERT_EQ(*it.operator->(), 3);
  544. ASSERT_EQ(it.operator->(), cit.operator->());
  545. ASSERT_EQ(*it, *cit);
  546. ASSERT_EQ(it, cit);
  547. ASSERT_NE(++cit, it);
  548. }
  549. TEST(DenseSet, Rehash) {
  550. static constexpr std::size_t minimum_bucket_count = 8u;
  551. entt::dense_set<std::size_t, entt::identity> set;
  552. set.emplace(32u);
  553. ASSERT_EQ(set.bucket_count(), minimum_bucket_count);
  554. ASSERT_TRUE(set.contains(32u));
  555. ASSERT_EQ(set.bucket(32u), 0u);
  556. set.rehash(12u);
  557. ASSERT_EQ(set.bucket_count(), 2u * minimum_bucket_count);
  558. ASSERT_TRUE(set.contains(32u));
  559. ASSERT_EQ(set.bucket(32u), 0u);
  560. set.rehash(44u);
  561. ASSERT_EQ(set.bucket_count(), 8u * minimum_bucket_count);
  562. ASSERT_TRUE(set.contains(32u));
  563. ASSERT_EQ(set.bucket(32u), 32u);
  564. set.rehash(0u);
  565. ASSERT_EQ(set.bucket_count(), minimum_bucket_count);
  566. ASSERT_TRUE(set.contains(32u));
  567. ASSERT_EQ(set.bucket(32u), 0u);
  568. for(std::size_t next{}; next < minimum_bucket_count; ++next) {
  569. set.emplace(next);
  570. }
  571. ASSERT_EQ(set.size(), minimum_bucket_count + 1u);
  572. ASSERT_EQ(set.bucket_count(), 2u * minimum_bucket_count);
  573. set.rehash(0u);
  574. ASSERT_EQ(set.bucket_count(), 2u * minimum_bucket_count);
  575. ASSERT_TRUE(set.contains(32u));
  576. set.rehash(55u);
  577. ASSERT_EQ(set.bucket_count(), 8u * minimum_bucket_count);
  578. ASSERT_TRUE(set.contains(32u));
  579. set.rehash(2u);
  580. ASSERT_EQ(set.bucket_count(), 2u * minimum_bucket_count);
  581. ASSERT_TRUE(set.contains(32u));
  582. ASSERT_EQ(set.bucket(32u), 0u);
  583. for(std::size_t next{}; next < minimum_bucket_count; ++next) {
  584. ASSERT_TRUE(set.contains(next));
  585. ASSERT_EQ(set.bucket(next), next);
  586. }
  587. ASSERT_EQ(set.bucket_size(0u), 2u);
  588. ASSERT_EQ(set.bucket_size(3u), 1u);
  589. ASSERT_EQ(*set.begin(0u), 0u);
  590. ASSERT_EQ(*++set.begin(0u), 32u);
  591. set.clear();
  592. set.rehash(2u);
  593. ASSERT_EQ(set.bucket_count(), minimum_bucket_count);
  594. ASSERT_FALSE(set.contains(32u));
  595. for(std::size_t next{}; next < minimum_bucket_count; ++next) {
  596. ASSERT_FALSE(set.contains(next));
  597. }
  598. ASSERT_EQ(set.bucket_size(0u), 0u);
  599. ASSERT_EQ(set.bucket_size(3u), 0u);
  600. }
  601. TEST(DenseSet, Reserve) {
  602. static constexpr std::size_t minimum_bucket_count = 8u;
  603. entt::dense_set<int> set;
  604. ASSERT_EQ(set.bucket_count(), minimum_bucket_count);
  605. set.reserve(0u);
  606. ASSERT_EQ(set.bucket_count(), minimum_bucket_count);
  607. set.reserve(minimum_bucket_count);
  608. ASSERT_EQ(set.bucket_count(), 2 * minimum_bucket_count);
  609. ASSERT_EQ(set.bucket_count(), entt::next_power_of_two(std::ceil(minimum_bucket_count / set.max_load_factor())));
  610. }
  611. TEST(DenseSet, ThrowingAllocator) {
  612. using allocator = test::throwing_allocator<std::size_t>;
  613. using packed_allocator = test::throwing_allocator<std::pair<std::size_t, std::size_t>>;
  614. using packed_exception = typename packed_allocator::exception_type;
  615. static constexpr std::size_t minimum_bucket_count = 8u;
  616. entt::dense_set<std::size_t, std::hash<std::size_t>, std::equal_to<std::size_t>, allocator> set{};
  617. packed_allocator::trigger_on_allocate = true;
  618. ASSERT_EQ(set.bucket_count(), minimum_bucket_count);
  619. ASSERT_THROW(set.reserve(2u * set.bucket_count()), packed_exception);
  620. ASSERT_EQ(set.bucket_count(), minimum_bucket_count);
  621. }
  622. #if defined(ENTT_HAS_TRACKED_MEMORY_RESOURCE)
  623. TEST(DenseSet, NoUsesAllocatorConstruction) {
  624. using allocator = std::pmr::polymorphic_allocator<int>;
  625. test::tracked_memory_resource memory_resource{};
  626. entt::dense_set<int, std::hash<int>, std::equal_to<int>, allocator> set{&memory_resource};
  627. set.reserve(1u);
  628. memory_resource.reset();
  629. set.emplace(0);
  630. ASSERT_TRUE(set.get_allocator().resource()->is_equal(memory_resource));
  631. ASSERT_EQ(memory_resource.do_allocate_counter(), 0u);
  632. ASSERT_EQ(memory_resource.do_deallocate_counter(), 0u);
  633. }
  634. TEST(DenseSet, UsesAllocatorConstruction) {
  635. using string_type = typename test::tracked_memory_resource::string_type;
  636. using allocator = std::pmr::polymorphic_allocator<string_type>;
  637. test::tracked_memory_resource memory_resource{};
  638. entt::dense_set<string_type, std::hash<string_type>, std::equal_to<string_type>, allocator> set{&memory_resource};
  639. set.reserve(1u);
  640. memory_resource.reset();
  641. set.emplace(test::tracked_memory_resource::default_value);
  642. ASSERT_TRUE(set.get_allocator().resource()->is_equal(memory_resource));
  643. ASSERT_GT(memory_resource.do_allocate_counter(), 0u);
  644. ASSERT_EQ(memory_resource.do_deallocate_counter(), 0u);
  645. }
  646. #endif