1    	// <range_access.h> -*- C++ -*-
2    	
3    	// Copyright (C) 2010-2017 Free Software Foundation, Inc.
4    	//
5    	// This file is part of the GNU ISO C++ Library.  This library is free
6    	// software; you can redistribute it and/or modify it under the
7    	// terms of the GNU General Public License as published by the
8    	// Free Software Foundation; either version 3, or (at your option)
9    	// any later version.
10   	
11   	// This library is distributed in the hope that it will be useful,
12   	// but WITHOUT ANY WARRANTY; without even the implied warranty of
13   	// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14   	// GNU General Public License for more details.
15   	
16   	// Under Section 7 of GPL version 3, you are granted additional
17   	// permissions described in the GCC Runtime Library Exception, version
18   	// 3.1, as published by the Free Software Foundation.
19   	
20   	// You should have received a copy of the GNU General Public License and
21   	// a copy of the GCC Runtime Library Exception along with this program;
22   	// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
23   	// <http://www.gnu.org/licenses/>.
24   	
25   	/** @file bits/range_access.h
26   	 *  This is an internal header file, included by other library headers.
27   	 *  Do not attempt to use it directly. @headername{iterator}
28   	 */
29   	
30   	#ifndef _GLIBCXX_RANGE_ACCESS_H
31   	#define _GLIBCXX_RANGE_ACCESS_H 1
32   	
33   	#pragma GCC system_header
34   	
35   	#if __cplusplus >= 201103L
36   	#include <initializer_list>
37   	namespace std _GLIBCXX_VISIBILITY(default)
38   	{
39   	_GLIBCXX_BEGIN_NAMESPACE_VERSION
40   	
41   	  /**
42   	   *  @brief  Return an iterator pointing to the first element of
43   	   *          the container.
44   	   *  @param  __cont  Container.
45   	   */
46   	  template<typename _Container>
47   	    inline _GLIBCXX17_CONSTEXPR auto
48   	    begin(_Container& __cont) -> decltype(__cont.begin())
49   	    { return __cont.begin(); }
50   	
51   	  /**
52   	   *  @brief  Return an iterator pointing to the first element of
53   	   *          the const container.
54   	   *  @param  __cont  Container.
55   	   */
56   	  template<typename _Container>
57   	    inline _GLIBCXX17_CONSTEXPR auto
58   	    begin(const _Container& __cont) -> decltype(__cont.begin())
59   	    { return __cont.begin(); }
60   	
61   	  /**
62   	   *  @brief  Return an iterator pointing to one past the last element of
63   	   *          the container.
64   	   *  @param  __cont  Container.
65   	   */
66   	  template<typename _Container>
67   	    inline _GLIBCXX17_CONSTEXPR auto
68   	    end(_Container& __cont) -> decltype(__cont.end())
69   	    { return __cont.end(); }
70   	
71   	  /**
72   	   *  @brief  Return an iterator pointing to one past the last element of
73   	   *          the const container.
74   	   *  @param  __cont  Container.
75   	   */
76   	  template<typename _Container>
77   	    inline _GLIBCXX17_CONSTEXPR auto
78   	    end(const _Container& __cont) -> decltype(__cont.end())
79   	    { return __cont.end(); }
80   	
81   	  /**
82   	   *  @brief  Return an iterator pointing to the first element of the array.
83   	   *  @param  __arr  Array.
84   	   */
85   	  template<typename _Tp, size_t _Nm>
86   	    inline _GLIBCXX14_CONSTEXPR _Tp*
87   	    begin(_Tp (&__arr)[_Nm])
88   	    { return __arr; }
89   	
90   	  /**
91   	   *  @brief  Return an iterator pointing to one past the last element
92   	   *          of the array.
93   	   *  @param  __arr  Array.
94   	   */
95   	  template<typename _Tp, size_t _Nm>
96   	    inline _GLIBCXX14_CONSTEXPR _Tp*
97   	    end(_Tp (&__arr)[_Nm])
98   	    { return __arr + _Nm; }
99   	
100  	#if __cplusplus >= 201402L
101  	
102  	  template<typename _Tp> class valarray;
103  	  // These overloads must be declared for cbegin and cend to use them.
104  	  template<typename _Tp> _Tp* begin(valarray<_Tp>&);
105  	  template<typename _Tp> const _Tp* begin(const valarray<_Tp>&);
106  	  template<typename _Tp> _Tp* end(valarray<_Tp>&);
107  	  template<typename _Tp> const _Tp* end(const valarray<_Tp>&);
108  	
109  	  /**
110  	   *  @brief  Return an iterator pointing to the first element of
111  	   *          the const container.
112  	   *  @param  __cont  Container.
113  	   */
114  	  template<typename _Container>
115  	    inline constexpr auto
116  	    cbegin(const _Container& __cont) noexcept(noexcept(std::begin(__cont)))
117  	      -> decltype(std::begin(__cont))
118  	    { return std::begin(__cont); }
119  	
120  	  /**
121  	   *  @brief  Return an iterator pointing to one past the last element of
122  	   *          the const container.
123  	   *  @param  __cont  Container.
124  	   */
125  	  template<typename _Container>
126  	    inline constexpr auto
127  	    cend(const _Container& __cont) noexcept(noexcept(std::end(__cont)))
128  	      -> decltype(std::end(__cont))
129  	    { return std::end(__cont); }
130  	
131  	  /**
132  	   *  @brief  Return a reverse iterator pointing to the last element of
133  	   *          the container.
134  	   *  @param  __cont  Container.
135  	   */
136  	  template<typename _Container>
137  	    inline _GLIBCXX17_CONSTEXPR auto
138  	    rbegin(_Container& __cont) -> decltype(__cont.rbegin())
139  	    { return __cont.rbegin(); }
140  	
141  	  /**
142  	   *  @brief  Return a reverse iterator pointing to the last element of
143  	   *          the const container.
144  	   *  @param  __cont  Container.
145  	   */
146  	  template<typename _Container>
147  	    inline _GLIBCXX17_CONSTEXPR auto
148  	    rbegin(const _Container& __cont) -> decltype(__cont.rbegin())
149  	    { return __cont.rbegin(); }
150  	
151  	  /**
152  	   *  @brief  Return a reverse iterator pointing one past the first element of
153  	   *          the container.
154  	   *  @param  __cont  Container.
155  	   */
156  	  template<typename _Container>
157  	    inline _GLIBCXX17_CONSTEXPR auto
158  	    rend(_Container& __cont) -> decltype(__cont.rend())
159  	    { return __cont.rend(); }
160  	
161  	  /**
162  	   *  @brief  Return a reverse iterator pointing one past the first element of
163  	   *          the const container.
164  	   *  @param  __cont  Container.
165  	   */
166  	  template<typename _Container>
167  	    inline _GLIBCXX17_CONSTEXPR auto
168  	    rend(const _Container& __cont) -> decltype(__cont.rend())
169  	    { return __cont.rend(); }
170  	
171  	  /**
172  	   *  @brief  Return a reverse iterator pointing to the last element of
173  	   *          the array.
174  	   *  @param  __arr  Array.
175  	   */
176  	  template<typename _Tp, size_t _Nm>
177  	    inline _GLIBCXX17_CONSTEXPR reverse_iterator<_Tp*>
178  	    rbegin(_Tp (&__arr)[_Nm])
179  	    { return reverse_iterator<_Tp*>(__arr + _Nm); }
180  	
181  	  /**
182  	   *  @brief  Return a reverse iterator pointing one past the first element of
183  	   *          the array.
184  	   *  @param  __arr  Array.
185  	   */
186  	  template<typename _Tp, size_t _Nm>
187  	    inline _GLIBCXX17_CONSTEXPR reverse_iterator<_Tp*>
188  	    rend(_Tp (&__arr)[_Nm])
189  	    { return reverse_iterator<_Tp*>(__arr); }
190  	
191  	  /**
192  	   *  @brief  Return a reverse iterator pointing to the last element of
193  	   *          the initializer_list.
194  	   *  @param  __il  initializer_list.
195  	   */
196  	  template<typename _Tp>
197  	    inline _GLIBCXX17_CONSTEXPR reverse_iterator<const _Tp*>
198  	    rbegin(initializer_list<_Tp> __il)
199  	    { return reverse_iterator<const _Tp*>(__il.end()); }
200  	
201  	  /**
202  	   *  @brief  Return a reverse iterator pointing one past the first element of
203  	   *          the initializer_list.
204  	   *  @param  __il  initializer_list.
205  	   */
206  	  template<typename _Tp>
207  	    inline _GLIBCXX17_CONSTEXPR reverse_iterator<const _Tp*>
208  	    rend(initializer_list<_Tp> __il)
209  	    { return reverse_iterator<const _Tp*>(__il.begin()); }
210  	
211  	  /**
212  	   *  @brief  Return a reverse iterator pointing to the last element of
213  	   *          the const container.
214  	   *  @param  __cont  Container.
215  	   */
216  	  template<typename _Container>
217  	    inline _GLIBCXX17_CONSTEXPR auto
218  	    crbegin(const _Container& __cont) -> decltype(std::rbegin(__cont))
219  	    { return std::rbegin(__cont); }
220  	
221  	  /**
222  	   *  @brief  Return a reverse iterator pointing one past the first element of
223  	   *          the const container.
224  	   *  @param  __cont  Container.
225  	   */
226  	  template<typename _Container>
227  	    inline _GLIBCXX17_CONSTEXPR auto
228  	    crend(const _Container& __cont) -> decltype(std::rend(__cont))
229  	    { return std::rend(__cont); }
230  	
231  	#endif // C++14
232  	
233  	#if __cplusplus >= 201703L
234  	#define __cpp_lib_nonmember_container_access 201411
235  	
236  	  /**
237  	   *  @brief  Return the size of a container.
238  	   *  @param  __cont  Container.
239  	   */
240  	  template <typename _Container>
241  	    constexpr auto
242  	    size(const _Container& __cont) noexcept(noexcept(__cont.size()))
243  	    -> decltype(__cont.size())
244  	    { return __cont.size(); }
245  	
246  	  /**
247  	   *  @brief  Return the size of an array.
248  	   *  @param  __array  Array.
249  	   */
250  	  template <typename _Tp, size_t _Nm>
251  	    constexpr size_t
252  	    size(const _Tp (&/*__array*/)[_Nm]) noexcept
253  	    { return _Nm; }
254  	
255  	  /**
256  	   *  @brief  Return whether a container is empty.
257  	   *  @param  __cont  Container.
258  	   */
259  	  template <typename _Container>
260  	    constexpr auto
261  	    empty(const _Container& __cont) noexcept(noexcept(__cont.empty()))
262  	    -> decltype(__cont.empty())
263  	    { return __cont.empty(); }
264  	
265  	  /**
266  	   *  @brief  Return whether an array is empty (always false).
267  	   *  @param  __array  Container.
268  	   */
269  	  template <typename _Tp, size_t _Nm>
270  	    constexpr bool
271  	    empty(const _Tp (&/*__array*/)[_Nm]) noexcept
272  	    { return false; }
273  	
274  	  /**
275  	   *  @brief  Return whether an initializer_list is empty.
276  	   *  @param  __il  Initializer list.
277  	   */
278  	  template <typename _Tp>
279  	    constexpr bool
280  	    empty(initializer_list<_Tp> __il) noexcept
281  	    { return __il.size() == 0;}
282  	
283  	  /**
284  	   *  @brief  Return the data pointer of a container.
285  	   *  @param  __cont  Container.
286  	   */
287  	  template <typename _Container>
288  	    constexpr auto
289  	    data(_Container& __cont) noexcept(noexcept(__cont.data()))
290  	    -> decltype(__cont.data())
291  	    { return __cont.data(); }
292  	
293  	  /**
294  	   *  @brief  Return the data pointer of a const container.
295  	   *  @param  __cont  Container.
296  	   */
297  	  template <typename _Container>
298  	    constexpr auto
299  	    data(const _Container& __cont) noexcept(noexcept(__cont.data()))
300  	    -> decltype(__cont.data())
301  	    { return __cont.data(); }
302  	
303  	  /**
304  	   *  @brief  Return the data pointer of an array.
305  	   *  @param  __array  Array.
306  	   */
307  	  template <typename _Tp, size_t _Nm>
308  	    constexpr _Tp*
309  	    data(_Tp (&__array)[_Nm]) noexcept
310  	    { return __array; }
311  	
312  	  /**
313  	   *  @brief  Return the data pointer of an initializer list.
314  	   *  @param  __il  Initializer list.
315  	   */
316  	  template <typename _Tp>
317  	    constexpr const _Tp*
318  	    data(initializer_list<_Tp> __il) noexcept
319  	    { return __il.begin(); }
320  	
321  	#endif // C++17
322  	
323  	_GLIBCXX_END_NAMESPACE_VERSION
324  	} // namespace
325  	
326  	#endif // C++11
327  	
328  	#endif // _GLIBCXX_RANGE_ACCESS_H
329