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
|
// Range v3 library
//
// Copyright Eric Niebler 2013-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)
//
// Acknowledgements: Thanks for Paul Fultz for the suggestions that
// concepts can be ordinary Boolean metafunctions.
//
// Project home: https://github.com/ericniebler/range-v3
//
#include <iostream>
#include <tuple>
#include <memory>
#include <vector>
#include <complex>
#include <concepts/concepts.hpp>
#include <range/v3/utility/swap.hpp>
#include <range/v3/view/zip.hpp>
#include <range/v3/range/conversion.hpp>
#include "../simple_test.hpp"
#include "../test_utils.hpp"
template<typename T>
struct S
{
T t;
};
int main()
{
int a=0,b=42;
ranges::swap(a,b);
CHECK(a == 42);
CHECK(b == 0);
CPP_assert(!ranges::swappable_with<std::pair<int,int>&&,std::pair<int,int>&&>);
CPP_assert(ranges::swappable_with<std::pair<int&,int&>&&,std::pair<int&,int&>&&>);
int c=24,d=82;
ranges::swap(std::tie(a,b),std::tie(c,d));
CHECK(a == 24);
CHECK(b == 82);
CHECK(c == 42);
CHECK(d == 0);
// Swap pairs of tuple proxies
int e=1,f=2,g=3,h=4;
ranges::swap(std::make_pair(std::tie(a,b), std::tie(c,d)), std::make_pair(std::tie(e,f), std::tie(g,h)));
CHECK(a == 1);
CHECK(b == 2);
CHECK(c == 3);
CHECK(d == 4);
CHECK(e == 24);
CHECK(f == 82);
CHECK(g == 42);
CHECK(h == 0);
#ifndef _LIBCPP_VERSION
// Swap tuples of pair proxies
ranges::swap(std::make_tuple(std::make_pair(std::ref(a),std::ref(b)), std::make_pair(std::ref(c),std::ref(d))),
std::make_tuple(std::make_pair(std::ref(e),std::ref(f)), std::make_pair(std::ref(g),std::ref(h))));
CHECK(a == 24);
CHECK(b == 82);
CHECK(c == 42);
CHECK(d == 0);
CHECK(e == 1);
CHECK(f == 2);
CHECK(g == 3);
CHECK(h == 4);
#endif
int aa=24,bb=82;
ranges::iter_swap(&aa, &bb);
CHECK(aa == 82);
CHECK(bb == 24);
std::unique_ptr<int> u0{new int{1}};
std::unique_ptr<int> u1{new int{2}};
int *p0 = u0.get();
int *p1 = u1.get();
ranges::iter_swap(&u0, &u1);
CHECK(u0.get() == p1);
CHECK(u1.get() == p0);
{
using namespace ranges;
auto v0 = to<std::vector<MoveOnlyString>>({"a","b","c"});
auto v1 = to<std::vector<MoveOnlyString>>({"x","y","z"});
auto rng = views::zip(v0, v1);
ranges::iter_swap(rng.begin(), rng.begin()+2);
::check_equal(v0, {"c","b","a"});
::check_equal(v1, {"z","y","x"});
}
{
using T = std::complex<float>;
T s,t;
ranges::swap(s,t);
}
{
using T = S<std::complex<float>>;
T s,t;
ranges::swap(s,t);
}
return ::test_result();
}
|
