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 22ee226c05af9e0187098f43fb71465a581487af9bDan Austin#include "test_macros.h" 23ee226c05af9e0187098f43fb71465a581487af9bDan Austin 24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct A 26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef T value_type; 28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef unsigned short size_type; 29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct B 33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef T value_type; 35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 3747761071be811e5815311294b71ad6ac9414963eHoward Hinnanttemplate <class T> 3847761071be811e5815311294b71ad6ac9414963eHoward Hinnantstruct C 3947761071be811e5815311294b71ad6ac9414963eHoward Hinnant{ 4047761071be811e5815311294b71ad6ac9414963eHoward Hinnant typedef T value_type; 4147761071be811e5815311294b71ad6ac9414963eHoward Hinnant struct pointer {}; 4247761071be811e5815311294b71ad6ac9414963eHoward Hinnant struct const_pointer {}; 4347761071be811e5815311294b71ad6ac9414963eHoward Hinnant struct void_pointer {}; 4447761071be811e5815311294b71ad6ac9414963eHoward Hinnant struct const_void_pointer {}; 4547761071be811e5815311294b71ad6ac9414963eHoward Hinnant}; 4647761071be811e5815311294b71ad6ac9414963eHoward Hinnant 47ee226c05af9e0187098f43fb71465a581487af9bDan Austintemplate <class T> 48ee226c05af9e0187098f43fb71465a581487af9bDan Austinstruct D { 49ee226c05af9e0187098f43fb71465a581487af9bDan Austin typedef T value_type; 50ee226c05af9e0187098f43fb71465a581487af9bDan Austin typedef short difference_type; 51ee226c05af9e0187098f43fb71465a581487af9bDan Austinprivate: 52ee226c05af9e0187098f43fb71465a581487af9bDan Austin typedef void size_type; 53ee226c05af9e0187098f43fb71465a581487af9bDan Austin}; 54ee226c05af9e0187098f43fb71465a581487af9bDan Austin 5547761071be811e5815311294b71ad6ac9414963eHoward Hinnantnamespace std 5647761071be811e5815311294b71ad6ac9414963eHoward Hinnant{ 5747761071be811e5815311294b71ad6ac9414963eHoward Hinnant 5847761071be811e5815311294b71ad6ac9414963eHoward Hinnanttemplate <> 5947761071be811e5815311294b71ad6ac9414963eHoward Hinnantstruct pointer_traits<C<char>::pointer> 6047761071be811e5815311294b71ad6ac9414963eHoward Hinnant{ 6147761071be811e5815311294b71ad6ac9414963eHoward Hinnant typedef signed char difference_type; 6247761071be811e5815311294b71ad6ac9414963eHoward Hinnant}; 6347761071be811e5815311294b71ad6ac9414963eHoward Hinnant 6447761071be811e5815311294b71ad6ac9414963eHoward Hinnant} 6547761071be811e5815311294b71ad6ac9414963eHoward Hinnant 66c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 67c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 68c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((std::is_same<std::allocator_traits<A<char> >::size_type, unsigned short>::value), ""); 6947761071be811e5815311294b71ad6ac9414963eHoward Hinnant static_assert((std::is_same<std::allocator_traits<B<char> >::size_type, 7047761071be811e5815311294b71ad6ac9414963eHoward Hinnant std::make_unsigned<std::ptrdiff_t>::type>::value), ""); 7147761071be811e5815311294b71ad6ac9414963eHoward Hinnant static_assert((std::is_same<std::allocator_traits<C<char> >::size_type, 7247761071be811e5815311294b71ad6ac9414963eHoward Hinnant unsigned char>::value), ""); 73ee226c05af9e0187098f43fb71465a581487af9bDan Austin#if TEST_STD_VER >= 11 74ee226c05af9e0187098f43fb71465a581487af9bDan Austin static_assert((std::is_same<std::allocator_traits<D<char> >::size_type, unsigned short>::value), ""); 75ee226c05af9e0187098f43fb71465a581487af9bDan Austin#endif 76c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 77