libstdc++-v3/testsuite/20_util/any/assign/self.cc

   1 // Copyright (C) 2015-2021 Free Software Foundation, Inc.
   2 //
   3 // This file is part of the GNU ISO C++ Library.  This library is free
   4 // software; you can redistribute it and/or modify it under the
   5 // terms of the GNU General Public License as published by the
   6 // Free Software Foundation; either version 3, or (at your option)
   7 // any later version.
   8
   9 // This library is distributed in the hope that it will be useful,
  10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 // GNU General Public License for more details.
  13
  14 // You should have received a copy of the GNU General Public License along
  15 // with this library; see the file COPYING3.  If not see
  16 // <http://www.gnu.org/licenses/>.
  17
  18 // { dg-options "-std=gnu++17" }
  19 // { dg-do run { target c++17 } }
  20
  21 #include <any>
  22 #include <set>
  23 #include <testsuite_hooks.h>
  24
  25 std::set<const void*> live_objects;
  26
  27 struct A {
  28   A() { live_objects.insert(this); }
  29   ~A() { live_objects.erase(this); }
  30   A(const A& a) { VERIFY(live_objects.count(&a)); live_objects.insert(this); }
  31 };
  32
  33 void
  34 test01()
  35 {
  36   using std::any;
  37
  38   any a;
  39   a = a;
  40   VERIFY( !a.has_value() );
  41
  42   a = A{};
  43   a = a;
  44   VERIFY( a.has_value() );
  45
  46   a.reset();
  47   VERIFY( live_objects.empty() );
  48 }
  49
  50 void
  51 test02()
  52 {
  53   using std::any;
  54
  55   struct X {
  56     any a;
  57   };
  58
  59   X x;
  60   std::swap(x, x); // results in "self-move-assignment" of X::a
  61   VERIFY( !x.a.has_value() );
  62
  63   x.a = A{};
  64   std::swap(x, x); // results in "self-move-assignment" of X::a
  65   VERIFY( x.a.has_value() );
  66
  67   x.a.reset();
  68   VERIFY( live_objects.empty() );
  69 }
  70
  71 void
  72 test03()
  73 {
  74   using std::any;
  75
  76   any a;
  77   a.swap(a);
  78   VERIFY( !a.has_value() );
  79
  80   a = A{};
  81   a.swap(a);
  82   VERIFY( a.has_value() );
  83
  84   a.reset();
  85   VERIFY( live_objects.empty() );
  86 }
  87
  88 int
  89 main()
  90 {
  91   test01();
  92   test02();
  93   test03();
  94 }