Repository navigation
Expand file tree
/
Copy pathtest_unique_everseen.cpp
More file actions
87 lines (73 loc) · 2.41 KB
/
Copy pathtest_unique_everseen.cpp
File metadata and controls
87 lines (73 loc) · 2.41 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
#include <unique_everseen.hpp>
#include "helpers.hpp"
#include <iterator>
#include <string>
#include <vector>
#include "catch.hpp"
using iter::unique_everseen;
using Vec = const std::vector<int>;
TEST_CASE("unique everseen: adjacent repeating values", "[unique_everseen]") {
Vec ns = {1, 1, 1, 2, 2, 3, 4, 4, 5, 6, 7, 8, 8, 8, 8, 9, 9};
auto ue = unique_everseen(ns);
Vec v(std::begin(ue), std::end(ue));
Vec vc = {1, 2, 3, 4, 5, 6, 7, 8, 9};
REQUIRE(v == vc);
}
TEST_CASE("unique everseen: const iteration", "[unique_everseen][const]") {
Vec ns = {1, 1, 1, 2, 2, 3, 4, 4, 5, 6, 7, 8, 8, 8, 8, 9, 9};
const auto ue = unique_everseen(ns);
Vec v(std::begin(ue), std::end(ue));
Vec vc = {1, 2, 3, 4, 5, 6, 7, 8, 9};
REQUIRE(v == vc);
}
TEST_CASE(
"unique everseen: const iterators can be compared to non-const iterators",
"[unique_everseen][const]") {
auto ue = unique_everseen(std::vector<int>{});
const auto& cue = ue;
(void)(std::begin(ue) == std::end(cue));
}
TEST_CASE(
"unique everseen: nonadjacent repeating values", "[unique_everseen]") {
Vec ns = {1, 2, 3, 4, 3, 2, 1, 5, 6};
std::vector<int> v;
SECTION("Normal call") {
auto ue = unique_everseen(ns);
v.assign(std::begin(ue), std::end(ue));
}
SECTION("Pipe") {
auto ue = ns | unique_everseen;
v.assign(std::begin(ue), std::end(ue));
}
Vec vc = {1, 2, 3, 4, 5, 6};
REQUIRE(v == vc);
}
TEST_CASE(
"unique everseen: moves rvalues, binds to lvalues", "[unique_everseen]") {
itertest::BasicIterable<int> bi{1, 2};
unique_everseen(bi);
REQUIRE_FALSE(bi.was_moved_from());
unique_everseen(std::move(bi));
REQUIRE(bi.was_moved_from());
}
TEST_CASE("unique everseen: Works with different begin and end types",
"[unique_everseen]") {
CharRange cr{'d'};
using VecC = std::vector<char>;
auto ue = unique_everseen(cr);
VecC v(ue.begin(), ue.end());
VecC vc{'a', 'b', 'c'};
REQUIRE(v == vc);
}
TEST_CASE("unique_everseen: iterator meets requirements", "[unique_everseen]") {
std::string s{};
auto c = unique_everseen(s);
REQUIRE(itertest::IsIterator<decltype(std::begin(c))>::value);
}
template <typename T>
using ImpT = decltype(unique_everseen(std::declval<T>()));
TEST_CASE(
"unique_everseen: has correct ctor and assign ops", "[unique_everseen]") {
REQUIRE(itertest::IsMoveConstructibleOnly<ImpT<std::string&>>::value);
REQUIRE(itertest::IsMoveConstructibleOnly<ImpT<std::string>>::value);
}