]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/20_util/optional/cons/move.cc
1 // { dg-do run { target c++17 } }
3 // Copyright (C) 2013-2022 Free Software Foundation, Inc.
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING3. If not see
18 // <http://www.gnu.org/licenses/>.
21 #include <testsuite_hooks.h>
25 tracker(int value
) : value(value
) { ++count
; }
26 ~tracker() { --count
; }
28 tracker(tracker
const& other
) : value(other
.value
) { ++count
; }
29 tracker(tracker
&& other
) : value(other
.value
)
35 tracker
& operator=(tracker
const&) = default;
36 tracker
& operator=(tracker
&&) = default;
43 int tracker::count
= 0;
49 throwing_move() = default;
50 throwing_move(throwing_move
const&) { throw exception
{}; }
55 // [20.5.4.1] Constructors
58 std::optional
<long> o
;
59 auto moved_to
= std::move(o
);
65 const long val
= 0x1234ABCD;
66 std::optional
<long> o
{ std::in_place
, val
};
67 auto moved_to
= std::move(o
);
69 VERIFY( *moved_to
== val
);
70 VERIFY( o
&& *o
== val
);
74 std::optional
<tracker
> o
;
75 auto moved_to
= std::move(o
);
77 VERIFY( tracker::count
== 0 );
82 std::optional
<tracker
> o
{ std::in_place
, 333 };
83 auto moved_to
= std::move(o
);
85 VERIFY( moved_to
->value
== 333 );
86 VERIFY( tracker::count
== 2 );
87 VERIFY( o
&& o
->value
== -1 );
90 enum outcome
{ nothrow
, caught
, bad_catch
};
93 outcome result
= nothrow
;
94 std::optional
<throwing_move
> o
;
98 auto moved_to
= std::move(o
);
100 catch(exception
const&)
103 { result
= bad_catch
; }
105 VERIFY( result
== nothrow
);
109 outcome result
= nothrow
;
110 std::optional
<throwing_move
> o
{ std::in_place
};
114 auto moved_to
= std::move(o
);
116 catch(exception
const&)
119 { result
= bad_catch
; }
121 VERIFY( result
== caught
);
124 VERIFY( tracker::count
== 0 );