test/std/utilities/memory/unique.ptr/unique.ptr.runtime/unique.ptr.runtime.ctor/move_convert18.fail.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is dual licensed under the MIT and the University of Illinois Open
   6 // Source Licenses. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 // <memory>
  11
  12 // unique_ptr
  13
  14 // Test unique_ptr converting move ctor
  15
  16 // test converting move ctor.  Should only require a MoveConstructible deleter, or if
  17 //    deleter is a reference, not even that.
  18 // Explicit version
  19
  20 #include <memory>
  21 #include <cassert>
  22
  23 struct A
  24 {
  25     static int count;
  26     A() {++count;}
  27     A(const A&) {++count;}
  28     virtual ~A() {--count;}
  29 };
  30
  31 int A::count = 0;
  32
  33 struct B
  34     : public A
  35 {
  36     static int count;
  37     B() {++count;}
  38     B(const B&) {++count;}
  39     virtual ~B() {--count;}
  40 };
  41
  42 int B::count = 0;
  43
  44 template <class T>
  45 class CDeleter
  46 {
  47     int state_;
  48
  49     CDeleter(CDeleter&);
  50     CDeleter& operator=(CDeleter&);
  51 public:
  52
  53     CDeleter() : state_(5) {}
  54
  55     int state() const {return state_;}
  56     void set_state(int s) {state_ = s;}
  57
  58     void operator()(T* p) {delete p;}
  59 };
  60
  61 int main()
  62 {
  63     {
  64     CDeleter<A> d;
  65     std::unique_ptr<B[], CDeleter<A>&> s(new B, d);
  66     A* p = s.get();
  67     std::unique_ptr<A[], CDeleter<A>&> s2 = std::move(s);
  68     assert(s2.get() == p);
  69     assert(s.get() == 0);
  70     assert(A::count == 1);
  71     assert(B::count == 1);
  72     d.set_state(6);
  73     assert(s2.get_deleter().state() == d.state());
  74     assert(s.get_deleter().state() ==  d.state());
  75     }
  76     assert(A::count == 0);
  77     assert(B::count == 0);
  78 }