libstdc++-v3/include/tr1_impl/array

   1 // class template array -*- C++ -*-
   2
   3 // Copyright (C) 2007, 2008 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 2, 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 // You should have received a copy of the GNU General Public License along
  17 // with this library; see the file COPYING.  If not, write to the Free
  18 // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
  19 // USA.
  20
  21 // As a special exception, you may use this file as part of a free software
  22 // library without restriction.  Specifically, if other files instantiate
  23 // templates or use macros or inline functions from this file, or you compile
  24 // this file and link it with other files to produce an executable, this
  25 // file does not by itself cause the resulting executable to be covered by
  26 // the GNU General Public License.  This exception does not however
  27 // invalidate any other reasons why the executable file might be covered by
  28 // the GNU General Public License.
  29
  30 /** @file tr1_impl/array
  31  *  This is an internal header file, included by other library headers.
  32  *  You should not attempt to use it directly.
  33  */
  34
  35 namespace std
  36 {
  37 _GLIBCXX_BEGIN_NAMESPACE_TR1
  38
  39   /// array.
  40   /// NB: Requires complete type _Tp.
  41   template<typename _Tp, std::size_t _Nm>
  42     struct array
  43     {
  44       typedef _Tp                                     value_type;
  45       typedef value_type&                             reference;
  46       typedef const value_type&                       const_reference;
  47       typedef value_type*                             iterator;
  48       typedef const value_type*                       const_iterator;
  49       typedef std::size_t                             size_type;
  50       typedef std::ptrdiff_t                          difference_type;
  51       typedef std::reverse_iterator<iterator>         reverse_iterator;
  52       typedef std::reverse_iterator<const_iterator>   const_reverse_iterator;
  53
  54       // Support for zero-sized arrays mandatory.
  55       value_type _M_instance[_Nm ? _Nm : 1];
  56
  57       // No explicit construct/copy/destroy for aggregate type.
  58
  59       void
  60       assign(const value_type& __u)
  61       { std::fill_n(begin(), size(), __u); }
  62
  63       void
  64       swap(array& __other)
  65       { std::swap_ranges(begin(), end(), __other.begin()); }
  66
  67       // Iterators.
  68       iterator
  69       begin()
  70       { return iterator(&_M_instance[0]); }
  71
  72       const_iterator
  73       begin() const
  74       { return const_iterator(&_M_instance[0]); }
  75
  76       iterator
  77       end()
  78       { return iterator(&_M_instance[_Nm]); }
  79
  80       const_iterator
  81       end() const
  82       { return const_iterator(&_M_instance[_Nm]); }
  83
  84       reverse_iterator
  85       rbegin()
  86       { return reverse_iterator(end()); }
  87
  88       const_reverse_iterator
  89       rbegin() const
  90       { return const_reverse_iterator(end()); }
  91
  92       reverse_iterator
  93       rend()
  94       { return reverse_iterator(begin()); }
  95
  96       const_reverse_iterator
  97       rend() const
  98       { return const_reverse_iterator(begin()); }
  99
 100 #ifdef _GLIBCXX_INCLUDE_AS_CXX0X
 101       const_iterator
 102       cbegin() const
 103       { return const_iterator(&_M_instance[0]); }
 104
 105       const_iterator
 106       cend() const
 107       { return const_iterator(&_M_instance[_Nm]); }
 108
 109       const_reverse_iterator
 110       crbegin() const
 111       { return const_reverse_iterator(end()); }
 112
 113       const_reverse_iterator
 114       crend() const
 115       { return const_reverse_iterator(begin()); }
 116 #endif
 117
 118       // Capacity.
 119       size_type
 120       size() const { return _Nm; }
 121
 122       size_type
 123       max_size() const { return _Nm; }
 124
 125       bool
 126       empty() const { return size() == 0; }
 127
 128       // Element access.
 129       reference
 130       operator[](size_type __n)
 131       { return _M_instance[__n]; }
 132
 133       const_reference
 134       operator[](size_type __n) const
 135       { return _M_instance[__n]; }
 136
 137       reference
 138       at(size_type __n)
 139       {
 140         if (__builtin_expect(__n >= _Nm, false))
 141           std::__throw_out_of_range(__N("array::at"));
 142         return _M_instance[__n];
 143       }
 144
 145       const_reference
 146       at(size_type __n) const
 147       {
 148         if (__builtin_expect(__n >= _Nm, false))
 149           std::__throw_out_of_range(__N("array::at"));
 150         return _M_instance[__n];
 151       }
 152
 153       reference
 154       front()
 155       { return *begin(); }
 156
 157       const_reference
 158       front() const
 159       { return *begin(); }
 160
 161       reference
 162       back()
 163       { return _Nm ? *(end() - 1) : *end(); }
 164
 165       const_reference
 166       back() const
 167       { return _Nm ? *(end() - 1) : *end(); }
 168
 169       _Tp*
 170       data()
 171       { return &_M_instance[0]; }
 172
 173       const _Tp*
 174       data() const
 175       { return &_M_instance[0]; }
 176     };
 177
 178   // Array comparisons.
 179   template<typename _Tp, std::size_t _Nm>
 180     inline bool
 181     operator==(const array<_Tp, _Nm>& __one, const array<_Tp, _Nm>& __two)
 182     { return std::equal(__one.begin(), __one.end(), __two.begin()); }
 183
 184   template<typename _Tp, std::size_t _Nm>
 185     inline bool
 186     operator!=(const array<_Tp, _Nm>& __one, const array<_Tp, _Nm>& __two)
 187     { return !(__one == __two); }
 188
 189   template<typename _Tp, std::size_t _Nm>
 190     inline bool
 191     operator<(const array<_Tp, _Nm>& __a, const array<_Tp, _Nm>& __b)
 192     {
 193       return std::lexicographical_compare(__a.begin(), __a.end(),
 194                                           __b.begin(), __b.end());
 195     }
 196
 197   template<typename _Tp, std::size_t _Nm>
 198     inline bool
 199     operator>(const array<_Tp, _Nm>& __one, const array<_Tp, _Nm>& __two)
 200     { return __two < __one; }
 201
 202   template<typename _Tp, std::size_t _Nm>
 203     inline bool
 204     operator<=(const array<_Tp, _Nm>& __one, const array<_Tp, _Nm>& __two)
 205     { return !(__one > __two); }
 206
 207   template<typename _Tp, std::size_t _Nm>
 208     inline bool
 209     operator>=(const array<_Tp, _Nm>& __one, const array<_Tp, _Nm>& __two)
 210     { return !(__one < __two); }
 211
 212   // Specialized algorithms [6.2.2.2].
 213   template<typename _Tp, std::size_t _Nm>
 214     inline void
 215     swap(array<_Tp, _Nm>& __one, array<_Tp, _Nm>& __two)
 216     { std::swap_ranges(__one.begin(), __one.end(), __two.begin()); }
 217
 218   // Tuple interface to class template array [6.2.2.5].
 219
 220   /// tuple_size
 221   template<typename _Tp>
 222     class tuple_size;
 223
 224   /// tuple_element
 225 #ifdef _GLIBCXX_INCLUDE_AS_CXX0X
 226   template<std::size_t _Int, typename _Tp>
 227 #else
 228   template<int _Int, typename _Tp>
 229 #endif
 230     class tuple_element;
 231
 232   template<typename _Tp, std::size_t _Nm>
 233     struct tuple_size<array<_Tp, _Nm> >
 234 #ifdef _GLIBCXX_INCLUDE_AS_CXX0X
 235     { static const std::size_t value = _Nm; };
 236 #else
 237     { static const int value = _Nm; };
 238 #endif
 239
 240   template<typename _Tp, std::size_t _Nm>
 241 #ifdef _GLIBCXX_INCLUDE_AS_CXX0X
 242     const std::size_t
 243 #else
 244     const int
 245 #endif
 246     tuple_size<array<_Tp, _Nm> >::value;
 247
 248 #ifdef _GLIBCXX_INCLUDE_AS_CXX0X
 249   template<std::size_t _Int, typename _Tp, std::size_t _Nm>
 250 #else
 251   template<int _Int, typename _Tp, std::size_t _Nm>
 252 #endif
 253     struct tuple_element<_Int, array<_Tp, _Nm> >
 254     { typedef _Tp type; };
 255
 256 #ifdef _GLIBCXX_INCLUDE_AS_CXX0X
 257   template<std::size_t _Int, typename _Tp, std::size_t _Nm>
 258 #else
 259   template<int _Int, typename _Tp, std::size_t _Nm>
 260 #endif
 261     inline _Tp&
 262     get(array<_Tp, _Nm>& __arr)
 263     { return __arr[_Int]; }
 264
 265 #ifdef _GLIBCXX_INCLUDE_AS_CXX0X
 266   template<std::size_t _Int, typename _Tp, std::size_t _Nm>
 267 #else
 268   template<int _Int, typename _Tp, std::size_t _Nm>
 269 #endif
 270     inline const _Tp&
 271     get(const array<_Tp, _Nm>& __arr)
 272     { return __arr[_Int]; }
 273
 274 _GLIBCXX_END_NAMESPACE_TR1
 275 }