dense_set.cpp 31 KB

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