| // Copyright (C) 2013-2021 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 |
| // <http://www.gnu.org/licenses/>. |
| |
| 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 {}; } |
| }; |
| |
| static void |
| test () |
| { |
| // [20.5.4.1] Constructors |
| |
| { |
| gdb::optional<long> o; |
| auto copy = o; |
| VERIFY( !copy ); |
| VERIFY( !o ); |
| } |
| |
| { |
| const long val = 0x1234ABCD; |
| gdb::optional<long> o { gdb::in_place, val}; |
| auto copy = o; |
| VERIFY( copy ); |
| VERIFY( *copy == val ); |
| #ifndef GDB_OPTIONAL |
| VERIFY( o && o == val ); |
| #endif |
| } |
| |
| { |
| gdb::optional<tracker> o; |
| auto copy = o; |
| VERIFY( !copy ); |
| VERIFY( tracker::count == 0 ); |
| VERIFY( !o ); |
| } |
| |
| { |
| gdb::optional<tracker> 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<throwing_copy> o; |
| |
| try |
| { |
| auto copy = o; |
| } |
| catch(exception const&) |
| { result = caught; } |
| catch(...) |
| { result = bad_catch; } |
| |
| VERIFY( result == nothrow ); |
| } |
| |
| { |
| outcome result = nothrow; |
| gdb::optional<throwing_copy> 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 |