1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
// (C) Copyright John Maddock 2005.
// Use, modification and distribution are subject to the
// Boost Software License, Version 1.0. (See accompanying file
// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
#ifdef TEST_STD_HEADERS
#include <array>
#else
#include <boost/tr1/array.hpp>
#endif
#include <string>
#include <boost/static_assert.hpp>
#include <boost/type_traits/is_same.hpp>
#include "verify_return.hpp"
template <class T>
void check_array(T& a)
{
typedef typename T::reference reference;
typedef typename T::const_reference const_reference;
typedef typename T::iterator iterator;
typedef typename T::const_iterator const_iterator;
typedef typename T::size_type size_type;
typedef typename T::difference_type difference_type;
typedef typename T::value_type value_type;
typedef typename T::reverse_iterator reverse_iterator;
typedef typename T::const_reverse_iterator const_reverse_iterator;
BOOST_STATIC_ASSERT((::boost::is_same<value_type&, reference>::value));
BOOST_STATIC_ASSERT((::boost::is_same<value_type const&, const_reference>::value));
BOOST_STATIC_ASSERT((::boost::is_same<std::size_t, size_type>::value));
BOOST_STATIC_ASSERT((::boost::is_same<std::ptrdiff_t, difference_type>::value));
BOOST_STATIC_ASSERT((::boost::is_same<std::reverse_iterator<iterator>, reverse_iterator>::value));
BOOST_STATIC_ASSERT((::boost::is_same<std::reverse_iterator<const_iterator>, const_reverse_iterator>::value));
const T& ca = a;
const T& ca2 = a;
verify_return_type(a.begin(), iterator());
verify_return_type(ca.begin(), const_iterator());
verify_return_type(a.end(), iterator());
verify_return_type(ca.end(), const_iterator());
verify_return_type(a.rbegin(), reverse_iterator());
verify_return_type(ca.rbegin(), const_reverse_iterator());
verify_return_type(a.rend(), reverse_iterator());
verify_return_type(ca.rend(), const_reverse_iterator());
verify_return_type(ca.size(), size_type(0));
verify_return_type(ca.max_size(), size_type(0));
verify_return_type(ca.empty(), false);
verify_return_type(&a[0], static_cast<value_type*>(0));
verify_return_type(&ca[0], static_cast<const value_type*>(0));
verify_return_type(&a.at(0), static_cast<value_type*>(0));
verify_return_type(&ca.at(0), static_cast<const value_type*>(0));
verify_return_type(&a.front(), static_cast<value_type*>(0));
verify_return_type(&ca.front(), static_cast<const value_type*>(0));
verify_return_type(&a.back(), static_cast<value_type*>(0));
verify_return_type(&ca.back(), static_cast<const value_type*>(0));
//verify_return_type(a.data(), static_cast<value_type*>(0));
verify_return_type(ca.data(), static_cast<const value_type*>(0));
// swap:
std::tr1::swap(a, a);
verify_return_type(ca == ca2, false);
verify_return_type(ca != ca2, false);
verify_return_type(ca < ca2, false);
verify_return_type(ca > ca2, false);
verify_return_type(ca <= ca2, false);
verify_return_type(ca >= ca2, false);
BOOST_STATIC_ASSERT((::boost::is_same< typename std::tr1::tuple_element<0,T>::type, value_type>::value));
verify_return_type(&std::tr1::get<0>(a), static_cast<value_type*>(0));
verify_return_type(&std::tr1::get<0>(ca), static_cast<const value_type*>(0));
}
int main()
{
std::tr1::array<int,2> a1 = {};
check_array(a1);
BOOST_STATIC_ASSERT((std::tr1::tuple_size<std::tr1::array<int,2> >::value == 2));
std::tr1::array<std::string,4> a2 = { "abc", "def", "", "y", };
check_array(a2);
BOOST_STATIC_ASSERT((std::tr1::tuple_size<std::tr1::array<std::string,4> >::value == 4));
return 0;
}
|
