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// static void deallocate(allocator_type& a, pointer p, size_type n); 16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// ... 17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// }; 18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <memory> 20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <cassert> 21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint called = 0; 23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <class T> 25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct A 26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant typedef T value_type; 28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant void deallocate(value_type* p, std::size_t n) 30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant { 31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(p == (value_type*)0xDEADBEEF); 32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(n == 10); 33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant ++called; 34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant } 35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant A<int> a; 40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant std::allocator_traits<A<int> >::deallocate(a, (int*)0xDEADBEEF, 10); 41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(called == 1); 42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 43