]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/experimental/optional/cons/move.cc
1 // { dg-options "-std=gnu++14" }
4 // Copyright (C) 2013-2016 Free Software Foundation, Inc.
6 // This file is part of the GNU ISO C++ Library. This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 3, or (at your option)
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // You should have received a moved_to of the GNU General Public License along
18 // with this library; see the file COPYING3. If not see
19 // <http://www.gnu.org/licenses/>.
21 #include <experimental/optional>
22 #include <testsuite_hooks.h>
26 tracker(int value
) : value(value
) { ++count
; }
27 ~tracker() { --count
; }
29 tracker(tracker
const& other
) : value(other
.value
) { ++count
; }
30 tracker(tracker
&& other
) : value(other
.value
)
36 tracker
& operator=(tracker
const&) = default;
37 tracker
& operator=(tracker
&&) = default;
44 int tracker::count
= 0;
50 throwing_move() = default;
51 throwing_move(throwing_move
const&) { throw exception
{}; }
56 // [20.5.4.1] Constructors
59 std::experimental::optional
<long> o
;
60 auto moved_to
= std::move(o
);
66 const long val
= 0x1234ABCD;
67 std::experimental::optional
<long> o
{ std::experimental::in_place
, val
};
68 auto moved_to
= std::move(o
);
70 VERIFY( *moved_to
== val
);
71 VERIFY( o
&& *o
== val
);
75 std::experimental::optional
<tracker
> o
;
76 auto moved_to
= std::move(o
);
78 VERIFY( tracker::count
== 0 );
83 std::experimental::optional
<tracker
> o
{ std::experimental::in_place
, 333 };
84 auto moved_to
= std::move(o
);
86 VERIFY( moved_to
->value
== 333 );
87 VERIFY( tracker::count
== 2 );
88 VERIFY( o
&& o
->value
== -1 );
91 enum outcome
{ nothrow
, caught
, bad_catch
};
94 outcome result
= nothrow
;
95 std::experimental::optional
<throwing_move
> o
;
99 auto moved_to
= std::move(o
);
101 catch(exception
const&)
104 { result
= bad_catch
; }
106 VERIFY( result
== nothrow
);
110 outcome result
= nothrow
;
111 std::experimental::optional
<throwing_move
> o
{ std::experimental::in_place
};
115 auto moved_to
= std::move(o
);
117 catch(exception
const&)
120 { result
= bad_catch
; }
122 VERIFY( result
== caught
);
125 VERIFY( tracker::count
== 0 );