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// template <class Alloc> 13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// struct allocator_traits 14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// { 15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// typedef Alloc::const_void_pointer 16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// | pointer_traits<pointer>::rebind<const void> 17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// const_void_pointer; 18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// ... 19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// }; 20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <memory> 22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <type_traits> 23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct Ptr {}; 26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct A 29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef T value_type; 31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef Ptr<T> pointer; 32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct B 36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef T value_type; 38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct CPtr {}; 42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct C 45c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef T value_type; 47c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef CPtr<const void> const_void_pointer; 48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 49c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 50c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 51c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 52c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((std::is_same<std::allocator_traits<A<char> >::const_void_pointer, Ptr<const void> >::value), ""); 53c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((std::is_same<std::allocator_traits<B<char> >::const_void_pointer, const void*>::value), ""); 54c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((std::is_same<std::allocator_traits<C<char> >::const_void_pointer, CPtr<const void> >::value), ""); 55c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 56