weak_ptr_Y.pass.cpp revision c52f43e72dfcea03037729649da84c23b3beb04a
1c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===// 2c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// 3c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// The LLVM Compiler Infrastructure 4c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// 5c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// This file is distributed under the University of Illinois Open Source 6c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// License. See LICENSE.TXT for details. 7c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// 8c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===// 9c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 10c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// <memory> 11c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 12c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// weak_ptr 13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// template<class Y> weak_ptr(const weak_ptr<Y>& 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 Hinnantstruct C 44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 45c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static int count; 46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 47c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant C() {++count;} 48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant C(const C&) {++count;} 49c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant virtual ~C() {--count;} 50c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 51c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 52c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint C::count = 0; 53c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 54c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 55c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 56c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert(( std::is_convertible<std::weak_ptr<A>, std::weak_ptr<B> >::value), ""); 57c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((!std::is_convertible<std::weak_ptr<B>, std::weak_ptr<A> >::value), ""); 58c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((!std::is_convertible<std::weak_ptr<A>, std::weak_ptr<C> >::value), ""); 59c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant { 60c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant const std::weak_ptr<A> pA(std::shared_ptr<A>(new A)); 61c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(pA.use_count() == 0); 62c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(B::count == 0); 63c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(A::count == 0); 64c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant { 65c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant std::weak_ptr<B> pB(pA); 66c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(B::count == 0); 67c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(A::count == 0); 68c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(pB.use_count() == 0); 69c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(pA.use_count() == 0); 70c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant } 71c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(pA.use_count() == 0); 72c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(B::count == 0); 73c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(A::count == 0); 74c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant } 75c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(B::count == 0); 76c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(A::count == 0); 77c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant { 78c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant std::weak_ptr<A> pA; 79c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(pA.use_count() == 0); 80c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(B::count == 0); 81c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(A::count == 0); 82c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant { 83c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant std::weak_ptr<B> pB(pA); 84c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(B::count == 0); 85c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(A::count == 0); 86c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(pB.use_count() == 0); 87c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(pA.use_count() == 0); 88c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant } 89c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(pA.use_count() == 0); 90c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(B::count == 0); 91c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(A::count == 0); 92c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant } 93c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(B::count == 0); 94c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(A::count == 0); 95c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 96