1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant// The LLVM Compiler Infrastructure 4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard 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. 7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <deque> 11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// Test nested types and default template args: 13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 146046aced820aaab4f14f2026531dd11d10690691Howard Hinnant// template <class T, class Allocator = allocator<T> > 15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// class deque 166046aced820aaab4f14f2026531dd11d10690691Howard Hinnant// { 176046aced820aaab4f14f2026531dd11d10690691Howard Hinnant// public: 186046aced820aaab4f14f2026531dd11d10690691Howard Hinnant// typedef T value_type; 19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef Allocator allocator_type; 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::reference reference; 21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::const_reference const_reference; 22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef implementation-defined iterator; 23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef implementation-defined const_iterator; 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::size_type size_type; 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::difference_type difference_type; 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::pointer pointer; 27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::const_pointer const_pointer; 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef std::reverse_iterator<iterator> reverse_iterator; 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef std::reverse_iterator<const_iterator> const_reverse_iterator; 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// }; 31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <deque> 33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <iterator> 34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <type_traits> 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 361b92188a82b01e76ac6e8ad5f997293c2a078adcMarshall Clow#include "test_allocator.h" 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include "../../Copyable.h" 38061d0cc4db18d17bf01ed14c5db0be098205bd47Marshall Clow#include "min_allocator.h" 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T, class Allocator> 41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest() 43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::deque<T, Allocator> C; 45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::value_type, T>::value), ""); 47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::value_type, typename Allocator::value_type>::value), ""); 48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::allocator_type, Allocator>::value), ""); 49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::size_type, typename Allocator::size_type>::value), ""); 50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::difference_type, typename Allocator::difference_type>::value), ""); 51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::reference, typename Allocator::reference>::value), ""); 52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::const_reference, typename Allocator::const_reference>::value), ""); 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::pointer, typename Allocator::pointer>::value), ""); 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::const_pointer, typename Allocator::const_pointer>::value), ""); 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same< 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typename std::iterator_traits<typename C::iterator>::iterator_category, 57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::random_access_iterator_tag>::value), ""); 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same< 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typename std::iterator_traits<typename C::const_iterator>::iterator_category, 60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::random_access_iterator_tag>::value), ""); 61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same< 62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typename C::reverse_iterator, 63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::reverse_iterator<typename C::iterator> >::value), ""); 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same< 65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typename C::const_reverse_iterator, 66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::reverse_iterator<typename C::const_iterator> >::value), ""); 67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 68bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<int, test_allocator<int> >(); 72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<int*, std::allocator<int*> >(); 73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<Copyable, test_allocator<Copyable> >(); 74bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<std::deque<char>::allocator_type, 75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::allocator<char> >::value), ""); 76fcd8db7133c56a5a627f3922ce4a180c12287dd9Howard Hinnant#if __cplusplus >= 201103L 77fcd8db7133c56a5a627f3922ce4a180c12287dd9Howard Hinnant { 78fcd8db7133c56a5a627f3922ce4a180c12287dd9Howard Hinnant typedef std::deque<short, min_allocator<short>> C; 79fcd8db7133c56a5a627f3922ce4a180c12287dd9Howard Hinnant static_assert((std::is_same<C::value_type, short>::value), ""); 80fcd8db7133c56a5a627f3922ce4a180c12287dd9Howard Hinnant static_assert((std::is_same<C::allocator_type, min_allocator<C::value_type> >::value), ""); 81fcd8db7133c56a5a627f3922ce4a180c12287dd9Howard Hinnant static_assert((std::is_same<C::reference, C::value_type&>::value), ""); 82fcd8db7133c56a5a627f3922ce4a180c12287dd9Howard Hinnant static_assert((std::is_same<C::const_reference, const C::value_type&>::value), ""); 83fcd8db7133c56a5a627f3922ce4a180c12287dd9Howard Hinnant static_assert((std::is_same<C::pointer, min_pointer<C::value_type>>::value), ""); 84fcd8db7133c56a5a627f3922ce4a180c12287dd9Howard Hinnant static_assert((std::is_same<C::const_pointer, min_pointer<const C::value_type>>::value), ""); 85fcd8db7133c56a5a627f3922ce4a180c12287dd9Howard Hinnant static_assert((std::is_same<C::size_type, std::size_t>::value), ""); 86fcd8db7133c56a5a627f3922ce4a180c12287dd9Howard Hinnant static_assert((std::is_same<C::difference_type, std::ptrdiff_t>::value), ""); 87fcd8db7133c56a5a627f3922ce4a180c12287dd9Howard Hinnant } 88fcd8db7133c56a5a627f3922ce4a180c12287dd9Howard Hinnant#endif 89bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 90