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
|
// Range v3 library
//
// Copyright Eric Niebler 2014-present
//
// Use, modification and distribution is subject to the
// Boost Software License, Version 1.0. (See accompanying
// file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
// Project home: https://github.com/ericniebler/range-v3
#include <map>
#include <string>
#include <vector>
#include <range/v3/core.hpp>
#include <range/v3/view/iota.hpp>
#include <range/v3/view/map.hpp>
#include <range/v3/view/zip.hpp>
#include <range/v3/utility/copy.hpp>
#include <range/v3/algorithm/find.hpp>
#include "../simple_test.hpp"
#include "../test_utils.hpp"
int main()
{
using namespace ranges;
std::map<std::string, int> m = {
{"this", 0},
{"that", 1},
{"other", 2}};
auto keys = m | views::keys;
has_type<std::string const &>(*begin(keys));
CPP_assert(view_<decltype(keys)>);
CPP_assert(sized_range<decltype(keys)>);
CPP_assert(common_range<decltype(keys)>);
CPP_assert(bidirectional_iterator<decltype(begin(keys))>);
CHECK(&*begin(keys) == &m.begin()->first);
::check_equal(keys, {"other", "that", "this"});
auto values = m | views::values;
has_type<int &>(*begin(values));
CPP_assert(sized_range<decltype(values)>);
CPP_assert(common_range<decltype(values)>);
CPP_assert(bidirectional_iterator<decltype(begin(values))>);
CHECK(&*begin(values) == &m.begin()->second);
::check_equal(values, {2, 1, 0});
{
// regression test for #526
auto f = detail::get_first{};
CPP_assert(same_as<int, decltype(f(std::declval<std::pair<int,int>>()))>);
CPP_assert(same_as<int&, decltype(f(std::declval<std::pair<int,int>&>()))>);
CPP_assert(same_as<int&, decltype(f(std::declval<std::pair<int&,int&>>()))>);
CPP_assert(same_as<int&, decltype(f(std::declval<std::pair<int&,int&>&>()))>);
CPP_assert(same_as<int, decltype(f(std::declval<std::pair<int&&,int&&>>()))>);
CPP_assert(same_as<int&, decltype(f(std::declval<std::pair<int&&,int&&>&>()))>);
std::vector<int> xs = {42, 100, -1234};
auto exs = views::zip(views::ints, xs);
::check_equal(views::keys(exs), {0, 1, 2});
}
{
std::pair<int, int> const rgp[] = {{0, 2}, {1, 1}, {2, 0}};
auto key_range = debug_input_view<std::pair<int, int> const>{rgp} | views::keys;
check_equal(key_range, {0,1,2});
auto value_range = debug_input_view<std::pair<int, int> const>{rgp} | views::values;
check_equal(value_range, {2,1,0});
}
{
auto it = find(m | views::keys, "other");
CHECK(it.base()->second == 2);
auto it2 = find(m | views::values, 1);
CHECK(it2.base()->first == "that");
}
return test_result();
}
|
