// Copyright (C) 2013-2023 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 // . namespace cons_move { struct tracker { tracker(int value) : value(value) { ++count; } ~tracker() { --count; } tracker(tracker const& other) : value(other.value) { ++count; } tracker(tracker&& other) : value(other.value) { other.value = -1; ++count; } tracker& operator=(tracker const&) = default; tracker& operator=(tracker&&) = default; int value; static int count; }; int tracker::count = 0; struct exception { }; struct throwing_move { throwing_move() = default; throwing_move(throwing_move const&) { throw exception {}; } }; static void test () { // [20.5.4.1] Constructors { gdb::optional o; auto moved_to = std::move(o); VERIFY( !moved_to ); VERIFY( !o ); } { const long val = 0x1234ABCD; gdb::optional o { gdb::in_place, val}; auto moved_to = std::move(o); VERIFY( moved_to ); VERIFY( *moved_to == val ); VERIFY( o && *o == val ); } { gdb::optional o; auto moved_to = std::move(o); VERIFY( !moved_to ); VERIFY( tracker::count == 0 ); VERIFY( !o ); } { gdb::optional o { gdb::in_place, 333 }; auto moved_to = std::move(o); VERIFY( moved_to ); VERIFY( moved_to->value == 333 ); VERIFY( tracker::count == 2 ); VERIFY( o && o->value == -1 ); } enum outcome { nothrow, caught, bad_catch }; { outcome result = nothrow; gdb::optional o; try { auto moved_to = std::move(o); } catch(exception const&) { result = caught; } catch(...) { result = bad_catch; } VERIFY( result == nothrow ); } { outcome result = nothrow; gdb::optional o { gdb::in_place }; try { auto moved_to = std::move(o); } catch(exception const&) { result = caught; } catch(...) { result = bad_catch; } VERIFY( result == caught ); } VERIFY( tracker::count == 0 ); } } // namespace cons_move