20_utilities: New directory.

2000-06-19  Branko Cibej  <branko.cibej@hermes.si>

        * testsuite/20_utilities: New directory.
        * testsuite/20_utilities/auto_ptr.cc: New file.

From-SVN: r34599

libstdc++-v3/testsuite/20_util/auto_ptr.cc

+// Copyright (C) 2000 Free Software Foundation
+//
+// 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 2, 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 COPYING.  If not, write to the Free
+// Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
+// USA.
+
+// 20.4.5 Template class auto_ptr [lib.auto.ptr]
+
+#include <memory>
+#ifdef DEBUG_ASSERT
+#  include <assert.h>
+#endif
+
+
+struct A
+{
+  A() { ++ctor_count; }
+  virtual ~A() { ++dtor_count; }
+  static long ctor_count;
+  static long dtor_count;
+};
+long A::ctor_count = 0;
+long A::dtor_count = 0;
+
+struct B : A
+{
+  B() { ++ctor_count; }
+  virtual ~B() { ++dtor_count; }
+  static long ctor_count;
+  static long dtor_count;
+};
+long B::ctor_count = 0;
+long B::dtor_count = 0;
+
+
+struct reset_count_struct
+{
+  ~reset_count_struct()
+  {
+    A::ctor_count = 0;
+    A::dtor_count = 0;
+    B::ctor_count = 0;
+    B::dtor_count = 0;
+  }
+};
+
+
+// 20.4.5.1 auto_ptr constructors [lib.auto.ptr.cons]
+
+// Construction from pointer
+bool test01()
+{
+  reset_count_struct reset;
+  bool test = true;
+
+  std::auto_ptr<A> A_default;
+  test &= A_default.get() == 0;
+  test &= A::ctor_count == 0;
+  test &= A::dtor_count == 0;
+  test &= B::ctor_count == 0;
+  test &= B::dtor_count == 0;
+
+  std::auto_ptr<A> A_from_A(new A);
+  test &= A_from_A.get() != 0;
+  test &= A::ctor_count == 1;
+  test &= A::dtor_count == 0;
+  test &= B::ctor_count == 0;
+  test &= B::dtor_count == 0;
+
+  std::auto_ptr<A> A_from_B(new B);
+  test &= A_from_B.get() != 0;
+  test &= A::ctor_count == 2;
+  test &= A::dtor_count == 0;
+  test &= B::ctor_count == 1;
+  test &= B::dtor_count == 0;
+
+#ifdef DEBUG_ASSERT
+  assert(test);
+#endif
+
+  return test;
+}
+
+// Construction from std::auto_ptr
+bool test02()
+{
+  reset_count_struct reset;
+  bool test = true;
+
+  std::auto_ptr<A> A_from_A(new A);
+  std::auto_ptr<B> B_from_B(new B);
+
+  std::auto_ptr<A> A_from_ptr_A(A_from_A);
+  std::auto_ptr<A> A_from_ptr_B(B_from_B);
+  test &= A_from_A.get() == 0;
+  test &= B_from_B.get() == 0;
+  test &= A_from_ptr_A.get() != 0;
+  test &= A_from_ptr_B.get() != 0;
+  test &= A::ctor_count == 2;
+  test &= A::dtor_count == 0;
+  test &= B::ctor_count == 1;
+  test &= B::dtor_count == 0;
+
+#ifdef DEBUG_ASSERT
+  assert(test);
+#endif
+
+  return test;
+}
+
+// Assignment from std::auto_ptr
+bool test03()
+{
+  reset_count_struct reset;
+  bool test = true;
+
+  std::auto_ptr<A> A_from_ptr_A;
+  std::auto_ptr<A> A_from_ptr_B;
+  std::auto_ptr<A> A_from_A(new A);
+  std::auto_ptr<B> B_from_B(new B);
+
+  A_from_ptr_A = A_from_A;
+  A_from_ptr_B = B_from_B;
+  test &= A_from_A.get() == 0;
+  test &= B_from_B.get() == 0;
+  test &= A_from_ptr_A.get() != 0;
+  test &= A_from_ptr_B.get() != 0;
+  test &= A::ctor_count == 2;
+  test &= A::dtor_count == 0;
+  test &= B::ctor_count == 1;
+  test &= B::dtor_count == 0;
+
+#ifdef DEBUG_ASSERT
+  assert(test);
+#endif
+
+  return test;
+}
+
+// Destruction
+bool test04()
+{
+  reset_count_struct reset;
+  bool test = true;
+
+  {/*lifetine scope*/
+    std::auto_ptr<A> A_from_A(new A);
+    std::auto_ptr<A> A_from_B(new B);
+    std::auto_ptr<B> B_from_B(new B);
+  }/*destructors called here*/
+
+  test &= A::ctor_count == 3;
+  test &= A::dtor_count == 3;
+  test &= B::ctor_count == 2;
+  test &= B::dtor_count == 2;
+
+#ifdef DEBUG_ASSERT
+  assert(test);
+#endif
+
+  return test;
+}
+
+// Class member construction/destruction
+template <typename T>
+class pimpl
+{
+public:
+  pimpl() : p_impl(new T) {}
+private:
+  std::auto_ptr<T> p_impl;
+};
+
+bool test05()
+{
+  bool test = true;
+  reset_count_struct reset;
+
+  pimpl<A>();
+  pimpl<B>();
+  test &= A::ctor_count == 2;
+  test &= A::dtor_count == 2;
+  test &= B::ctor_count == 1;
+  test &= B::dtor_count == 1;
+
+#ifdef DEBUG_ASSERT
+  assert(test);
+#endif
+
+  return test;
+}
+
+
+// 20.4.5.2 auto_ptr members [lib.auto.ptr.members]
+
+// Member access
+bool test06()
+{
+  reset_count_struct reset;
+  bool test = true;
+
+  std::auto_ptr<A> A_from_A(new A);
+  std::auto_ptr<A> A_from_A_ptr(A_from_A.release());
+  test &= A_from_A.get() == 0;
+  test &= A_from_A_ptr.get() != 0;
+  test &= A_from_A->ctor_count == 1;
+  test &= (*A_from_A).dtor_count == 0;
+
+  A* A_ptr = A_from_A_ptr.get();
+
+  A_from_A_ptr.reset(A_ptr);
+  test &= A_from_A_ptr.get() == A_ptr;
+  test &= A_from_A_ptr->ctor_count == 1;
+  test &= (*A_from_A_ptr).dtor_count == 0;
+
+  A_from_A_ptr.reset(new A);
+  test &= A_from_A_ptr.get() != A_ptr;
+  test &= A_from_A_ptr->ctor_count == 2;
+  test &= (*A_from_A_ptr).dtor_count == 1;
+
+#ifdef DEBUG_ASSERT
+  assert(test);
+#endif
+
+  return test;
+}
+
+
+// 20.4.5.3 auto_ptr conversions [lib.auto.ptr.conv]
+
+// Parameters and return values
+template <typename T>
+static std::auto_ptr<T> source()
+{
+  return std::auto_ptr<T>(new T);
+}
+
+template <typename T>
+static void drain(std::auto_ptr<T>)
+{}
+
+bool test07()
+{
+  bool test = true;
+  reset_count_struct reset;
+
+  drain(source<A>());
+  drain<A>(source<B>());
+  drain(source<B>());
+  test &= A::ctor_count == 3;
+  test &= A::dtor_count == 3;
+  test &= B::ctor_count == 2;
+  test &= B::dtor_count == 2;
+
+#ifdef DEBUG_ASSERT
+  assert(test);
+#endif
+
+  return test;
+}
+
+
+int main()
+{
+  bool test = true;
+
+  test &= test01();
+  test &= test02();
+  test &= test03();
+  test &= test04();
+  test &= test05();
+  test &= test06();
+  test &= test07();
+
+  return test ? 0 : 1;
+}