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 #include <memory>
17 #include <utility>
18 #include <cassert>
19 
20 // test converting move ctor.  Should only require a MoveConstructible deleter, or if
21 //    deleter is a reference, not even that.
22 // Explicit version
23 
24 struct A
25 {
26     static int count;
AA27     A() {++count;}
AA28     A(const A&) {++count;}
~AA29     virtual ~A() {--count;}
30 };
31 
32 int A::count = 0;
33 
34 struct B
35     : public A
36 {
37     static int count;
BB38     B() {++count;}
BB39     B(const B&) {++count;}
~BB40     virtual ~B() {--count;}
41 };
42 
43 int B::count = 0;
44 
45 template <class T>
46 class CDeleter
47 {
48     int state_;
49 
50     CDeleter(CDeleter&);
51     CDeleter& operator=(CDeleter&);
52 public:
53 
CDeleter()54     CDeleter() : state_(5) {}
55 
state() const56     int state() const {return state_;}
set_state(int s)57     void set_state(int s) {state_ = s;}
58 
operator ()(T * p)59     void operator()(T* p) {delete p;}
60 };
61 
main()62 int main()
63 {
64     {
65     CDeleter<A> d;
66     const std::unique_ptr<B, CDeleter<A>&> s(new B, d);
67     A* p = s.get();
68     std::unique_ptr<A, CDeleter<A>&> s2(s);
69     assert(s2.get() == p);
70     assert(s.get() == 0);
71     assert(A::count == 1);
72     assert(B::count == 1);
73     d.set_state(6);
74     assert(s2.get_deleter().state() == d.state());
75     assert(s.get_deleter().state() ==  d.state());
76     }
77     assert(A::count == 0);
78     assert(B::count == 0);
79 }
80