TestVector.cpp 9.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423
  1. /*
  2. * Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
  3. * All rights reserved.
  4. *
  5. * Redistribution and use in source and binary forms, with or without
  6. * modification, are permitted provided that the following conditions are met:
  7. *
  8. * 1. Redistributions of source code must retain the above copyright notice, this
  9. * list of conditions and the following disclaimer.
  10. *
  11. * 2. Redistributions in binary form must reproduce the above copyright notice,
  12. * this list of conditions and the following disclaimer in the documentation
  13. * and/or other materials provided with the distribution.
  14. *
  15. * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  16. * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  17. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  18. * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
  19. * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  20. * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  21. * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  22. * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  23. * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  24. * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  25. */
  26. #include <AK/TestSuite.h>
  27. #include <AK/NonnullOwnPtrVector.h>
  28. #include <AK/OwnPtr.h>
  29. #include <AK/String.h>
  30. #include <AK/Vector.h>
  31. TEST_CASE(construct)
  32. {
  33. EXPECT(Vector<int>().is_empty());
  34. EXPECT(Vector<int>().size() == 0);
  35. }
  36. TEST_CASE(ints)
  37. {
  38. Vector<int> ints;
  39. ints.append(1);
  40. ints.append(2);
  41. ints.append(3);
  42. EXPECT_EQ(ints.size(), 3u);
  43. EXPECT_EQ(ints.take_last(), 3);
  44. EXPECT_EQ(ints.size(), 2u);
  45. EXPECT_EQ(ints.take_last(), 2);
  46. EXPECT_EQ(ints.size(), 1u);
  47. EXPECT_EQ(ints.take_last(), 1);
  48. EXPECT_EQ(ints.size(), 0u);
  49. ints.clear();
  50. EXPECT_EQ(ints.size(), 0u);
  51. }
  52. TEST_CASE(strings)
  53. {
  54. Vector<String> strings;
  55. strings.append("ABC");
  56. strings.append("DEF");
  57. int loop_counter = 0;
  58. for (const String& string : strings) {
  59. EXPECT(!string.is_null());
  60. EXPECT(!string.is_empty());
  61. ++loop_counter;
  62. }
  63. loop_counter = 0;
  64. for (auto& string : (const_cast<const Vector<String>&>(strings))) {
  65. EXPECT(!string.is_null());
  66. EXPECT(!string.is_empty());
  67. ++loop_counter;
  68. }
  69. EXPECT_EQ(loop_counter, 2);
  70. }
  71. TEST_CASE(strings_insert_ordered)
  72. {
  73. Vector<String> strings;
  74. strings.append("abc");
  75. strings.append("def");
  76. strings.append("ghi");
  77. strings.insert_before_matching("f-g", [](auto& entry) {
  78. return "f-g" < entry;
  79. });
  80. EXPECT_EQ(strings[0], "abc");
  81. EXPECT_EQ(strings[1], "def");
  82. EXPECT_EQ(strings[2], "f-g");
  83. EXPECT_EQ(strings[3], "ghi");
  84. }
  85. TEST_CASE(prepend_vector)
  86. {
  87. Vector<int> ints;
  88. ints.append(1);
  89. ints.append(2);
  90. ints.append(3);
  91. Vector<int> more_ints;
  92. more_ints.append(4);
  93. more_ints.append(5);
  94. more_ints.append(6);
  95. ints.prepend(move(more_ints));
  96. EXPECT_EQ(ints.size(), 6u);
  97. EXPECT_EQ(more_ints.size(), 0u);
  98. EXPECT_EQ(ints[0], 4);
  99. EXPECT_EQ(ints[1], 5);
  100. EXPECT_EQ(ints[2], 6);
  101. EXPECT_EQ(ints[3], 1);
  102. EXPECT_EQ(ints[4], 2);
  103. EXPECT_EQ(ints[5], 3);
  104. ints.prepend(move(more_ints));
  105. EXPECT_EQ(ints.size(), 6u);
  106. EXPECT_EQ(more_ints.size(), 0u);
  107. more_ints.prepend(move(ints));
  108. EXPECT_EQ(more_ints.size(), 6u);
  109. EXPECT_EQ(ints.size(), 0u);
  110. }
  111. TEST_CASE(prepend_vector_object)
  112. {
  113. struct SubObject {
  114. SubObject(int v)
  115. : value(v)
  116. {
  117. }
  118. int value { 0 };
  119. };
  120. struct Object {
  121. Object(NonnullOwnPtr<SubObject>&& a_subobject)
  122. : subobject(move(a_subobject))
  123. {
  124. }
  125. OwnPtr<SubObject> subobject;
  126. };
  127. Vector<Object> objects;
  128. objects.empend(make<SubObject>(1));
  129. objects.empend(make<SubObject>(2));
  130. objects.empend(make<SubObject>(3));
  131. EXPECT_EQ(objects.size(), 3u);
  132. Vector<Object> more_objects;
  133. more_objects.empend(make<SubObject>(4));
  134. more_objects.empend(make<SubObject>(5));
  135. more_objects.empend(make<SubObject>(6));
  136. EXPECT_EQ(more_objects.size(), 3u);
  137. objects.prepend(move(more_objects));
  138. EXPECT_EQ(more_objects.size(), 0u);
  139. EXPECT_EQ(objects.size(), 6u);
  140. EXPECT_EQ(objects[0].subobject->value, 4);
  141. EXPECT_EQ(objects[1].subobject->value, 5);
  142. EXPECT_EQ(objects[2].subobject->value, 6);
  143. EXPECT_EQ(objects[3].subobject->value, 1);
  144. EXPECT_EQ(objects[4].subobject->value, 2);
  145. EXPECT_EQ(objects[5].subobject->value, 3);
  146. }
  147. TEST_CASE(vector_compare)
  148. {
  149. Vector<int> ints;
  150. Vector<int> same_ints;
  151. for (int i = 0; i < 1000; ++i) {
  152. ints.append(i);
  153. same_ints.append(i);
  154. }
  155. EXPECT_EQ(ints.size(), 1000u);
  156. EXPECT_EQ(ints, same_ints);
  157. Vector<String> strings;
  158. Vector<String> same_strings;
  159. for (int i = 0; i < 1000; ++i) {
  160. strings.append(String::number(i));
  161. same_strings.append(String::number(i));
  162. }
  163. EXPECT_EQ(strings.size(), 1000u);
  164. EXPECT_EQ(strings, same_strings);
  165. }
  166. TEST_CASE(grow_past_inline_capacity)
  167. {
  168. auto make_vector = [] {
  169. Vector<String, 16> strings;
  170. for (int i = 0; i < 32; ++i) {
  171. strings.append(String::number(i));
  172. }
  173. return strings;
  174. };
  175. auto strings = make_vector();
  176. EXPECT_EQ(strings.size(), 32u);
  177. EXPECT_EQ(strings[31], "31");
  178. strings.clear();
  179. EXPECT_EQ(strings.size(), 0u);
  180. EXPECT_EQ(strings.capacity(), 16u);
  181. strings = make_vector();
  182. strings.clear_with_capacity();
  183. EXPECT_EQ(strings.size(), 0u);
  184. EXPECT(strings.capacity() >= 32u);
  185. }
  186. BENCHMARK_CASE(vector_append_trivial)
  187. {
  188. // This should be super fast thanks to Vector using memmove.
  189. Vector<int> ints;
  190. for (int i = 0; i < 1000000; ++i) {
  191. ints.append(i);
  192. }
  193. for (int i = 0; i < 100; ++i) {
  194. Vector<int> tmp;
  195. tmp.append(ints);
  196. EXPECT_EQ(tmp.size(), 1000000u);
  197. }
  198. }
  199. BENCHMARK_CASE(vector_remove_trivial)
  200. {
  201. // This should be super fast thanks to Vector using memmove.
  202. Vector<int> ints;
  203. for (int i = 0; i < 10000; ++i) {
  204. ints.append(i);
  205. }
  206. while (!ints.is_empty()) {
  207. ints.remove(0);
  208. }
  209. EXPECT_EQ(ints.size(), 0u);
  210. }
  211. TEST_CASE(vector_remove)
  212. {
  213. Vector<int> ints;
  214. ints.append(1);
  215. ints.append(2);
  216. ints.append(3);
  217. ints.append(4);
  218. ints.append(5);
  219. ints.remove(1);
  220. EXPECT_EQ(ints.size(), 4u);
  221. EXPECT_EQ(ints[0], 1);
  222. EXPECT_EQ(ints[1], 3);
  223. EXPECT_EQ(ints[2], 4);
  224. EXPECT_EQ(ints[3], 5);
  225. ints.remove(0);
  226. EXPECT_EQ(ints.size(), 3u);
  227. EXPECT_EQ(ints[0], 3);
  228. EXPECT_EQ(ints[1], 4);
  229. EXPECT_EQ(ints[2], 5);
  230. ints.take_last();
  231. EXPECT_EQ(ints.size(), 2u);
  232. EXPECT_EQ(ints[0], 3);
  233. EXPECT_EQ(ints[1], 4);
  234. ints.take_first();
  235. EXPECT_EQ(ints.size(), 1u);
  236. EXPECT_EQ(ints[0], 4);
  237. }
  238. TEST_CASE(nonnullownptrvector)
  239. {
  240. struct Object {
  241. String string;
  242. };
  243. NonnullOwnPtrVector<Object> objects;
  244. objects.append(make<Object>());
  245. EXPECT_EQ(objects.size(), 1u);
  246. OwnPtr<Object> o = make<Object>();
  247. objects.append(o.release_nonnull());
  248. EXPECT(o == nullptr);
  249. EXPECT_EQ(objects.size(), 2u);
  250. }
  251. TEST_CASE(insert_trivial)
  252. {
  253. Vector<int> ints;
  254. ints.append(0);
  255. ints.append(10);
  256. ints.append(20);
  257. ints.append(30);
  258. ints.append(40);
  259. ints.insert(2, 15);
  260. EXPECT_EQ(ints.size(), 6u);
  261. EXPECT_EQ(ints[0], 0);
  262. EXPECT_EQ(ints[1], 10);
  263. EXPECT_EQ(ints[2], 15);
  264. EXPECT_EQ(ints[3], 20);
  265. EXPECT_EQ(ints[4], 30);
  266. EXPECT_EQ(ints[5], 40);
  267. }
  268. TEST_CASE(resize_initializes)
  269. {
  270. struct A {
  271. A() { initialized = true; }
  272. bool initialized { false };
  273. };
  274. Vector<A> ints;
  275. ints.resize(32);
  276. for (size_t idx = 0; idx < 32; ++idx)
  277. EXPECT(ints[idx].initialized);
  278. }
  279. TEST_CASE(should_compare_vectors_of_same_type)
  280. {
  281. Vector<int> a {};
  282. Vector<int> b {};
  283. EXPECT(a == b);
  284. EXPECT(!(a != b));
  285. a.append(1);
  286. EXPECT(!(a == b));
  287. EXPECT(a != b);
  288. b.append(1);
  289. EXPECT(a == b);
  290. EXPECT(!(a != b));
  291. a.append(42);
  292. b.append(17);
  293. EXPECT(!(a == b));
  294. EXPECT(a != b);
  295. }
  296. TEST_CASE(should_compare_vectors_of_different_inline_capacity)
  297. {
  298. Vector<int, 1> a {};
  299. Vector<int, 64> b {};
  300. EXPECT(a == b);
  301. EXPECT(!(a != b));
  302. a.append(1);
  303. EXPECT(!(a == b));
  304. EXPECT(a != b);
  305. b.append(1);
  306. EXPECT(a == b);
  307. EXPECT(!(a != b));
  308. a.append(42);
  309. b.append(17);
  310. EXPECT(!(a == b));
  311. EXPECT(a != b);
  312. }
  313. TEST_CASE(should_compare_vectors_of_different_sizes)
  314. {
  315. Vector<int, 0> a {};
  316. Vector<int, 0> b {};
  317. EXPECT(a == b);
  318. EXPECT(!(a != b));
  319. // A is longer
  320. a.append(1);
  321. EXPECT(!(a == b));
  322. EXPECT(a != b);
  323. b.append(1);
  324. EXPECT(a == b);
  325. EXPECT(!(a != b));
  326. // B is longer
  327. b.append(42);
  328. EXPECT(!(a == b));
  329. EXPECT(a != b);
  330. }
  331. TEST_CASE(should_find_value)
  332. {
  333. AK::Vector<int> v { 1, 2, 3, 4, 0, 6, 7, 8, 0, 0 };
  334. const auto expected = v.begin() + 4;
  335. EXPECT_EQ(expected, v.find(0));
  336. }
  337. TEST_CASE(should_find_predicate)
  338. {
  339. AK::Vector<int> v { 1, 2, 3, 4, 0, 6, 7, 8, 0, 0 };
  340. const auto expected = v.begin() + 4;
  341. EXPECT_EQ(expected, v.find_if([](const auto v) { return v == 0; }));
  342. }
  343. TEST_CASE(should_find_index)
  344. {
  345. AK::Vector<int> v { 1, 2, 3, 4, 0, 6, 7, 8, 0, 0 };
  346. EXPECT_EQ(4u, v.find_first_index(0).value());
  347. EXPECT(!v.find_first_index(42).has_value());
  348. }
  349. TEST_MAIN(Vector)