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
|
//
// zug: transducers for C++
// Copyright (C) 2019 Juan Pedro Bolivar Puente
//
// This software is distributed under the Boost Software License, Version 1.0.
// See accompanying file LICENSE or copy at http://boost.org/LICENSE_1_0.txt
//
#include <catch2/catch.hpp>
#include <zug/reduce.hpp>
#include <zug/reducing/first.hpp>
#include <zug/reducing/last.hpp>
#include <zug/state_wrapper.hpp>
#include "spies.hpp"
TEST_CASE("reduce protects against moved self assignment")
{
auto v = std::vector<int>{1, 2, 3, 6};
CHECK(zug::reduce(zug::first, v, v) == v);
}
namespace {
struct non_default
{
non_default() = delete;
explicit non_default(int) {}
non_default(const non_default&) = default;
non_default(non_default&&) = default;
non_default& operator=(const non_default&) = default;
non_default& operator=(non_default&&) = default;
};
struct foo_tag
{};
template<typename T>
constexpr auto foo(T step)
{
return [=](auto&& s, auto&&... is) {
return zug::wrap_state<foo_tag>(
step(zug::state_unwrap(ZUG_FWD(s)), ZUG_FWD(is)...),
non_default{42});
};
}
} // namespace
TEST_CASE("reduce does not construct state wrapper from state")
{
auto v = std::vector<int>{1, 2, 3, 6};
auto r = zug::reduce(foo(zug::first), 13, v);
CHECK(r == 13);
}
TEST_CASE("reduce copies values out of lvalue container")
{
using elem = testing::copy_spy<>;
auto x = elem{};
auto v = std::vector<elem>{x, x, x, x};
auto copies = x.copied.count();
zug::reduce(zug::last, x, v);
CHECK(x.copied.count() == copies + 4);
}
TEST_CASE("reduce moves values out of rvalue container")
{
using elem = testing::copy_spy<>;
auto x = elem{};
auto v = std::vector<elem>{x, x, x, x};
auto copies = x.copied.count();
zug::reduce(zug::last, std::move(x), std::move(v));
CHECK(x.copied.count() == copies);
}
TEST_CASE("moves values out of rvalue container variadic")
{
using elem = testing::copy_spy<>;
auto x = elem{};
auto v1 = std::vector<elem>{x, x, x, x};
auto v2 = v1;
auto init = std::make_tuple(x, x);
auto copies = x.copied.count();
zug::reduce(zug::last, std::move(init), std::move(v1), std::move(v2));
CHECK(x.copied.count() == copies);
}
|
