difference_type.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// template <class Alloc> 13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// struct allocator_traits 14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// { 15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// typedef Alloc::difference_type 16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// | ptrdiff_t difference_type; 17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// ... 18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// }; 19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <memory> 21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <type_traits> 22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct A 25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef T value_type; 27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef short difference_type; 28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct B 32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef T value_type; 34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((std::is_same<std::allocator_traits<A<char> >::difference_type, short>::value), ""); 39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant static_assert((std::is_same<std::allocator_traits<B<char> >::difference_type, std::ptrdiff_t>::value), ""); 40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 41