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::size_type | size_t size_type; 16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// ... 17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// }; 18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <memory> 20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <type_traits> 21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct A 24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef T value_type; 26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef unsigned short size_type; 27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct B 31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef T value_type; 33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 3547761071be811e5815311294b71ad6ac9414963eHoward Hinnanttemplate <class T> 3647761071be811e5815311294b71ad6ac9414963eHoward Hinnantstruct C 3747761071be811e5815311294b71ad6ac9414963eHoward Hinnant{ 3847761071be811e5815311294b71ad6ac9414963eHoward Hinnant typedef T value_type; 3947761071be811e5815311294b71ad6ac9414963eHoward Hinnant struct pointer {}; 4047761071be811e5815311294b71ad6ac9414963eHoward Hinnant struct const_pointer {}; 4147761071be811e5815311294b71ad6ac9414963eHoward Hinnant struct void_pointer {}; 4247761071be811e5815311294b71ad6ac9414963eHoward Hinnant struct const_void_pointer {}; 4347761071be811e5815311294b71ad6ac9414963eHoward Hinnant}; 4447761071be811e5815311294b71ad6ac9414963eHoward Hinnant 4547761071be811e5815311294b71ad6ac9414963eHoward Hinnantnamespace std 4647761071be811e5815311294b71ad6ac9414963eHoward Hinnant{ 4747761071be811e5815311294b71ad6ac9414963eHoward Hinnant 4847761071be811e5815311294b71ad6ac9414963eHoward Hinnanttemplate <> 4947761071be811e5815311294b71ad6ac9414963eHoward Hinnantstruct pointer_traits<C<char>::pointer> 5047761071be811e5815311294b71ad6ac9414963eHoward Hinnant{ 5147761071be811e5815311294b71ad6ac9414963eHoward Hinnant typedef signed char difference_type; 5247761071be811e5815311294b71ad6ac9414963eHoward Hinnant}; 5347761071be811e5815311294b71ad6ac9414963eHoward Hinnant 5447761071be811e5815311294b71ad6ac9414963eHoward Hinnant} 5547761071be811e5815311294b71ad6ac9414963eHoward Hinnant 56c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 57c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 58c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((std::is_same<std::allocator_traits<A<char> >::size_type, unsigned short>::value), ""); 5947761071be811e5815311294b71ad6ac9414963eHoward Hinnant static_assert((std::is_same<std::allocator_traits<B<char> >::size_type, 6047761071be811e5815311294b71ad6ac9414963eHoward Hinnant std::make_unsigned<std::ptrdiff_t>::type>::value), ""); 6147761071be811e5815311294b71ad6ac9414963eHoward Hinnant static_assert((std::is_same<std::allocator_traits<C<char> >::size_type, 6247761071be811e5815311294b71ad6ac9414963eHoward Hinnant unsigned char>::value), ""); 63c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 64