// Copyright (C) 2013-2019 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_copy { 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_copy { throwing_copy() = default; throwing_copy(throwing_copy const&) { throw exception {}; } }; void test() { // [20.5.4.1] Constructors { gdb::optional o; auto copy = o; VERIFY( !copy ); VERIFY( !o ); } { const long val = 0x1234ABCD; gdb::optional o { gdb::in_place, val}; auto copy = o; VERIFY( copy ); VERIFY( *copy == val ); #ifndef GDB_OPTIONAL VERIFY( o && o == val ); #endif } { gdb::optional o; auto copy = o; VERIFY( !copy ); VERIFY( tracker::count == 0 ); VERIFY( !o ); } { gdb::optional o { gdb::in_place, 333 }; auto copy = o; VERIFY( copy ); VERIFY( copy->value == 333 ); VERIFY( tracker::count == 2 ); VERIFY( o && o->value == 333 ); } enum outcome { nothrow, caught, bad_catch }; { outcome result = nothrow; gdb::optional o; try { auto copy = o; } catch(exception const&) { result = caught; } catch(...) { result = bad_catch; } VERIFY( result == nothrow ); } { outcome result = nothrow; gdb::optional o { gdb::in_place }; try { auto copy = o; } catch(exception const&) { result = caught; } catch(...) { result = bad_catch; } VERIFY( result == caught ); } VERIFY( tracker::count == 0 ); } } // namespace cons_copy