1 | //===----------------------------------------------------------------------===// |
2 | // |
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | // See https://llvm.org/LICENSE.txt for license information. |
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | // |
7 | //===----------------------------------------------------------------------===// |
8 | |
9 | // <list> |
10 | |
11 | // void remove(const value_type& value); // pre-c++20 |
12 | // size_type remove(const value_type& value); // c++20 and later |
13 | |
14 | #include <list> |
15 | #include <cassert> |
16 | |
17 | #include "test_macros.h" |
18 | #include "min_allocator.h" |
19 | |
20 | struct S { |
21 | S(int i) : i_(new int(i)) {} |
22 | S(const S &rhs) : i_(new int(*rhs.i_)) {} |
23 | S &operator=(const S &rhs) { |
24 | *i_ = *rhs.i_; |
25 | return *this; |
26 | } |
27 | ~S() { |
28 | delete i_; |
29 | i_ = NULL; |
30 | } |
31 | bool operator==(const S &rhs) const { return *i_ == *rhs.i_; } |
32 | int get() const { return *i_; } |
33 | int *i_; |
34 | }; |
35 | |
36 | int main(int, char**) { |
37 | { |
38 | int a1[] = {1, 2, 3, 4}; |
39 | int a2[] = {1, 2, 4}; |
40 | typedef std::list<int> L; |
41 | L c(a1, a1 + 4); |
42 | #if TEST_STD_VER > 17 |
43 | assert(c.remove(3) == 1); |
44 | ASSERT_SAME_TYPE(L::size_type, decltype(c.remove(3))); |
45 | #else |
46 | ASSERT_SAME_TYPE(void, decltype(c.remove(3))); |
47 | c.remove(value: 3); |
48 | #endif |
49 | |
50 | assert(c == std::list<int>(a2, a2 + 3)); |
51 | } |
52 | { // LWG issue #526 |
53 | int a1[] = {1, 2, 1, 3, 5, 8, 11}; |
54 | int a2[] = {2, 3, 5, 8, 11}; |
55 | std::list<int> c(a1, a1 + 7); |
56 | c.remove(value: c.front()); |
57 | assert(c == std::list<int>(a2, a2 + 5)); |
58 | } |
59 | { |
60 | int a1[] = {1, 2, 1, 3, 5, 8, 11, 1}; |
61 | int a2[] = {2, 3, 5, 8, 11}; |
62 | std::list<S> c; |
63 | for (int *ip = a1; ip < a1 + 8; ++ip) |
64 | c.push_back(x: S(*ip)); |
65 | #if TEST_STD_VER > 17 |
66 | assert(c.remove(c.front()) == 3); |
67 | #else |
68 | c.remove(value: c.front()); |
69 | #endif |
70 | std::list<S>::const_iterator it = c.begin(); |
71 | for (int *ip = a2; ip < a2 + 5; ++ip, ++it) { |
72 | assert(it != c.end()); |
73 | assert(*ip == it->get()); |
74 | } |
75 | assert(it == c.end()); |
76 | } |
77 | { |
78 | typedef no_default_allocator<int> Alloc; |
79 | typedef std::list<int, Alloc> List; |
80 | int a1[] = {1, 2, 3, 4}; |
81 | int a2[] = {1, 2, 4}; |
82 | List c(a1, a1 + 4, Alloc::create()); |
83 | #if TEST_STD_VER > 17 |
84 | assert(c.remove(3) == 1); |
85 | #else |
86 | c.remove(3); |
87 | #endif |
88 | assert(c == List(a2, a2 + 3, Alloc::create())); |
89 | } |
90 | #if TEST_STD_VER >= 11 |
91 | { |
92 | int a1[] = {1, 2, 3, 4}; |
93 | int a2[] = {1, 2, 4}; |
94 | std::list<int, min_allocator<int>> c(a1, a1 + 4); |
95 | #if TEST_STD_VER > 17 |
96 | assert(c.remove(3) == 1); |
97 | #else |
98 | c.remove(3); |
99 | #endif |
100 | assert((c == std::list<int, min_allocator<int>>(a2, a2 + 3))); |
101 | } |
102 | #endif |
103 | |
104 | return 0; |
105 | } |
106 | |