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