1c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===//
2c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
3c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//                     The LLVM Compiler Infrastructure
4c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
8c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===//
9c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
10c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// <memory>
11c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
12c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// shared_ptr
13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// shared_ptr& operator=(const shared_ptr& r);
15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <memory>
17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <type_traits>
18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <cassert>
19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct B
21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    static int count;
23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    B() {++count;}
25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    B(const B&) {++count;}
26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    virtual ~B() {--count;}
27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant};
28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint B::count = 0;
30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct A
32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    : public B
33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    static int count;
35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    A() {++count;}
37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    A(const A&) {++count;}
38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    ~A() {--count;}
39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant};
40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint A::count = 0;
42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main()
44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
45c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        const std::shared_ptr<A> pA(new A);
47c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        A* ptrA = pA.get();
48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        {
49c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            std::shared_ptr<A> pB(new A);
50c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            pB = pA;
51c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(B::count == 1);
52c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(A::count == 1);
53c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.use_count() == 2);
54c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pA.use_count() == 2);
55c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pA.get() == pB.get());
56c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.get() == ptrA);
57c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        }
58c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(pA.use_count() == 1);
59c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(B::count == 1);
60c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(A::count == 1);
61c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
62c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(B::count == 0);
63c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(A::count == 0);
64c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
65c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        const std::shared_ptr<A> pA;
66c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        A* ptrA = pA.get();
67c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        {
68c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            std::shared_ptr<A> pB(new A);
69c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            pB = pA;
70c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(B::count == 0);
71c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(A::count == 0);
72c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.use_count() == 0);
73c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pA.use_count() == 0);
74c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pA.get() == pB.get());
75c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.get() == ptrA);
76c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        }
77c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(pA.use_count() == 0);
78c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(B::count == 0);
79c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(A::count == 0);
80c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
81c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(B::count == 0);
82c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(A::count == 0);
83c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
84c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        const std::shared_ptr<A> pA(new A);
85c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        A* ptrA = pA.get();
86c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        {
87c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            std::shared_ptr<A> pB;
88c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            pB = pA;
89c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(B::count == 1);
90c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(A::count == 1);
91c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.use_count() == 2);
92c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pA.use_count() == 2);
93c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pA.get() == pB.get());
94c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.get() == ptrA);
95c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        }
96c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(pA.use_count() == 1);
97c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(B::count == 1);
98c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(A::count == 1);
99c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
100c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(B::count == 0);
101c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(A::count == 0);
102c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
103c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        const std::shared_ptr<A> pA;
104c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        A* ptrA = pA.get();
105c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        {
106c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            std::shared_ptr<A> pB;
107c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            pB = pA;
108c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(B::count == 0);
109c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(A::count == 0);
110c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.use_count() == 0);
111c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pA.use_count() == 0);
112c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pA.get() == pB.get());
113c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            assert(pB.get() == ptrA);
114c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        }
115c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(pA.use_count() == 0);
116c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(B::count == 0);
117c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(A::count == 0);
118c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
119c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(B::count == 0);
120c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    assert(A::count == 0);
121c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}
122