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 37 template <class Allocator> 38 void 39 test() 40 { 41 typedef std::vector<bool, Allocator> C; 42 43 static_assert((std::is_same<typename C::value_type, bool>::value), ""); 44 static_assert((std::is_same<typename C::value_type, typename Allocator::value_type>::value), ""); 45 static_assert((std::is_same<typename C::allocator_type, Allocator>::value), ""); 46 static_assert((std::is_same<typename C::size_type, typename Allocator::size_type>::value), ""); 47 static_assert((std::is_same<typename C::difference_type, typename Allocator::difference_type>::value), ""); 48 static_assert((std::is_same< 49 typename std::iterator_traits<typename C::iterator>::iterator_category, 50 std::random_access_iterator_tag>::value), ""); 51 static_assert((std::is_same< 52 typename std::iterator_traits<typename C::const_iterator>::iterator_category, 53 std::random_access_iterator_tag>::value), ""); 54 static_assert((std::is_same< 55 typename C::reverse_iterator, 56 std::reverse_iterator<typename C::iterator> >::value), ""); 57 static_assert((std::is_same< 58 typename C::const_reverse_iterator, 59 std::reverse_iterator<typename C::const_iterator> >::value), ""); 60 } 61 62 int main() 63 { 64 test<test_allocator<bool> >(); 65 test<std::allocator<bool> >(); 66 static_assert((std::is_same<std::vector<bool>::allocator_type, 67 std::allocator<bool> >::value), ""); 68 } 69
