|
12 | 12 | // constexpr OutIter // constexpr after C++17 |
13 | 13 | // copy(InIter first, InIter last, OutIter result); |
14 | 14 |
|
| 15 | +// XFAIL: FROZEN-CXX03-HEADERS-FIXME |
| 16 | + |
15 | 17 | #include <algorithm> |
16 | 18 | #include <cassert> |
17 | 19 | #include <vector> |
18 | 20 |
|
| 21 | +#include "sized_allocator.h" |
19 | 22 | #include "test_macros.h" |
20 | 23 | #include "test_iterators.h" |
21 | 24 | #include "type_algorithms.h" |
@@ -109,6 +112,152 @@ TEST_CONSTEXPR_CXX20 bool test() { |
109 | 112 | assert(test_vector_bool(256)); |
110 | 113 | } |
111 | 114 |
|
| 115 | + // Validate std::copy with std::vector<bool> iterators and custom storage types. |
| 116 | + // Ensure that assigned bits hold the intended values, while unassigned bits stay unchanged. |
| 117 | + { |
| 118 | + //// Tests for std::copy with aligned bits |
| 119 | + |
| 120 | + { // Test the first (partial) word for uint8_t |
| 121 | + using Alloc = sized_allocator<bool, std::uint8_t, std::int8_t>; |
| 122 | + std::vector<bool, Alloc> in(8, false, Alloc(1)); |
| 123 | + std::vector<bool, Alloc> out(8, true, Alloc(1)); |
| 124 | + std::copy(in.begin() + 1, in.begin() + 2, out.begin() + 1); // out[1] = false |
| 125 | + assert(out[1] == false); |
| 126 | + for (std::size_t i = 0; i < out.size(); ++i) // Ensure that unassigned bits remain unchanged |
| 127 | + if (i != 1) |
| 128 | + assert(out[i] == true); |
| 129 | + } |
| 130 | + { // Test the last (partial) word for uint8_t |
| 131 | + using Alloc = sized_allocator<bool, std::uint8_t, std::int8_t>; |
| 132 | + std::vector<bool, Alloc> in(8, false, Alloc(1)); |
| 133 | + std::vector<bool, Alloc> out(8, true, Alloc(1)); |
| 134 | + std::copy(in.begin(), in.begin() + 1, out.begin()); // out[0] = false |
| 135 | + assert(out[0] == false); |
| 136 | + for (std::size_t i = 1; i < out.size(); ++i) // Ensure that unassigned bits remain unchanged |
| 137 | + assert(out[i] == true); |
| 138 | + } |
| 139 | + { // Test middle (whole) words for uint8_t |
| 140 | + using Alloc = sized_allocator<bool, std::uint8_t, std::int8_t>; |
| 141 | + std::vector<bool, Alloc> in(32, true, Alloc(1)); |
| 142 | + for (std::size_t i = 0; i < in.size(); i += 2) |
| 143 | + in[i] = false; |
| 144 | + std::vector<bool, Alloc> out(32, false, Alloc(1)); |
| 145 | + std::copy(in.begin() + 4, in.end() - 4, out.begin() + 4); |
| 146 | + for (std::size_t i = 4; i < static_cast<std::size_t>(in.size() - 4); ++i) |
| 147 | + assert(in[i] == out[i]); |
| 148 | + for (std::size_t i = 0; i < 4; ++i) |
| 149 | + assert(out[i] == false); |
| 150 | + for (std::size_t i = 28; i < out.size(); ++i) |
| 151 | + assert(out[i] == false); |
| 152 | + } |
| 153 | + |
| 154 | + { // Test the first (partial) word for uint16_t |
| 155 | + using Alloc = sized_allocator<bool, std::uint16_t, std::int16_t>; |
| 156 | + std::vector<bool, Alloc> in(16, false, Alloc(1)); |
| 157 | + std::vector<bool, Alloc> out(16, true, Alloc(1)); |
| 158 | + std::copy(in.begin() + 1, in.begin() + 3, out.begin() + 1); // out[1..2] = false |
| 159 | + assert(out[1] == false); |
| 160 | + assert(out[2] == false); |
| 161 | + for (std::size_t i = 0; i < out.size(); ++i) // Ensure that unassigned bits remain unchanged |
| 162 | + if (i != 1 && i != 2) |
| 163 | + assert(out[i] == true); |
| 164 | + } |
| 165 | + { // Test the last (partial) word for uint16_t |
| 166 | + using Alloc = sized_allocator<bool, std::uint16_t, std::int16_t>; |
| 167 | + std::vector<bool, Alloc> in(16, false, Alloc(1)); |
| 168 | + std::vector<bool, Alloc> out(16, true, Alloc(1)); |
| 169 | + std::copy(in.begin(), in.begin() + 2, out.begin()); // out[0..1] = false |
| 170 | + assert(out[0] == false); |
| 171 | + assert(out[1] == false); |
| 172 | + for (std::size_t i = 2; i < out.size(); ++i) // Ensure that unassigned bits remain unchanged |
| 173 | + assert(out[i] == true); |
| 174 | + } |
| 175 | + { // Test middle (whole) words for uint16_t |
| 176 | + using Alloc = sized_allocator<bool, std::uint16_t, std::int16_t>; |
| 177 | + std::vector<bool, Alloc> in(64, true, Alloc(1)); |
| 178 | + for (std::size_t i = 0; i < in.size(); i += 2) |
| 179 | + in[i] = false; |
| 180 | + std::vector<bool, Alloc> out(64, false, Alloc(1)); |
| 181 | + std::copy(in.begin() + 8, in.end() - 8, out.begin() + 8); |
| 182 | + for (std::size_t i = 8; i < static_cast<std::size_t>(in.size() - 8); ++i) |
| 183 | + assert(in[i] == out[i]); |
| 184 | + for (std::size_t i = 0; i < 8; ++i) |
| 185 | + assert(out[i] == false); |
| 186 | + for (std::size_t i = static_cast<std::size_t>(out.size() - 8); i < out.size(); ++i) |
| 187 | + assert(out[i] == false); |
| 188 | + } |
| 189 | + |
| 190 | + //// Tests for std::copy with unaligned bits |
| 191 | + |
| 192 | + { // Test the first (partial) word for uint8_t |
| 193 | + using Alloc = sized_allocator<bool, std::uint8_t, std::int8_t>; |
| 194 | + std::vector<bool, Alloc> in(8, false, Alloc(1)); |
| 195 | + std::vector<bool, Alloc> out(8, true, Alloc(1)); |
| 196 | + std::copy(in.begin() + 7, in.end(), out.begin()); // out[0] = false |
| 197 | + assert(out[0] == false); |
| 198 | + for (std::size_t i = 1; i < out.size(); ++i) // Ensure that unassigned bits remain unchanged |
| 199 | + assert(out[i] == true); |
| 200 | + } |
| 201 | + { // Test the last (partial) word for uint8_t |
| 202 | + using Alloc = sized_allocator<bool, std::uint8_t, std::int8_t>; |
| 203 | + std::vector<bool, Alloc> in(8, false, Alloc(1)); |
| 204 | + std::vector<bool, Alloc> out(8, true, Alloc(1)); |
| 205 | + std::copy(in.begin(), in.begin() + 1, out.begin() + 2); // out[2] = false |
| 206 | + assert(out[2] == false); |
| 207 | + for (std::size_t i = 1; i < out.size(); ++i) // Ensure that unassigned bits remain unchanged |
| 208 | + if (i != 2) |
| 209 | + assert(out[i] == true); |
| 210 | + } |
| 211 | + { // Test middle (whole) words for uint8_t |
| 212 | + using Alloc = sized_allocator<bool, std::uint8_t, std::int8_t>; |
| 213 | + std::vector<bool, Alloc> in(36, true, Alloc(1)); |
| 214 | + for (std::size_t i = 0; i < in.size(); i += 2) |
| 215 | + in[i] = false; |
| 216 | + std::vector<bool, Alloc> out(40, false, Alloc(1)); |
| 217 | + std::copy(in.begin(), in.end(), out.begin() + 4); |
| 218 | + for (std::size_t i = 0; i < in.size(); ++i) |
| 219 | + assert(in[i] == out[i + 4]); |
| 220 | + for (std::size_t i = 0; i < 4; ++i) |
| 221 | + assert(out[i] == false); |
| 222 | + } |
| 223 | + |
| 224 | + { // Test the first (partial) word for uint16_t |
| 225 | + using Alloc = sized_allocator<bool, std::uint16_t, std::int16_t>; |
| 226 | + std::vector<bool, Alloc> in(16, false, Alloc(1)); |
| 227 | + std::vector<bool, Alloc> out(16, true, Alloc(1)); |
| 228 | + std::copy(in.begin() + 14, in.end(), out.begin()); // out[0..1] = false |
| 229 | + assert(out[0] == false); |
| 230 | + assert(out[1] == false); |
| 231 | + for (std::size_t i = 2; i < out.size(); ++i) // Ensure that unassigned bits remain unchanged |
| 232 | + assert(out[i] == true); |
| 233 | + } |
| 234 | + { // Test the last (partial) word for uint16_t |
| 235 | + using Alloc = sized_allocator<bool, std::uint16_t, std::int16_t>; |
| 236 | + std::vector<bool, Alloc> in(16, false, Alloc(1)); |
| 237 | + std::vector<bool, Alloc> out(16, true, Alloc(1)); |
| 238 | + std::copy(in.begin(), in.begin() + 2, out.begin() + 1); // out[1..2] = false |
| 239 | + assert(out[1] == false); |
| 240 | + assert(out[2] == false); |
| 241 | + for (std::size_t i = 0; i < out.size(); ++i) // Ensure that unassigned bits remain unchanged |
| 242 | + if (i != 1 && i != 2) |
| 243 | + assert(out[i] == true); |
| 244 | + } |
| 245 | + { // Test middle (whole) words for uint16_t |
| 246 | + using Alloc = sized_allocator<bool, std::uint16_t, std::int16_t>; |
| 247 | + std::vector<bool, Alloc> in(72, true, Alloc(1)); |
| 248 | + for (std::size_t i = 0; i < in.size(); i += 2) |
| 249 | + in[i] = false; |
| 250 | + std::vector<bool, Alloc> out(80, false, Alloc(1)); |
| 251 | + std::copy(in.begin(), in.end(), out.begin() + 4); |
| 252 | + for (std::size_t i = 0; i < in.size(); ++i) |
| 253 | + assert(in[i] == out[i + 4]); |
| 254 | + for (std::size_t i = 0; i < 4; ++i) |
| 255 | + assert(out[i] == false); |
| 256 | + for (std::size_t i = in.size() + 4; i < out.size(); ++i) |
| 257 | + assert(out[i] == false); |
| 258 | + } |
| 259 | + } |
| 260 | + |
112 | 261 | return true; |
113 | 262 | } |
114 | 263 |
|
|
0 commit comments