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
|
// { dg-options "-std=gnu++0x" }
// Copyright (C) 2007-2013 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3. If not see
// <http://www.gnu.org/licenses/>.
// NOTE: This makes use of the fact that we know how moveable
// is implemented on tuple. If the implementation changed
// this test may begin to fail.
#include <tuple>
#include <utility>
#include <testsuite_hooks.h>
struct MoveOnly
{
explicit MoveOnly (int j) : i(j) { }
MoveOnly (MoveOnly&& m) : i(m.i) { }
MoveOnly& operator=(MoveOnly&& m)
{ i = m.i; return *this; }
MoveOnly(MoveOnly const&) = delete;
MoveOnly& operator=(MoveOnly const&) = delete;
bool operator==(MoveOnly const& m)
{ return i == m.i; }
void swap(MoveOnly& m)
{ std::swap(m.i, i); }
int i;
};
void swap(MoveOnly& m1, MoveOnly& m2)
{ m1.swap(m2); }
MoveOnly
make_move_only (int i)
{ return MoveOnly(i); }
void test01()
{
bool test __attribute__((unused)) = true;
std::tuple<> t1, t2;
std::swap(t1, t2);
VERIFY( t1 == t2 );
}
void test02()
{
bool test __attribute__((unused)) = true;
std::tuple<int> t1(1), t2(2);
std::swap(t1, t2);
VERIFY( std::get<0>(t1) == 2 && std::get<0>(t2) == 1 );
}
void test03()
{
bool test __attribute__((unused)) = true;
std::tuple<int, float> t1(1, 1.0f), t2(2, 2.0f);
std::swap(t1, t2);
VERIFY( std::get<0>(t1) == 2 && std::get<0>(t2) == 1 );
VERIFY( std::get<1>(t1) == 2.0f && std::get<1>(t2) == 1.0f );
}
void test04()
{
bool test __attribute__((unused)) = true;
std::tuple<int, float, MoveOnly>
t1(1, 1.0f, make_move_only(1)),
t2(2, 2.0f, make_move_only(2));
std::swap(t1, t2);
VERIFY( std::get<0>(t1) == 2 && std::get<0>(t2) == 1 );
VERIFY( std::get<1>(t1) == 2.0f && std::get<1>(t2) == 1.0f );
VERIFY( std::get<2>(t1) == make_move_only(2)
&& std::get<2>(t2) == make_move_only(1) );
}
int main()
{
test01();
test02();
test03();
test04();
return 0;
}
|