test/test_list.cpp@056e5f592d84
test/test_list.cpp
Sun, 06 Nov 2022 16:07:32 +0100
- author
- Mike Becker <universe@uap-core.de>
- date
- Sun, 06 Nov 2022 16:07:32 +0100
- changeset 604
- 056e5f592d84
- parent 602
- 3b071ea0e9cf
- child 606
- 314e9288af2f
- permissions
- -rw-r--r--
change hash functions
1) for zero-terminated strings, the terminator is no longer included in the hash
2) for NULL there is now a special hash value different from the hash for empty data
1 /*
2 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
3 *
4 * Copyright 2021 Mike Becker, Olaf Wintermann All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions are met:
8 *
9 * 1. Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 *
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
15 *
16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
17 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
20 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26 * POSSIBILITY OF SUCH DAMAGE.
27 */
29 #include "cx/linked_list.h"
30 #include "cx/utils.h"
31 #include "cx/compare.h"
32 #include "util_allocator.h"
34 #include <gtest/gtest.h>
35 #include <array>
36 #include <vector>
37 #include <unordered_set>
38 #include <algorithm>
40 struct node {
41 node *next = nullptr;
42 node *prev = nullptr;
43 int data = 0;
44 };
46 const ptrdiff_t loc_prev = offsetof(struct node, prev);
47 const ptrdiff_t loc_next = offsetof(struct node, next);
48 const ptrdiff_t loc_data = offsetof(struct node, data);
50 struct node_test_data {
51 node *begin = nullptr;
53 explicit node_test_data(node *begin) : begin(begin) {
54 auto n = begin;
55 while (n != nullptr) {
56 nodes.push_back(n);
57 n = n->next;
58 }
59 }
61 node_test_data(node_test_data &) = delete;
63 node_test_data(node_test_data &&) = default;
65 ~node_test_data() {
66 for (auto &&n: nodes) delete n;
67 }
69 private:
70 std::vector<node *> nodes;
71 };
73 static node_test_data create_nodes_test_data(size_t len) {
74 if (len == 0) return node_test_data{nullptr};
75 auto begin = new node;
76 auto prev = begin;
77 for (size_t i = 1; i < len; i++) {
78 auto n = new node;
79 cx_linked_list_link(prev, n, loc_prev, loc_next);
80 prev = n;
81 }
82 return node_test_data{begin};
83 }
85 template<typename InputIter>
86 static node_test_data create_nodes_test_data(
87 InputIter begin,
88 InputIter end
89 ) {
90 if (begin == end) return node_test_data{nullptr};
91 node *first = new node;
92 first->data = *begin;
93 node *prev = first;
94 begin++;
95 for (; begin != end; begin++) {
96 auto n = new node;
97 n->data = *begin;
98 cx_linked_list_link(prev, n, loc_prev, loc_next);
99 prev = n;
100 }
101 return node_test_data{first};
102 }
104 static node_test_data create_nodes_test_data(std::initializer_list<int> data) {
105 return create_nodes_test_data(data.begin(), data.end());
106 }
108 template<size_t N>
109 struct int_test_data {
110 std::array<int, N> data;
112 int_test_data() {
113 cx_for_n (i, N) data[i] = ::rand(); // NOLINT(cert-msc50-cpp)
114 }
115 };
117 TEST(LinkedList_LowLevel, link_unlink) {
118 node a, b, c;
120 cx_linked_list_link(&a, &b, loc_prev, loc_next);
121 EXPECT_EQ(a.prev, nullptr);
122 EXPECT_EQ(a.next, &b);
123 EXPECT_EQ(b.prev, &a);
124 EXPECT_EQ(b.next, nullptr);
126 cx_linked_list_unlink(&a, &b, loc_prev, loc_next);
127 EXPECT_EQ(a.prev, nullptr);
128 EXPECT_EQ(a.next, nullptr);
129 EXPECT_EQ(b.prev, nullptr);
130 EXPECT_EQ(b.next, nullptr);
132 cx_linked_list_link(&b, &c, loc_prev, loc_next);
133 cx_linked_list_link(&a, &b, loc_prev, loc_next);
134 cx_linked_list_unlink(&b, &c, loc_prev, loc_next);
135 EXPECT_EQ(a.prev, nullptr);
136 EXPECT_EQ(a.next, &b);
137 EXPECT_EQ(b.prev, &a);
138 EXPECT_EQ(b.next, nullptr);
139 EXPECT_EQ(c.prev, nullptr);
140 EXPECT_EQ(c.next, nullptr);
141 }
143 TEST(LinkedList_LowLevel, cx_linked_list_at) {
144 node a, b, c, d;
145 cx_linked_list_link(&a, &b, loc_prev, loc_next);
146 cx_linked_list_link(&b, &c, loc_prev, loc_next);
147 cx_linked_list_link(&c, &d, loc_prev, loc_next);
149 EXPECT_EQ(cx_linked_list_at(&a, 0, loc_next, 0), &a);
150 EXPECT_EQ(cx_linked_list_at(&a, 0, loc_next, 1), &b);
151 EXPECT_EQ(cx_linked_list_at(&a, 0, loc_next, 2), &c);
152 EXPECT_EQ(cx_linked_list_at(&a, 0, loc_next, 3), &d);
153 EXPECT_EQ(cx_linked_list_at(&a, 0, loc_next, 4), nullptr);
155 EXPECT_EQ(cx_linked_list_at(&b, 1, loc_prev, 0), &a);
156 EXPECT_EQ(cx_linked_list_at(&b, 1, loc_next, 1), &b);
157 EXPECT_EQ(cx_linked_list_at(&b, 1, loc_next, 2), &c);
158 EXPECT_EQ(cx_linked_list_at(&b, 1, loc_next, 3), &d);
159 EXPECT_EQ(cx_linked_list_at(&b, 1, loc_next, 4), nullptr);
161 EXPECT_EQ(cx_linked_list_at(&d, 3, loc_prev, 0), &a);
162 EXPECT_EQ(cx_linked_list_at(&d, 3, loc_prev, 1), &b);
163 }
165 TEST(LinkedList_LowLevel, cx_linked_list_find) {
166 auto testdata = create_nodes_test_data({2, 4, 6, 8});
167 auto list = testdata.begin;
168 int s;
170 s = 2;
171 EXPECT_EQ(cx_linked_list_find(list, loc_next, loc_data, false, cx_cmp_int, &s), 0);
172 s = 4;
173 EXPECT_EQ(cx_linked_list_find(list, loc_next, loc_data, false, cx_cmp_int, &s), 1);
174 s = 6;
175 EXPECT_EQ(cx_linked_list_find(list, loc_next, loc_data, false, cx_cmp_int, &s), 2);
176 s = 8;
177 EXPECT_EQ(cx_linked_list_find(list, loc_next, loc_data, false, cx_cmp_int, &s), 3);
178 s = 10;
179 EXPECT_EQ(cx_linked_list_find(list, loc_next, loc_data, false, cx_cmp_int, &s), 4);
180 s = -2;
181 EXPECT_EQ(cx_linked_list_find(list, loc_next, loc_data, false, cx_cmp_int, &s), 4);
182 }
184 TEST(LinkedList_LowLevel, cx_linked_list_compare) {
185 auto ta = create_nodes_test_data({2, 4, 6, 8});
186 auto tb = create_nodes_test_data({2, 4, 6});
187 auto tc = create_nodes_test_data({2, 4, 6, 9});
188 auto la = ta.begin, lb = tb.begin, lc = tc.begin;
190 EXPECT_GT(cx_linked_list_compare(la, lb, loc_next, loc_data, false, false, cx_cmp_int), 0);
191 EXPECT_LT(cx_linked_list_compare(lb, la, loc_next, loc_data, false, false, cx_cmp_int), 0);
192 EXPECT_GT(cx_linked_list_compare(lc, la, loc_next, loc_data, false, false, cx_cmp_int), 0);
193 EXPECT_LT(cx_linked_list_compare(la, lc, loc_next, loc_data, false, false, cx_cmp_int), 0);
194 EXPECT_EQ(cx_linked_list_compare(la, la, loc_next, loc_data, false, false, cx_cmp_int), 0);
195 }
197 TEST(LinkedList_LowLevel, cx_linked_list_add) {
198 // test with begin, end / prev, next
199 {
200 node nodes[4];
201 void *begin = nullptr, *end = nullptr;
203 cx_linked_list_add(&begin, &end, loc_prev, loc_next, &nodes[0]);
204 EXPECT_EQ(begin, &nodes[0]);
205 EXPECT_EQ(end, &nodes[0]);
206 EXPECT_EQ(nodes[0].prev, nullptr);
207 EXPECT_EQ(nodes[0].next, nullptr);
209 cx_linked_list_add(&begin, &end, loc_prev, loc_next, &nodes[1]);
210 EXPECT_EQ(begin, &nodes[0]);
211 EXPECT_EQ(end, &nodes[1]);
212 EXPECT_EQ(nodes[0].next, &nodes[1]);
213 EXPECT_EQ(nodes[1].prev, &nodes[0]);
214 }
216 // test with begin only / prev, next
217 {
218 node nodes[4];
219 void *begin = nullptr;
221 cx_linked_list_add(&begin, nullptr, loc_prev, loc_next, &nodes[0]);
222 EXPECT_EQ(begin, &nodes[0]);
223 cx_linked_list_add(&begin, nullptr, loc_prev, loc_next, &nodes[1]);
224 EXPECT_EQ(begin, &nodes[0]);
225 EXPECT_EQ(nodes[0].next, &nodes[1]);
226 EXPECT_EQ(nodes[1].prev, &nodes[0]);
228 cx_linked_list_add(&begin, nullptr, loc_prev, loc_next, &nodes[2]);
229 EXPECT_EQ(nodes[1].next, &nodes[2]);
230 EXPECT_EQ(nodes[2].prev, &nodes[1]);
231 }
233 // test with end only / prev, next
234 {
235 node nodes[4];
236 void *end = nullptr;
238 cx_linked_list_add(nullptr, &end, loc_prev, loc_next, &nodes[0]);
239 EXPECT_EQ(end, &nodes[0]);
240 cx_linked_list_add(nullptr, &end, loc_prev, loc_next, &nodes[1]);
241 EXPECT_EQ(end, &nodes[1]);
242 EXPECT_EQ(nodes[0].next, &nodes[1]);
243 EXPECT_EQ(nodes[1].prev, &nodes[0]);
245 cx_linked_list_add(nullptr, &end, loc_prev, loc_next, &nodes[2]);
246 EXPECT_EQ(end, &nodes[2]);
247 EXPECT_EQ(nodes[1].next, &nodes[2]);
248 EXPECT_EQ(nodes[2].prev, &nodes[1]);
249 }
251 // test with begin, end / next
252 {
253 node nodes[4];
254 void *begin = nullptr, *end = nullptr;
256 cx_linked_list_add(&begin, &end, -1, loc_next, &nodes[0]);
257 EXPECT_EQ(begin, &nodes[0]);
258 EXPECT_EQ(end, &nodes[0]);
259 cx_linked_list_add(&begin, &end, -1, loc_next, &nodes[1]);
260 EXPECT_EQ(end, &nodes[1]);
261 EXPECT_EQ(nodes[0].next, &nodes[1]);
262 EXPECT_EQ(nodes[1].prev, nullptr);
263 }
264 }
266 TEST(LinkedList_LowLevel, cx_linked_list_prepend) {
267 // test with begin, end / prev, next
268 {
269 node nodes[4];
270 void *begin = nullptr, *end = nullptr;
272 cx_linked_list_prepend(&begin, &end, loc_prev, loc_next, &nodes[0]);
273 EXPECT_EQ(begin, &nodes[0]);
274 EXPECT_EQ(end, &nodes[0]);
275 EXPECT_EQ(nodes[0].prev, nullptr);
276 EXPECT_EQ(nodes[0].next, nullptr);
278 cx_linked_list_prepend(&begin, &end, loc_prev, loc_next, &nodes[1]);
279 EXPECT_EQ(begin, &nodes[1]);
280 EXPECT_EQ(end, &nodes[0]);
281 EXPECT_EQ(nodes[1].next, &nodes[0]);
282 EXPECT_EQ(nodes[0].prev, &nodes[1]);
283 }
285 // test with begin only / prev, next
286 {
287 node nodes[4];
288 void *begin = nullptr;
290 cx_linked_list_prepend(&begin, nullptr, loc_prev, loc_next, &nodes[0]);
291 EXPECT_EQ(begin, &nodes[0]);
292 cx_linked_list_prepend(&begin, nullptr, loc_prev, loc_next, &nodes[1]);
293 EXPECT_EQ(begin, &nodes[1]);
294 EXPECT_EQ(nodes[1].next, &nodes[0]);
295 EXPECT_EQ(nodes[0].prev, &nodes[1]);
297 cx_linked_list_prepend(&begin, nullptr, loc_prev, loc_next, &nodes[2]);
298 EXPECT_EQ(begin, &nodes[2]);
299 EXPECT_EQ(nodes[2].next, &nodes[1]);
300 EXPECT_EQ(nodes[1].prev, &nodes[2]);
301 }
303 // test with end only / prev, next
304 {
305 node nodes[4];
306 void *end = nullptr;
308 cx_linked_list_prepend(nullptr, &end, loc_prev, loc_next, &nodes[0]);
309 EXPECT_EQ(end, &nodes[0]);
310 cx_linked_list_prepend(nullptr, &end, loc_prev, loc_next, &nodes[1]);
311 EXPECT_EQ(end, &nodes[0]);
312 EXPECT_EQ(nodes[1].next, &nodes[0]);
313 EXPECT_EQ(nodes[0].prev, &nodes[1]);
315 cx_linked_list_prepend(nullptr, &end, loc_prev, loc_next, &nodes[2]);
316 EXPECT_EQ(end, &nodes[0]);
317 EXPECT_EQ(nodes[2].next, &nodes[1]);
318 EXPECT_EQ(nodes[1].prev, &nodes[2]);
319 }
321 // test with begin, end / next
322 {
323 node nodes[4];
324 void *begin = nullptr, *end = nullptr;
326 cx_linked_list_prepend(&begin, &end, -1, loc_next, &nodes[0]);
327 EXPECT_EQ(begin, &nodes[0]);
328 EXPECT_EQ(end, &nodes[0]);
329 cx_linked_list_prepend(&begin, &end, -1, loc_next, &nodes[1]);
330 cx_linked_list_prepend(&begin, &end, -1, loc_next, &nodes[2]);
331 EXPECT_EQ(begin, &nodes[2]);
332 EXPECT_EQ(end, &nodes[0]);
333 EXPECT_EQ(nodes[1].next, &nodes[0]);
334 EXPECT_EQ(nodes[2].next, &nodes[1]);
335 EXPECT_EQ(nodes[1].prev, nullptr);
336 EXPECT_EQ(nodes[0].prev, nullptr);
337 }
338 }
340 TEST(LinkedList_LowLevel, cx_linked_list_insert) {
341 // insert mid list
342 {
343 node nodes[4];
344 void *begin = &nodes[0], *end = &nodes[2];
346 cx_linked_list_link(&nodes[0], &nodes[1], loc_prev, loc_next);
347 cx_linked_list_link(&nodes[1], &nodes[2], loc_prev, loc_next);
349 cx_linked_list_insert(&begin, &end, loc_prev, loc_next, &nodes[1], &nodes[3]);
350 EXPECT_EQ(begin, &nodes[0]);
351 EXPECT_EQ(end, &nodes[2]);
352 EXPECT_EQ(nodes[1].next, &nodes[3]);
353 EXPECT_EQ(nodes[2].prev, &nodes[3]);
354 EXPECT_EQ(nodes[3].prev, &nodes[1]);
355 EXPECT_EQ(nodes[3].next, &nodes[2]);
356 }
358 // insert end
359 {
360 node nodes[4];
361 void *begin = &nodes[0], *end = &nodes[2];
363 cx_linked_list_link(&nodes[0], &nodes[1], loc_prev, loc_next);
364 cx_linked_list_link(&nodes[1], &nodes[2], loc_prev, loc_next);
366 cx_linked_list_insert(&begin, &end, loc_prev, loc_next, &nodes[2], &nodes[3]);
367 EXPECT_EQ(begin, &nodes[0]);
368 EXPECT_EQ(end, &nodes[3]);
369 EXPECT_EQ(nodes[2].next, &nodes[3]);
370 EXPECT_EQ(nodes[3].prev, &nodes[2]);
371 EXPECT_EQ(nodes[3].next, nullptr);
372 }
374 // insert begin
375 {
376 node nodes[4];
377 void *begin = &nodes[0], *end = &nodes[2];
379 cx_linked_list_link(&nodes[0], &nodes[1], loc_prev, loc_next);
380 cx_linked_list_link(&nodes[1], &nodes[2], loc_prev, loc_next);
382 cx_linked_list_insert(&begin, &end, loc_prev, loc_next, nullptr, &nodes[3]);
383 EXPECT_EQ(begin, &nodes[3]);
384 EXPECT_EQ(end, &nodes[2]);
385 EXPECT_EQ(nodes[0].prev, &nodes[3]);
386 EXPECT_EQ(nodes[3].prev, nullptr);
387 EXPECT_EQ(nodes[3].next, &nodes[0]);
388 }
389 }
391 TEST(LinkedList_LowLevel, cx_linked_list_insert_chain) {
392 // insert mid list
393 {
394 node nodes[5];
395 void *begin = &nodes[0], *end = &nodes[2];
397 cx_linked_list_link(&nodes[0], &nodes[1], loc_prev, loc_next);
398 cx_linked_list_link(&nodes[1], &nodes[2], loc_prev, loc_next);
399 cx_linked_list_link(&nodes[3], &nodes[4], loc_prev, loc_next);
401 cx_linked_list_insert_chain(&begin, &end, loc_prev, loc_next, &nodes[1], &nodes[3], nullptr);
402 EXPECT_EQ(begin, &nodes[0]);
403 EXPECT_EQ(end, &nodes[2]);
404 EXPECT_EQ(nodes[1].next, &nodes[3]);
405 EXPECT_EQ(nodes[2].prev, &nodes[4]);
406 EXPECT_EQ(nodes[3].prev, &nodes[1]);
407 EXPECT_EQ(nodes[4].next, &nodes[2]);
408 }
410 // insert end
411 {
412 node nodes[5];
413 void *begin = &nodes[0], *end = &nodes[2];
415 cx_linked_list_link(&nodes[0], &nodes[1], loc_prev, loc_next);
416 cx_linked_list_link(&nodes[1], &nodes[2], loc_prev, loc_next);
417 cx_linked_list_link(&nodes[3], &nodes[4], loc_prev, loc_next);
419 cx_linked_list_insert_chain(&begin, &end, loc_prev, loc_next, &nodes[2], &nodes[3], nullptr);
420 EXPECT_EQ(begin, &nodes[0]);
421 EXPECT_EQ(end, &nodes[4]);
422 EXPECT_EQ(nodes[2].next, &nodes[3]);
423 EXPECT_EQ(nodes[3].prev, &nodes[2]);
424 EXPECT_EQ(nodes[4].next, nullptr);
425 }
427 // insert begin
428 {
429 node nodes[5];
430 void *begin = &nodes[0], *end = &nodes[2];
432 cx_linked_list_link(&nodes[0], &nodes[1], loc_prev, loc_next);
433 cx_linked_list_link(&nodes[1], &nodes[2], loc_prev, loc_next);
434 cx_linked_list_link(&nodes[3], &nodes[4], loc_prev, loc_next);
436 cx_linked_list_insert_chain(&begin, &end, loc_prev, loc_next, nullptr, &nodes[3], nullptr);
437 EXPECT_EQ(begin, &nodes[3]);
438 EXPECT_EQ(end, &nodes[2]);
439 EXPECT_EQ(nodes[0].prev, &nodes[4]);
440 EXPECT_EQ(nodes[3].prev, nullptr);
441 EXPECT_EQ(nodes[4].next, &nodes[0]);
442 }
443 }
445 TEST(LinkedList_LowLevel, cx_linked_list_first) {
446 auto testdata = create_nodes_test_data(3);
447 auto begin = testdata.begin;
448 EXPECT_EQ(cx_linked_list_first(begin, loc_prev), begin);
449 EXPECT_EQ(cx_linked_list_first(begin->next, loc_prev), begin);
450 EXPECT_EQ(cx_linked_list_first(begin->next->next, loc_prev), begin);
451 }
453 TEST(LinkedList_LowLevel, cx_linked_list_last) {
454 auto testdata = create_nodes_test_data(3);
455 auto begin = testdata.begin;
456 auto end = begin->next->next;
457 EXPECT_EQ(cx_linked_list_last(begin, loc_next), end);
458 EXPECT_EQ(cx_linked_list_last(begin->next, loc_next), end);
459 EXPECT_EQ(cx_linked_list_last(begin->next->next, loc_next), end);
460 }
462 TEST(LinkedList_LowLevel, cx_linked_list_prev) {
463 auto testdata = create_nodes_test_data(3);
464 auto begin = testdata.begin;
465 EXPECT_EQ(cx_linked_list_prev(begin, loc_next, begin), nullptr);
466 EXPECT_EQ(cx_linked_list_prev(begin, loc_next, begin->next), begin);
467 EXPECT_EQ(cx_linked_list_prev(begin, loc_next, begin->next->next), begin->next);
468 }
470 TEST(LinkedList_LowLevel, cx_linked_list_remove) {
471 auto testdata = create_nodes_test_data({2, 4, 6});
472 auto begin = reinterpret_cast<void *>(testdata.begin);
473 auto first = testdata.begin;
474 auto second = first->next;
475 auto third = second->next;
476 auto end = reinterpret_cast<void *>(third);
478 cx_linked_list_remove(&begin, &end, loc_prev, loc_next, second);
479 EXPECT_EQ(begin, first);
480 EXPECT_EQ(end, third);
481 EXPECT_EQ(first->prev, nullptr);
482 EXPECT_EQ(first->next, third);
483 EXPECT_EQ(third->prev, first);
484 EXPECT_EQ(third->next, nullptr);
486 cx_linked_list_remove(&begin, &end, loc_prev, loc_next, third);
487 EXPECT_EQ(begin, first);
488 EXPECT_EQ(end, first);
489 EXPECT_EQ(first->prev, nullptr);
490 EXPECT_EQ(first->next, nullptr);
492 cx_linked_list_remove(&begin, &end, loc_prev, loc_next, first);
493 EXPECT_EQ(begin, nullptr);
494 EXPECT_EQ(end, nullptr);
495 }
497 TEST(LinkedList_LowLevel, cx_linked_list_size) {
498 EXPECT_EQ(cx_linked_list_size(nullptr, loc_next), 0);
500 {
501 auto testdata = create_nodes_test_data(5);
502 EXPECT_EQ(cx_linked_list_size(testdata.begin, loc_next), 5);
503 }
505 {
506 auto testdata = create_nodes_test_data(13);
507 EXPECT_EQ(cx_linked_list_size(testdata.begin, loc_next), 13);
508 }
509 }
511 TEST(LinkedList_LowLevel, cx_linked_list_sort) {
512 int_test_data<1500> testdata;
513 std::array<int, 1500> sorted{};
514 std::partial_sort_copy(testdata.data.begin(), testdata.data.end(), sorted.begin(), sorted.end());
516 auto scrambled = create_nodes_test_data(testdata.data.begin(), testdata.data.end());
517 void *begin = scrambled.begin;
518 void *end = cx_linked_list_last(begin, loc_next);
520 cx_linked_list_sort(&begin, &end, loc_prev, loc_next, loc_data,
521 false, cx_cmp_int);
523 node *check = reinterpret_cast<node *>(begin);
524 node *check_last = nullptr;
525 cx_for_n (i, sorted.size()) {
526 EXPECT_EQ(check->data, sorted[i]);
527 EXPECT_EQ(check->prev, check_last);
528 if (i < sorted.size() - 1) {
529 ASSERT_NE(check->next, nullptr);
530 }
531 check_last = check;
532 check = check->next;
533 }
534 EXPECT_EQ(check, nullptr);
535 EXPECT_EQ(end, check_last);
536 }
538 TEST(LinkedList_LowLevel, cx_linked_list_reverse) {
539 auto testdata = create_nodes_test_data({2, 4, 6, 8});
540 auto expected = create_nodes_test_data({8, 6, 4, 2});
542 auto begin = reinterpret_cast<void *>(testdata.begin);
543 auto end = cx_linked_list_last(begin, loc_next);
544 auto orig_begin = begin, orig_end = end;
546 cx_linked_list_reverse(&begin, &end, loc_prev, loc_next);
547 EXPECT_EQ(end, orig_begin);
548 EXPECT_EQ(begin, orig_end);
549 EXPECT_EQ(cx_linked_list_compare(begin, expected.begin, loc_next, loc_data, false, false, cx_cmp_int), 0);
550 }
552 class HighLevelTest : public ::testing::Test {
553 mutable std::unordered_set<CxList *> lists;
554 protected:
555 CxTestingAllocator testingAllocator;
557 void TearDown() override {
558 for (auto &&l: lists) cxListDestroy(l);
559 EXPECT_TRUE(testingAllocator.verify());
560 }
562 static constexpr size_t testdata_len = 250;
563 int_test_data<testdata_len> testdata;
565 auto autofree(CxList *list) const -> CxList * {
566 lists.insert(list);
567 return list;
568 }
570 auto linkedListFromTestData() const -> CxList * {
571 return autofree(
572 cxLinkedListFromArray(
573 &testingAllocator,
574 cx_cmp_int,
575 sizeof(int),
576 testdata_len,
577 testdata.data.data()
578 )
579 );
580 }
582 auto pointerLinkedListFromTestData() const -> CxList * {
583 auto list = autofree(cxPointerLinkedListCreate(&testingAllocator, cx_cmp_int));
584 cx_for_n(i, testdata_len) cxListAdd(list, &testdata.data[i]);
585 return list;
586 }
588 void verifyCreate(CxList *list) const {
589 EXPECT_EQ(list->content_destructor_type, CX_DESTRUCTOR_NONE);
590 EXPECT_EQ(list->size, 0);
591 EXPECT_EQ(list->capacity, (size_t) -1);
592 EXPECT_EQ(list->allocator, &testingAllocator);
593 EXPECT_EQ(list->cmpfunc, cx_cmp_int);
594 }
596 void verifyAdd(
597 CxList *list,
598 bool write_through
599 ) {
600 auto len = testdata_len;
601 cx_for_n (i, len) EXPECT_EQ(cxListAdd(list, &testdata.data[i]), 0);
602 EXPECT_EQ(list->size, len);
603 EXPECT_GE(list->capacity, list->size);
604 cx_for_n (i, len) EXPECT_EQ(*(int *) cxListAt(list, i), testdata.data[i]);
605 cx_for_n (i, len) ++testdata.data[i];
606 if (write_through) {
607 cx_for_n (i, len) EXPECT_EQ(*(int *) cxListAt(list, i), testdata.data[i]);
608 } else {
609 cx_for_n (i, len) EXPECT_EQ(*(int *) cxListAt(list, i), testdata.data[i] - 1);
610 }
611 }
613 static void verifyInsert(CxList *list) {
614 int a = 5, b = 47, c = 13, d = 42;
616 EXPECT_NE(cxListInsert(list, 1, &a), 0);
617 EXPECT_EQ(list->size, 0);
618 EXPECT_EQ(cxListInsert(list, 0, &a), 0);
619 EXPECT_EQ(list->size, 1);
620 EXPECT_EQ(cxListInsert(list, 0, &b), 0);
621 EXPECT_EQ(list->size, 2);
622 EXPECT_EQ(cxListInsert(list, 1, &c), 0);
623 EXPECT_EQ(list->size, 3);
624 EXPECT_EQ(cxListInsert(list, 3, &d), 0);
626 EXPECT_EQ(list->size, 4);
627 EXPECT_GE(list->capacity, list->size);
629 EXPECT_EQ(*(int *) cxListAt(list, 0), 47);
630 EXPECT_EQ(*(int *) cxListAt(list, 1), 13);
631 EXPECT_EQ(*(int *) cxListAt(list, 2), 5);
632 EXPECT_EQ(*(int *) cxListAt(list, 3), 42);
633 }
635 void verifyRemove(CxList *list) const {
636 EXPECT_EQ(cxListRemove(list, 2), 0);
637 EXPECT_EQ(cxListRemove(list, 4), 0);
638 EXPECT_EQ(list->size, testdata_len - 2);
639 EXPECT_GE(list->capacity, list->size);
640 EXPECT_EQ(*(int *) cxListAt(list, 0), testdata.data[0]);
641 EXPECT_EQ(*(int *) cxListAt(list, 1), testdata.data[1]);
642 EXPECT_EQ(*(int *) cxListAt(list, 2), testdata.data[3]);
643 EXPECT_EQ(*(int *) cxListAt(list, 3), testdata.data[4]);
644 EXPECT_EQ(*(int *) cxListAt(list, 4), testdata.data[6]);
646 EXPECT_EQ(cxListRemove(list, 0), 0);
647 EXPECT_EQ(list->size, testdata_len - 3);
648 EXPECT_GE(list->capacity, list->size);
649 EXPECT_EQ(*(int *) cxListAt(list, 0), testdata.data[1]);
650 EXPECT_EQ(*(int *) cxListAt(list, 1), testdata.data[3]);
652 EXPECT_NE(cxListRemove(list, testdata_len), 0);
653 }
655 void verifyAt(CxList *list) const {
656 auto len = testdata_len;
657 EXPECT_EQ(list->size, len);
658 cx_for_n (i, len) {
659 EXPECT_EQ(*(int *) cxListAt(list, i), testdata.data[i]);
660 }
661 EXPECT_EQ(cxListAt(list, list->size), nullptr);
662 }
664 void verifyFind(CxList *list) const {
665 cx_for_n (attempt, 25) {
666 size_t exp = rand() % testdata_len; // NOLINT(cert-msc50-cpp)
667 int val = testdata.data[exp];
668 // randomly picked number could occur earlier in list - find first position
669 cx_for_n (i, exp) {
670 if (testdata.data[i] == val) {
671 exp = i;
672 break;
673 }
674 }
675 EXPECT_EQ(cxListFind(list, &val), exp);
676 }
677 }
679 void verifySort(CxList *list) const {
680 std::array<int, testdata_len> expected{};
681 std::partial_sort_copy(testdata.data.begin(), testdata.data.end(), expected.begin(), expected.end());
682 cxListSort(list);
683 cx_for_n (i, testdata_len) ASSERT_EQ(*(int *) cxListAt(list, i), expected[i]);
684 }
686 void verifyIterator(CxList *list) const {
687 int i = 0;
688 CxIterator iter = cxListBegin(list);
689 cx_foreach(int*, x, iter) {
690 ASSERT_EQ(iter.index, (size_t) (i + 1) / 2);
691 ASSERT_EQ(*x, testdata.data[i]);
692 if (i % 2 == 1) iter.remove = true;
693 i++;
694 }
695 auto len = testdata_len;
696 EXPECT_EQ(i, len);
697 ASSERT_EQ(list->size, len / 2);
698 cx_for_n(j, len / 2) ASSERT_EQ(*(int *) cxListAt(list, j), testdata.data[j * 2]);
699 }
701 static void verifyInsertViaIterator(CxList *list) {
702 int newdata[] = {10, 20, 30, 40, 50};
704 CxIterator iter = cxListIterator(list, 2);
705 EXPECT_TRUE(cxIteratorValid(&iter));
706 EXPECT_EQ(iter.index, 2);
707 EXPECT_EQ(*(int *) cxIteratorCurrent(&iter), 2);
708 cxListInsertAfter(&iter, &newdata[0]);
709 EXPECT_TRUE(cxIteratorValid(&iter));
710 EXPECT_EQ(iter.index, 2);
711 EXPECT_EQ(*(int *) cxIteratorCurrent(&iter), 2);
712 cxListInsertBefore(&iter, &newdata[1]);
713 EXPECT_TRUE(cxIteratorValid(&iter));
714 EXPECT_EQ(iter.index, 3);
715 EXPECT_EQ(*(int *) cxIteratorCurrent(&iter), 2);
717 iter = cxListBegin(list);
718 cxListInsertBefore(&iter, &newdata[2]);
719 EXPECT_TRUE(cxIteratorValid(&iter));
720 EXPECT_EQ(iter.index, 1);
721 EXPECT_EQ(*(int *) cxIteratorCurrent(&iter), 0);
722 iter = cxListIterator(list, list->size);
723 cxListInsertBefore(&iter, &newdata[3]);
724 EXPECT_FALSE(cxIteratorValid(&iter));
725 EXPECT_EQ(iter.index, 9);
726 iter = cxListIterator(list, list->size);
727 cxListInsertAfter(&iter, &newdata[4]);
728 EXPECT_FALSE(cxIteratorValid(&iter));
729 EXPECT_EQ(iter.index, 10);
731 int expdata[] = {30, 0, 1, 20, 2, 10, 3, 4, 40, 50};
732 cx_for_n (j, 10) EXPECT_EQ(*(int *) cxListAt(list, j), expdata[j]);
733 }
735 void verifyReverse(CxList *list) const {
736 cxListReverse(list);
737 cx_for_n(i, testdata_len) {
738 ASSERT_EQ(*(int *) cxListAt(list, i), testdata.data[testdata_len - 1 - i]);
739 }
740 }
742 static void verifyCompare(
743 CxList *left,
744 CxList *right
745 ) {
746 EXPECT_EQ(cxListCompare(left, right), 0);
747 int x = 42;
748 cxListAdd(left, &x);
749 ASSERT_GT(left->size, right->size);
750 EXPECT_GT(cxListCompare(left, right), 0);
751 EXPECT_LT(cxListCompare(right, left), 0);
752 cxListAdd(right, &x);
753 ASSERT_EQ(left->size, right->size);
754 EXPECT_EQ(cxListCompare(left, right), 0);
755 int a = 5, b = 10;
756 cxListInsert(left, 15, &a);
757 cxListInsert(right, 15, &b);
758 ASSERT_EQ(left->size, right->size);
759 EXPECT_LT(cxListCompare(left, right), 0);
760 EXPECT_GT(cxListCompare(right, left), 0);
761 *(int *) cxListAt(left, 15) = 10;
762 EXPECT_EQ(cxListCompare(left, right), 0);
763 }
764 };
766 class LinkedList : public HighLevelTest {
767 };
769 class PointerLinkedList : public HighLevelTest {
770 };
772 TEST_F(LinkedList, cxLinkedListCreate) {
773 CxList *list = autofree(cxLinkedListCreate(&testingAllocator, cx_cmp_int, sizeof(int)));
774 EXPECT_EQ(list->itemsize, sizeof(int));
775 verifyCreate(list);
776 }
778 TEST_F(PointerLinkedList, cxPointerLinkedListCreate) {
779 CxList *list = autofree(cxPointerLinkedListCreate(&testingAllocator, cx_cmp_int));
780 EXPECT_EQ(list->itemsize, sizeof(void *));
781 verifyCreate(list);
782 }
784 TEST_F(LinkedList, cxLinkedListFromArray) {
785 CxList *expected = autofree(cxLinkedListCreate(&testingAllocator, cx_cmp_int, sizeof(int)));
786 cx_for_n (i, testdata_len) cxListAdd(expected, &testdata.data[i]);
787 CxList *list = autofree(cxLinkedListFromArray(&testingAllocator, cx_cmp_int, sizeof(int),
788 testdata_len, testdata.data.data()));
789 EXPECT_EQ(cxListCompare(list, expected), 0);
790 }
792 TEST_F(LinkedList, cxListAdd) {
793 CxList *list = autofree(cxLinkedListCreate(&testingAllocator, cx_cmp_int, sizeof(int)));
794 verifyAdd(list, false);
795 }
797 TEST_F(PointerLinkedList, cxListAdd) {
798 CxList *list = autofree(cxPointerLinkedListCreate(&testingAllocator, cx_cmp_int));
799 verifyAdd(list, true);
800 }
802 TEST_F(LinkedList, cxListInsert) {
803 verifyInsert(autofree(cxLinkedListCreate(&testingAllocator, cx_cmp_int, sizeof(int))));
804 }
806 TEST_F(PointerLinkedList, cxListInsert) {
807 verifyInsert(autofree(cxPointerLinkedListCreate(&testingAllocator, cx_cmp_int)));
808 }
810 TEST_F(LinkedList, cxListRemove) {
811 verifyRemove(linkedListFromTestData());
812 }
814 TEST_F(PointerLinkedList, cxListRemove) {
815 verifyRemove(pointerLinkedListFromTestData());
816 }
818 TEST_F(LinkedList, cxListAt) {
819 verifyAt(linkedListFromTestData());
820 }
822 TEST_F(PointerLinkedList, cxListAt) {
823 verifyAt(pointerLinkedListFromTestData());
824 }
826 TEST_F(LinkedList, cxListFind) {
827 verifyFind(linkedListFromTestData());
828 }
830 TEST_F(PointerLinkedList, cxListFind) {
831 verifyFind(pointerLinkedListFromTestData());
832 }
834 TEST_F(LinkedList, cxListSort) {
835 verifySort(linkedListFromTestData());
836 }
838 TEST_F(PointerLinkedList, cxListSort) {
839 verifySort(pointerLinkedListFromTestData());
840 }
842 TEST_F(LinkedList, Iterator) {
843 verifyIterator(linkedListFromTestData());
844 }
846 TEST_F(PointerLinkedList, Iterator) {
847 verifyIterator(pointerLinkedListFromTestData());
848 }
850 TEST_F(LinkedList, InsertViaIterator) {
851 int fivenums[] = {0, 1, 2, 3, 4, 5};
852 CxList *list = autofree(cxLinkedListFromArray(&testingAllocator, cx_cmp_int, sizeof(int), 5, fivenums));
853 verifyInsertViaIterator(list);
854 }
856 TEST_F(PointerLinkedList, InsertViaIterator) {
857 int fivenums[] = {0, 1, 2, 3, 4, 5};
858 CxList *list = autofree(cxPointerLinkedListCreate(&testingAllocator, cx_cmp_int));
859 cx_for_n (i, 5) cxListAdd(list, &fivenums[i]);
860 verifyInsertViaIterator(list);
861 }
863 TEST_F(LinkedList, cxListReverse) {
864 verifyReverse(linkedListFromTestData());
865 }
867 TEST_F(PointerLinkedList, cxListReverse) {
868 verifyReverse(pointerLinkedListFromTestData());
869 }
871 TEST_F(LinkedList, cxListCompare) {
872 auto left = linkedListFromTestData();
873 auto right = linkedListFromTestData();
874 verifyCompare(left, right);
875 }
877 TEST_F(LinkedList, cxListCompareWithPtrList) {
878 auto left = linkedListFromTestData();
879 auto right = pointerLinkedListFromTestData();
880 verifyCompare(left, right);
881 }
883 TEST_F(PointerLinkedList, cxListCompare) {
884 auto left = pointerLinkedListFromTestData();
885 auto right = pointerLinkedListFromTestData();
886 verifyCompare(left, right);
887 }
889 TEST_F(PointerLinkedList, cxListCompareWithNormalList) {
890 auto left = pointerLinkedListFromTestData();
891 auto right = linkedListFromTestData();
892 verifyCompare(left, right);
893 }
895 TEST_F(PointerLinkedList, NoDestructor) {
896 void *item = cxMalloc(&testingAllocator, sizeof(int));
897 auto list = cxPointerLinkedListCreate(cxDefaultAllocator, cx_cmp_int);
898 cxListAdd(list, item);
899 ASSERT_FALSE(testingAllocator.verify());
900 cxListDestroy(list);
901 EXPECT_FALSE(testingAllocator.verify());
902 cxFree(&testingAllocator, item);
903 EXPECT_TRUE(testingAllocator.verify());
904 }
906 TEST_F(PointerLinkedList, SimpleDestructor) {
907 int item = 0;
908 auto list = cxPointerLinkedListCreate(cxDefaultAllocator, cx_cmp_int);
909 list->content_destructor_type = CX_DESTRUCTOR_SIMPLE;
910 list->simple_destructor = [](void *elem) { *(int *) elem = 42; };
911 cxListAdd(list, &item);
912 cxListDestroy(list);
913 EXPECT_EQ(item, 42);
914 }
916 TEST_F(PointerLinkedList, AdvancedDestructor) {
917 void *item = cxMalloc(&testingAllocator, sizeof(int));
918 auto list = cxPointerLinkedListCreate(cxDefaultAllocator, cx_cmp_int);
919 list->content_destructor_type = CX_DESTRUCTOR_ADVANCED;
920 list->advanced_destructor.data = &testingAllocator;
921 list->advanced_destructor.func = (cx_destructor_func2) cxFree;
922 cxListAdd(list, item);
923 ASSERT_FALSE(testingAllocator.verify());
924 cxListDestroy(list);
925 EXPECT_TRUE(testingAllocator.verify());
926 }
