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// template<class T, class U> shared_ptr<T> const_pointer_cast(const shared_ptr<U>& 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<const A> pA(new A);
47c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::shared_ptr<A> pB = std::const_pointer_cast<A>(pA);
48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(pB.get() == pA.get());
49c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(!pB.owner_before(pA) && !pA.owner_before(pB));
50c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
51c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
52c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        const std::shared_ptr<const A> pA;
53c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::shared_ptr<A> pB = std::const_pointer_cast<A>(pA);
54c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(pB.get() == pA.get());
55c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(!pB.owner_before(pA) && !pA.owner_before(pB));
56c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
57c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}
58