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// <vector> 11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// Test nested types and default template args: 13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 146046aced820aaab4f14f2026531dd11d10690691Howard Hinnant// template <class Allocator> 15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// class vector<bool, Allocator 166046aced820aaab4f14f2026531dd11d10690691Howard Hinnant// { 176046aced820aaab4f14f2026531dd11d10690691Howard Hinnant// public: 186046aced820aaab4f14f2026531dd11d10690691Howard Hinnant// typedef T value_type; 19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef Allocator allocator_type; 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef implementation-defined iterator; 21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef implementation-defined const_iterator; 22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::size_type size_type; 23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::difference_type difference_type; 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::pointer pointer; 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef typename allocator_type::const_pointer const_pointer; 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef std::reverse_iterator<iterator> reverse_iterator; 27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef std::reverse_iterator<const_iterator> const_reverse_iterator; 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// }; 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <vector> 31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <iterator> 32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <type_traits> 33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 341b92188a82b01e76ac6e8ad5f997293c2a078adcMarshall Clow#include "test_allocator.h" 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include "../../Copyable.h" 36061d0cc4db18d17bf01ed14c5db0be098205bd47Marshall Clow#include "min_allocator.h" 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class Allocator> 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest() 41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::vector<bool, Allocator> C; 43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::value_type, bool>::value), ""); 45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::value_type, typename Allocator::value_type>::value), ""); 46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<typename C::allocator_type, Allocator>::value), ""); 472c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant static_assert((std::is_same<typename C::size_type, typename std::allocator_traits<Allocator>::size_type>::value), ""); 482c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant static_assert((std::is_same<typename C::difference_type, typename std::allocator_traits<Allocator>::difference_type>::value), ""); 49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same< 50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typename std::iterator_traits<typename C::iterator>::iterator_category, 51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::random_access_iterator_tag>::value), ""); 52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same< 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typename std::iterator_traits<typename C::const_iterator>::iterator_category, 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::random_access_iterator_tag>::value), ""); 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same< 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typename C::reverse_iterator, 57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::reverse_iterator<typename C::iterator> >::value), ""); 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same< 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typename C::const_reverse_iterator, 60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::reverse_iterator<typename C::const_iterator> >::value), ""); 61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<test_allocator<bool> >(); 66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<std::allocator<bool> >(); 67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((std::is_same<std::vector<bool>::allocator_type, 68bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::allocator<bool> >::value), ""); 692c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant#if __cplusplus >= 201103L 702c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant test<min_allocator<bool> >(); 712c39cbe0207908bca2e1da40e16cbc443d2e7438Howard Hinnant#endif 72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 73