1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // <vector> 11 12 // Test nested types and default template args: 13 14 // template <class Allocator> 15 // class vector<bool, Allocator 16 // { 17 // public: 18 // typedef T value_type; 19 // typedef Allocator allocator_type; 20 // typedef implementation-defined iterator; 21 // typedef implementation-defined const_iterator; 22 // typedef typename allocator_type::size_type size_type; 23 // typedef typename allocator_type::difference_type difference_type; 24 // typedef typename allocator_type::pointer pointer; 25 // typedef typename allocator_type::const_pointer const_pointer; 26 // typedef std::reverse_iterator<iterator> reverse_iterator; 27 // typedef std::reverse_iterator<const_iterator> const_reverse_iterator; 28 // }; 29 30 #include <vector> 31 #include <iterator> 32 #include <type_traits> 33 34 #include "../../test_allocator.h" 35 #include "../../Copyable.h" 36 #include "../../min_allocator.h" 37 38 template <class Allocator> 39 void 40 test() 41 { 42 typedef std::vector<bool, Allocator> C; 43 44 static_assert((std::is_same<typename C::value_type, bool>::value), ""); 45 static_assert((std::is_same<typename C::value_type, typename Allocator::value_type>::value), ""); 46 static_assert((std::is_same<typename C::allocator_type, Allocator>::value), ""); 47 static_assert((std::is_same<typename C::size_type, typename std::allocator_traits<Allocator>::size_type>::value), ""); 48 static_assert((std::is_same<typename C::difference_type, typename std::allocator_traits<Allocator>::difference_type>::value), ""); 49 static_assert((std::is_same< 50 typename std::iterator_traits<typename C::iterator>::iterator_category, 51 std::random_access_iterator_tag>::value), ""); 52 static_assert((std::is_same< 53 typename std::iterator_traits<typename C::const_iterator>::iterator_category, 54 std::random_access_iterator_tag>::value), ""); 55 static_assert((std::is_same< 56 typename C::reverse_iterator, 57 std::reverse_iterator<typename C::iterator> >::value), ""); 58 static_assert((std::is_same< 59 typename C::const_reverse_iterator, 60 std::reverse_iterator<typename C::const_iterator> >::value), ""); 61 } 62 63 int main() 64 { 65 test<test_allocator<bool> >(); 66 test<std::allocator<bool> >(); 67 static_assert((std::is_same<std::vector<bool>::allocator_type, 68 std::allocator<bool> >::value), ""); 69 #if __cplusplus >= 201103L 70 test<min_allocator<bool> >(); 71 #endif 72 } 73