forked from ryanhaining/cppitertools
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathtest_dropwhile.cpp
More file actions
123 lines (105 loc) · 3.41 KB
/
Copy pathtest_dropwhile.cpp
File metadata and controls
123 lines (105 loc) · 3.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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
#include <dropwhile.hpp>
#include "helpers.hpp"
#include <vector>
#include <string>
#include <iterator>
#include "catch.hpp"
using iter::dropwhile;
using Vec = const std::vector<int>;
TEST_CASE("dropwhile: skips initial elements", "[dropwhile]") {
Vec ns{1, 2, 3, 4, 5, 6, 7, 8};
std::vector<int> v;
SECTION("Normal call") {
auto d = dropwhile([](int i) { return i < 5; }, ns);
v.assign(std::begin(d), std::end(d));
}
SECTION("Pipe") {
auto d = ns | dropwhile([](int i) { return i < 5; });
v.assign(std::begin(d), std::end(d));
}
Vec vc = {5, 6, 7, 8};
REQUIRE(v == vc);
}
TEST_CASE("dropwhile: doesn't skip anything if it shouldn't", "[dropwhile]") {
Vec ns{3, 4, 5, 6};
auto d = dropwhile([](int i) { return i < 3; }, ns);
Vec v(std::begin(d), std::end(d));
Vec vc = {3, 4, 5, 6};
REQUIRE(v == vc);
}
TEST_CASE("dropwhile: skips all elements when all are true under predicate",
"[dropwhile]") {
Vec ns{3, 4, 5, 6};
auto d = dropwhile([](int i) { return i != 0; }, ns);
REQUIRE(std::begin(d) == std::end(d));
}
TEST_CASE("dropwhile: identity", "[dropwhile]") {
Vec ns {1, 2, 0, 3, 1, 0};
auto d = dropwhile(ns);
Vec v(std::begin(d), std::end(d));
Vec vc = {0, 3, 1, 0};
REQUIRE(v == vc);
}
TEST_CASE("dropwhile: empty case is empty", "[dropwhile]") {
Vec ns{};
auto d = dropwhile([](int i) { return i != 0; }, ns);
REQUIRE(std::begin(d) == std::end(d));
}
TEST_CASE("dropwhile: only drops from beginning", "[dropwhile]") {
Vec ns{1, 2, 3, 4, 5, 6, 5, 4, 3, 2, 1};
auto d = dropwhile([](int i) { return i < 5; }, ns);
Vec v(std::begin(d), std::end(d));
Vec vc = {5, 6, 5, 4, 3, 2, 1};
REQUIRE(v == vc);
}
TEST_CASE("dropwhile: operator->", "[dropwhile]") {
std::vector<std::string> vs = {"a", "ab", "abcdef", "abcdefghi"};
auto d = dropwhile([](const std::string& str) { return str.size() < 3; }, vs);
auto it = std::begin(d);
REQUIRE(it->size() == 6);
}
namespace {
int less_than_five(int i) {
return i < 5;
}
}
TEST_CASE("dropwhile: works with function pointer", "[dropwhile]") {
Vec ns{1, 2, 3, 4, 5, 6, 7, 8};
auto d = dropwhile(less_than_five, ns);
Vec v(std::begin(d), std::end(d));
Vec vc = {5, 6, 7, 8};
REQUIRE(v == vc);
}
TEST_CASE("dropwhile: binds to lvalues, moves rvalues", "[dropwhile]") {
itertest::BasicIterable<int> bi{1, 2, 3, 4};
SECTION("binds to lvalues") {
dropwhile(less_than_five, bi);
REQUIRE_FALSE(bi.was_moved_from());
}
SECTION("moves rvalues") {
dropwhile(less_than_five, std::move(bi));
REQUIRE(bi.was_moved_from());
}
}
TEST_CASE(
"dropwhile: doesn't move or copy elements of iterable", "[dropwhile]") {
constexpr itertest::SolidInt arr[] = {{6}, {7}, {8}};
for (auto&& i :
dropwhile([](const itertest::SolidInt&) { return false; }, arr)) {
(void)i;
}
}
TEST_CASE("dropwhile: iterator meets requirements", "[dropwhile]") {
std::string s{};
auto c = dropwhile([] { return true; }, s);
REQUIRE(itertest::IsIterator<decltype(std::begin(c))>::value);
}
template <typename T, typename U>
using ImpT = decltype(dropwhile(std::declval<T>(), std::declval<U>()));
TEST_CASE("dropwhile: has correct ctor and assign ops", "[dropwhile]") {
using T1 = ImpT<bool (*)(char c), std::string&>;
auto lam = [](char) { return false; };
using T2 = ImpT<decltype(lam), std::string>;
REQUIRE(itertest::IsMoveConstructibleOnly<T1>::value);
REQUIRE(itertest::IsMoveConstructibleOnly<T2>::value);
}