GDB (xrefs)
Loading...
Searching...
No Matches
move.cc
Go to the documentation of this file.
1// Copyright (C) 2013-2023 Free Software Foundation, Inc.
2//
3// This file is part of the GNU ISO C++ Library. This library is free
4// software; you can redistribute it and/or modify it under the
5// terms of the GNU General Public License as published by the
6// Free Software Foundation; either version 3, or (at your option)
7// any later version.
8
9// This library is distributed in the hope that it will be useful,
10// but WITHOUT ANY WARRANTY; without even the implied warranty of
11// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12// GNU General Public License for more details.
13
14// You should have received a copy of the GNU General Public License along
15// with this library; see the file COPYING3. If not see
16// <http://www.gnu.org/licenses/>.
17
18namespace cons_move {
19
20struct tracker
21{
22 tracker(int value) : value(value) { ++count; }
23 ~tracker() { --count; }
24
25 tracker(tracker const& other) : value(other.value) { ++count; }
26 tracker(tracker&& other) : value(other.value)
27 {
28 other.value = -1;
29 ++count;
30 }
31
32 tracker& operator=(tracker const&) = default;
33 tracker& operator=(tracker&&) = default;
34
35 int value;
36
37 static int count;
38};
39
40int tracker::count = 0;
41
42struct exception { };
43
45{
46 throwing_move() = default;
48};
49
50static void
52{
53 // [20.5.4.1] Constructors
54
55 {
56 gdb::optional<long> o;
57 auto moved_to = std::move(o);
58 VERIFY( !moved_to );
59 VERIFY( !o );
60 }
61
62 {
63 const long val = 0x1234ABCD;
64 gdb::optional<long> o { gdb::in_place, val};
65 auto moved_to = std::move(o);
66 VERIFY( moved_to );
67 VERIFY( *moved_to == val );
68 VERIFY( o && *o == val );
69 }
70
71 {
72 gdb::optional<tracker> o;
73 auto moved_to = std::move(o);
74 VERIFY( !moved_to );
75 VERIFY( tracker::count == 0 );
76 VERIFY( !o );
77 }
78
79 {
80 gdb::optional<tracker> o { gdb::in_place, 333 };
81 auto moved_to = std::move(o);
82 VERIFY( moved_to );
83 VERIFY( moved_to->value == 333 );
84 VERIFY( tracker::count == 2 );
85 VERIFY( o && o->value == -1 );
86 }
87
88 enum outcome { nothrow, caught, bad_catch };
89
90 {
91 outcome result = nothrow;
92 gdb::optional<throwing_move> o;
93
94 try
95 {
96 auto moved_to = std::move(o);
97 }
98 catch(exception const&)
99 { result = caught; }
100 catch(...)
101 { result = bad_catch; }
102
103 VERIFY( result == nothrow );
104 }
105
106 {
107 outcome result = nothrow;
108 gdb::optional<throwing_move> o { gdb::in_place };
109
110 try
111 {
112 auto moved_to = std::move(o);
113 }
114 catch(exception const&)
115 { result = caught; }
116 catch(...)
117 { result = bad_catch; }
118
119 VERIFY( result == caught );
120 }
121
122 VERIFY( tracker::count == 0 );
123}
124
125} // namespace cons_move
#define VERIFY(x)
static void test()
Definition move.cc:51
throwing_move(throwing_move const &)
Definition move.cc:47
static int count
Definition move.cc:37
tracker & operator=(tracker const &)=default
tracker(tracker &&other)
Definition move.cc:26
tracker(int value)
Definition move.cc:22
tracker(tracker const &other)
Definition move.cc:25
tracker & operator=(tracker &&)=default
Definition value.h:130
value(struct type *type_)
Definition value.h:134