const_pointer_cast.pass.cpp revision b64f8b07c104c6cc986570ac8ee0ed16a9f23976
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