1//===----------------------------------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9// <array>
10
11// template <class T, size_t N >
12// struct array
13// {
14// // types:
15// typedef T& reference;
16// typedef const T& const_reference;
17// typedef implementation defined iterator;
18// typedef implementation defined const_iterator;
19// typedef T value_type;
20// typedef T* pointer;
21// typedef size_t size_type;
22// typedef ptrdiff_t difference_type;
23// typedef T value_type;
24// typedef std::reverse_iterator<iterator> reverse_iterator;
25// typedef std::reverse_iterator<const_iterator> const_reverse_iterator;
26
27#include <array>
28#include <iterator>
29#include <type_traits>
30
31#include "test_macros.h"
32
33template <class C>
34void test_iterators() {
35 typedef std::iterator_traits<typename C::iterator> ItT;
36 typedef std::iterator_traits<typename C::const_iterator> CItT;
37 static_assert((std::is_same<typename ItT::iterator_category, std::random_access_iterator_tag>::value), "");
38 static_assert((std::is_same<typename ItT::value_type, typename C::value_type>::value), "");
39 static_assert((std::is_same<typename ItT::reference, typename C::reference>::value), "");
40 static_assert((std::is_same<typename ItT::pointer, typename C::pointer>::value), "");
41 static_assert((std::is_same<typename ItT::difference_type, typename C::difference_type>::value), "");
42
43 static_assert((std::is_same<typename CItT::iterator_category, std::random_access_iterator_tag>::value), "");
44 static_assert((std::is_same<typename CItT::value_type, typename C::value_type>::value), "");
45 static_assert((std::is_same<typename CItT::reference, typename C::const_reference>::value), "");
46 static_assert((std::is_same<typename CItT::pointer, typename C::const_pointer>::value), "");
47 static_assert((std::is_same<typename CItT::difference_type, typename C::difference_type>::value), "");
48}
49
50int main(int, char**) {
51 {
52 typedef double T;
53 typedef std::array<T, 10> C;
54 static_assert((std::is_same<C::reference, T&>::value), "");
55 static_assert((std::is_same<C::const_reference, const T&>::value), "");
56 test_iterators<C>();
57 static_assert((std::is_same<C::pointer, T*>::value), "");
58 static_assert((std::is_same<C::const_pointer, const T*>::value), "");
59 static_assert((std::is_same<C::size_type, std::size_t>::value), "");
60 static_assert((std::is_same<C::difference_type, std::ptrdiff_t>::value), "");
61 static_assert((std::is_same<C::reverse_iterator, std::reverse_iterator<C::iterator> >::value), "");
62 static_assert((std::is_same<C::const_reverse_iterator, std::reverse_iterator<C::const_iterator> >::value), "");
63
64 static_assert((std::is_signed<typename C::difference_type>::value), "");
65 static_assert((std::is_unsigned<typename C::size_type>::value), "");
66 static_assert((std::is_same<typename C::difference_type,
67 typename std::iterator_traits<typename C::iterator>::difference_type>::value),
68 "");
69 static_assert((std::is_same<typename C::difference_type,
70 typename std::iterator_traits<typename C::const_iterator>::difference_type>::value),
71 "");
72 }
73 {
74 typedef int* T;
75 typedef std::array<T, 0> C;
76 static_assert((std::is_same<C::reference, T&>::value), "");
77 static_assert((std::is_same<C::const_reference, const T&>::value), "");
78 test_iterators<C>();
79 static_assert((std::is_same<C::pointer, T*>::value), "");
80 static_assert((std::is_same<C::const_pointer, const T*>::value), "");
81 static_assert((std::is_same<C::size_type, std::size_t>::value), "");
82 static_assert((std::is_same<C::difference_type, std::ptrdiff_t>::value), "");
83 static_assert((std::is_same<C::reverse_iterator, std::reverse_iterator<C::iterator> >::value), "");
84 static_assert((std::is_same<C::const_reverse_iterator, std::reverse_iterator<C::const_iterator> >::value), "");
85
86 static_assert((std::is_signed<typename C::difference_type>::value), "");
87 static_assert((std::is_unsigned<typename C::size_type>::value), "");
88 static_assert((std::is_same<typename C::difference_type,
89 typename std::iterator_traits<typename C::iterator>::difference_type>::value),
90 "");
91 static_assert((std::is_same<typename C::difference_type,
92 typename std::iterator_traits<typename C::const_iterator>::difference_type>::value),
93 "");
94 }
95
96 return 0;
97}
98

source code of libcxx/test/std/containers/sequences/array/types.pass.cpp