| //===----------------------------------------------------------------------===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is dual licensed under the MIT and the University of Illinois Open |
| // Source Licenses. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| // <array> |
| |
| // template <class T, size_t N > |
| // struct array |
| // { |
| // // types: |
| // typedef T& reference; |
| // typedef const T& const_reference; |
| // typedef implementation defined iterator; |
| // typedef implementation defined const_iterator; |
| // typedef T value_type; |
| // typedef T* pointer; |
| // typedef size_t size_type; |
| // typedef ptrdiff_t difference_type; |
| // typedef T value_type; |
| // typedef std::reverse_iterator<iterator> reverse_iterator; |
| // typedef std::reverse_iterator<const_iterator> const_reverse_iterator; |
| |
| #include <array> |
| #include <iterator> |
| #include <type_traits> |
| |
| int main() |
| { |
| { |
| typedef double T; |
| typedef std::array<T, 10> C; |
| static_assert((std::is_same<C::reference, T&>::value), ""); |
| static_assert((std::is_same<C::const_reference, const T&>::value), ""); |
| static_assert((std::is_same<C::iterator, T*>::value), ""); |
| static_assert((std::is_same<C::const_iterator, const T*>::value), ""); |
| static_assert((std::is_same<C::pointer, T*>::value), ""); |
| static_assert((std::is_same<C::const_pointer, const T*>::value), ""); |
| static_assert((std::is_same<C::size_type, std::size_t>::value), ""); |
| static_assert((std::is_same<C::difference_type, std::ptrdiff_t>::value), ""); |
| static_assert((std::is_same<C::reverse_iterator, std::reverse_iterator<C::iterator> >::value), ""); |
| static_assert((std::is_same<C::const_reverse_iterator, std::reverse_iterator<C::const_iterator> >::value), ""); |
| } |
| { |
| typedef int* T; |
| typedef std::array<T, 0> C; |
| static_assert((std::is_same<C::reference, T&>::value), ""); |
| static_assert((std::is_same<C::const_reference, const T&>::value), ""); |
| static_assert((std::is_same<C::iterator, T*>::value), ""); |
| static_assert((std::is_same<C::const_iterator, const T*>::value), ""); |
| static_assert((std::is_same<C::pointer, T*>::value), ""); |
| static_assert((std::is_same<C::const_pointer, const T*>::value), ""); |
| static_assert((std::is_same<C::size_type, std::size_t>::value), ""); |
| static_assert((std::is_same<C::difference_type, std::ptrdiff_t>::value), ""); |
| static_assert((std::is_same<C::reverse_iterator, std::reverse_iterator<C::iterator> >::value), ""); |
| static_assert((std::is_same<C::const_reverse_iterator, std::reverse_iterator<C::const_iterator> >::value), ""); |
| } |
| } |