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 // <array> 11 12 // template <class T, size_t N > 13 // struct array 14 // { 15 // // types: 16 // typedef T& reference; 17 // typedef const T& const_reference; 18 // typedef implementation defined iterator; 19 // typedef implementation defined const_iterator; 20 // typedef T value_type; 21 // typedef T* pointer; 22 // typedef size_t size_type; 23 // typedef ptrdiff_t difference_type; 24 // typedef T value_type; 25 // typedef std::reverse_iterator<iterator> reverse_iterator; 26 // typedef std::reverse_iterator<const_iterator> const_reverse_iterator; 27 28 #include <array> 29 #include <iterator> 30 #include <type_traits> 31 32 int main() 33 { 34 { 35 typedef double T; 36 typedef std::array<T, 10> C; 37 static_assert((std::is_same<C::reference, T&>::value), ""); 38 static_assert((std::is_same<C::const_reference, const T&>::value), ""); 39 static_assert((std::is_same<C::iterator, T*>::value), ""); 40 static_assert((std::is_same<C::const_iterator, const T*>::value), ""); 41 static_assert((std::is_same<C::pointer, T*>::value), ""); 42 static_assert((std::is_same<C::const_pointer, const T*>::value), ""); 43 static_assert((std::is_same<C::size_type, std::size_t>::value), ""); 44 static_assert((std::is_same<C::difference_type, std::ptrdiff_t>::value), ""); 45 static_assert((std::is_same<C::reverse_iterator, std::reverse_iterator<C::iterator> >::value), ""); 46 static_assert((std::is_same<C::const_reverse_iterator, std::reverse_iterator<C::const_iterator> >::value), ""); 47 } 48 { 49 typedef int* T; 50 typedef std::array<T, 0> C; 51 static_assert((std::is_same<C::reference, T&>::value), ""); 52 static_assert((std::is_same<C::const_reference, const T&>::value), ""); 53 static_assert((std::is_same<C::iterator, T*>::value), ""); 54 static_assert((std::is_same<C::const_iterator, const T*>::value), ""); 55 static_assert((std::is_same<C::pointer, T*>::value), ""); 56 static_assert((std::is_same<C::const_pointer, const T*>::value), ""); 57 static_assert((std::is_same<C::size_type, std::size_t>::value), ""); 58 static_assert((std::is_same<C::difference_type, std::ptrdiff_t>::value), ""); 59 static_assert((std::is_same<C::reverse_iterator, std::reverse_iterator<C::iterator> >::value), ""); 60 static_assert((std::is_same<C::const_reverse_iterator, std::reverse_iterator<C::const_iterator> >::value), ""); 61 } 62 } 63