swap.pass.cpp
2.8 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
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// <utility>
// template<class T>
// requires MoveAssignable<T> && MoveConstructible<T>
// void
// swap(T& a, T& b);
#include <utility>
#include <cassert>
#include <memory>
#include "test_macros.h"
#if TEST_STD_VER >= 11
struct CopyOnly {
CopyOnly() {}
CopyOnly(CopyOnly const&) noexcept {}
CopyOnly& operator=(CopyOnly const&) { return *this; }
};
struct MoveOnly {
MoveOnly() {}
MoveOnly(MoveOnly&&) {}
MoveOnly& operator=(MoveOnly&&) noexcept { return *this; }
};
struct NoexceptMoveOnly {
NoexceptMoveOnly() {}
NoexceptMoveOnly(NoexceptMoveOnly&&) noexcept {}
NoexceptMoveOnly& operator=(NoexceptMoveOnly&&) noexcept { return *this; }
};
struct NotMoveConstructible {
NotMoveConstructible& operator=(NotMoveConstructible&&) { return *this; }
private:
NotMoveConstructible(NotMoveConstructible&&);
};
struct NotMoveAssignable {
NotMoveAssignable(NotMoveAssignable&&);
private:
NotMoveAssignable& operator=(NotMoveAssignable&&);
};
template <class Tp>
auto can_swap_test(int) -> decltype(std::swap(std::declval<Tp>(), std::declval<Tp>()));
template <class Tp>
auto can_swap_test(...) -> std::false_type;
template <class Tp>
constexpr bool can_swap() {
return std::is_same<decltype(can_swap_test<Tp>(0)), void>::value;
}
#endif
#if TEST_STD_VER > 17
constexpr bool test_swap_constexpr()
{
int i = 1;
int j = 2;
std::swap(i, j);
return i == 2 && j == 1;
}
#endif // TEST_STD_VER > 17
int main(int, char**)
{
{
int i = 1;
int j = 2;
std::swap(i, j);
assert(i == 2);
assert(j == 1);
}
#if TEST_STD_VER >= 11
{
std::unique_ptr<int> i(new int(1));
std::unique_ptr<int> j(new int(2));
std::swap(i, j);
assert(*i == 2);
assert(*j == 1);
}
{
// test that the swap
static_assert(can_swap<CopyOnly&>(), "");
static_assert(can_swap<MoveOnly&>(), "");
static_assert(can_swap<NoexceptMoveOnly&>(), "");
static_assert(!can_swap<NotMoveConstructible&>(), "");
static_assert(!can_swap<NotMoveAssignable&>(), "");
CopyOnly c;
MoveOnly m;
NoexceptMoveOnly nm;
static_assert(!noexcept(std::swap(c, c)), "");
static_assert(!noexcept(std::swap(m, m)), "");
static_assert(noexcept(std::swap(nm, nm)), "");
}
#endif
#if TEST_STD_VER > 17
static_assert(test_swap_constexpr());
#endif // TEST_STD_VER > 17
return 0;
}