xref: /netbsd-src/external/gpl3/gcc/dist/libstdc++-v3/include/bits/slice_array.h (revision b1e838363e3c6fc78a55519254d99869742dd33c)
14fee23f9Smrg // The template and inlines for the -*- C++ -*- slice_array class.
24fee23f9Smrg 
3*b1e83836Smrg // Copyright (C) 1997-2022 Free Software Foundation, Inc.
44fee23f9Smrg //
54fee23f9Smrg // This file is part of the GNU ISO C++ Library.  This library is free
64fee23f9Smrg // software; you can redistribute it and/or modify it under the
74fee23f9Smrg // terms of the GNU General Public License as published by the
84fee23f9Smrg // Free Software Foundation; either version 3, or (at your option)
94fee23f9Smrg // any later version.
104fee23f9Smrg 
114fee23f9Smrg // This library is distributed in the hope that it will be useful,
124fee23f9Smrg // but WITHOUT ANY WARRANTY; without even the implied warranty of
134fee23f9Smrg // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
144fee23f9Smrg // GNU General Public License for more details.
154fee23f9Smrg 
164fee23f9Smrg // Under Section 7 of GPL version 3, you are granted additional
174fee23f9Smrg // permissions described in the GCC Runtime Library Exception, version
184fee23f9Smrg // 3.1, as published by the Free Software Foundation.
194fee23f9Smrg 
204fee23f9Smrg // You should have received a copy of the GNU General Public License and
214fee23f9Smrg // a copy of the GCC Runtime Library Exception along with this program;
224fee23f9Smrg // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
234fee23f9Smrg // <http://www.gnu.org/licenses/>.
244fee23f9Smrg 
2548fb7bfaSmrg /** @file bits/slice_array.h
264fee23f9Smrg  *  This is an internal header file, included by other library headers.
2748fb7bfaSmrg  *  Do not attempt to use it directly. @headername{valarray}
284fee23f9Smrg  */
294fee23f9Smrg 
304fee23f9Smrg // Written by Gabriel Dos Reis <Gabriel.Dos-Reis@DPTMaths.ENS-Cachan.Fr>
314fee23f9Smrg 
324fee23f9Smrg #ifndef _SLICE_ARRAY_H
334fee23f9Smrg #define _SLICE_ARRAY_H 1
344fee23f9Smrg 
354fee23f9Smrg #pragma GCC system_header
364fee23f9Smrg 
_GLIBCXX_VISIBILITY(default)3748fb7bfaSmrg namespace std _GLIBCXX_VISIBILITY(default)
3848fb7bfaSmrg {
3948fb7bfaSmrg _GLIBCXX_BEGIN_NAMESPACE_VERSION
404fee23f9Smrg 
414fee23f9Smrg   /**
424fee23f9Smrg    * @addtogroup numeric_arrays
434fee23f9Smrg    * @{
444fee23f9Smrg    */
454fee23f9Smrg 
464fee23f9Smrg   /**
474fee23f9Smrg    *  @brief  Class defining one-dimensional subset of an array.
484fee23f9Smrg    *
494fee23f9Smrg    *  The slice class represents a one-dimensional subset of an array,
504fee23f9Smrg    *  specified by three parameters: start offset, size, and stride.  The
514fee23f9Smrg    *  start offset is the index of the first element of the array that is part
524fee23f9Smrg    *  of the subset.  The size is the total number of elements in the subset.
534fee23f9Smrg    *  Stride is the distance between each successive array element to include
544fee23f9Smrg    *  in the subset.
554fee23f9Smrg    *
564fee23f9Smrg    *  For example, with an array of size 10, and a slice with offset 1, size 3
574fee23f9Smrg    *  and stride 2, the subset consists of array elements 1, 3, and 5.
584fee23f9Smrg    */
594fee23f9Smrg   class slice
604fee23f9Smrg   {
614fee23f9Smrg   public:
624fee23f9Smrg     ///  Construct an empty slice.
634fee23f9Smrg     slice();
644fee23f9Smrg 
654fee23f9Smrg     /**
664fee23f9Smrg      *  @brief  Construct a slice.
674fee23f9Smrg      *
6848fb7bfaSmrg      *  @param  __o  Offset in array of first element.
6948fb7bfaSmrg      *  @param  __d  Number of elements in slice.
7048fb7bfaSmrg      *  @param  __s  Stride between array elements.
714fee23f9Smrg      */
7248fb7bfaSmrg     slice(size_t __o, size_t __d, size_t __s);
734fee23f9Smrg 
744fee23f9Smrg     ///  Return array offset of first slice element.
754fee23f9Smrg     size_t start() const;
764fee23f9Smrg     ///  Return size of slice.
774fee23f9Smrg     size_t size() const;
784fee23f9Smrg     ///  Return array stride of slice.
794fee23f9Smrg     size_t stride() const;
804fee23f9Smrg 
81fb8a8121Smrg #if __cpp_impl_three_way_comparison >= 201907L
82fb8a8121Smrg     /// Equality comparison
83fb8a8121Smrg     friend bool operator==(const slice&, const slice&) = default;
84fb8a8121Smrg #endif
85fb8a8121Smrg 
864fee23f9Smrg   private:
874fee23f9Smrg     size_t _M_off;                      // offset
884fee23f9Smrg     size_t _M_sz;			// size
894fee23f9Smrg     size_t _M_st;			// stride unit
904fee23f9Smrg   };
914fee23f9Smrg 
924fee23f9Smrg   // _GLIBCXX_RESOLVE_LIB_DEFECTS
934fee23f9Smrg   // 543. valarray slice default constructor
944fee23f9Smrg   inline
954fee23f9Smrg   slice::slice()
964fee23f9Smrg   : _M_off(0), _M_sz(0), _M_st(0) {}
974fee23f9Smrg 
984fee23f9Smrg   inline
994fee23f9Smrg   slice::slice(size_t __o, size_t __d, size_t __s)
1004fee23f9Smrg   : _M_off(__o), _M_sz(__d), _M_st(__s) {}
1014fee23f9Smrg 
1024fee23f9Smrg   inline size_t
1034fee23f9Smrg   slice::start() const
1044fee23f9Smrg   { return _M_off; }
1054fee23f9Smrg 
1064fee23f9Smrg   inline size_t
1074fee23f9Smrg   slice::size() const
1084fee23f9Smrg   { return _M_sz; }
1094fee23f9Smrg 
1104fee23f9Smrg   inline size_t
1114fee23f9Smrg   slice::stride() const
1124fee23f9Smrg   { return _M_st; }
1134fee23f9Smrg 
1144fee23f9Smrg   /**
1154fee23f9Smrg    *  @brief  Reference to one-dimensional subset of an array.
1164fee23f9Smrg    *
1174fee23f9Smrg    *  A slice_array is a reference to the actual elements of an array
1184fee23f9Smrg    *  specified by a slice.  The way to get a slice_array is to call
1194fee23f9Smrg    *  operator[](slice) on a valarray.  The returned slice_array then permits
1204fee23f9Smrg    *  carrying operations out on the referenced subset of elements in the
1214fee23f9Smrg    *  original valarray.  For example, operator+=(valarray) will add values
1224fee23f9Smrg    *  to the subset of elements in the underlying valarray this slice_array
1234fee23f9Smrg    *  refers to.
1244fee23f9Smrg    *
1254fee23f9Smrg    *  @param  Tp  Element type.
1264fee23f9Smrg    */
1274fee23f9Smrg   template<typename _Tp>
1284fee23f9Smrg     class slice_array
1294fee23f9Smrg     {
1304fee23f9Smrg     public:
1314fee23f9Smrg       typedef _Tp value_type;
1324fee23f9Smrg 
1334fee23f9Smrg       // _GLIBCXX_RESOLVE_LIB_DEFECTS
1344fee23f9Smrg       // 253. valarray helper functions are almost entirely useless
1354fee23f9Smrg 
1364fee23f9Smrg       ///  Copy constructor.  Both slices refer to the same underlying array.
1374fee23f9Smrg       slice_array(const slice_array&);
1384fee23f9Smrg 
1394fee23f9Smrg       ///  Assignment operator.  Assigns slice elements to corresponding
1404fee23f9Smrg       ///  elements of @a a.
1414fee23f9Smrg       slice_array& operator=(const slice_array&);
1424fee23f9Smrg 
1434fee23f9Smrg       ///  Assign slice elements to corresponding elements of @a v.
1444fee23f9Smrg       void operator=(const valarray<_Tp>&) const;
1454fee23f9Smrg       ///  Multiply slice elements by corresponding elements of @a v.
1464fee23f9Smrg       void operator*=(const valarray<_Tp>&) const;
1474fee23f9Smrg       ///  Divide slice elements by corresponding elements of @a v.
1484fee23f9Smrg       void operator/=(const valarray<_Tp>&) const;
1494fee23f9Smrg       ///  Modulo slice elements by corresponding elements of @a v.
1504fee23f9Smrg       void operator%=(const valarray<_Tp>&) const;
1514fee23f9Smrg       ///  Add corresponding elements of @a v to slice elements.
1524fee23f9Smrg       void operator+=(const valarray<_Tp>&) const;
1534fee23f9Smrg       ///  Subtract corresponding elements of @a v from slice elements.
1544fee23f9Smrg       void operator-=(const valarray<_Tp>&) const;
1554fee23f9Smrg       ///  Logical xor slice elements with corresponding elements of @a v.
1564fee23f9Smrg       void operator^=(const valarray<_Tp>&) const;
1574fee23f9Smrg       ///  Logical and slice elements with corresponding elements of @a v.
1584fee23f9Smrg       void operator&=(const valarray<_Tp>&) const;
1594fee23f9Smrg       ///  Logical or slice elements with corresponding elements of @a v.
1604fee23f9Smrg       void operator|=(const valarray<_Tp>&) const;
1614fee23f9Smrg       ///  Left shift slice elements by corresponding elements of @a v.
1624fee23f9Smrg       void operator<<=(const valarray<_Tp>&) const;
1634fee23f9Smrg       ///  Right shift slice elements by corresponding elements of @a v.
1644fee23f9Smrg       void operator>>=(const valarray<_Tp>&) const;
1654fee23f9Smrg       ///  Assign all slice elements to @a t.
1664fee23f9Smrg       void operator=(const _Tp &) const;
1674fee23f9Smrg       //        ~slice_array ();
1684fee23f9Smrg 
1694fee23f9Smrg       template<class _Dom>
1704fee23f9Smrg         void operator=(const _Expr<_Dom, _Tp>&) const;
1714fee23f9Smrg       template<class _Dom>
1724fee23f9Smrg 	void operator*=(const _Expr<_Dom, _Tp>&) const;
1734fee23f9Smrg       template<class _Dom>
1744fee23f9Smrg 	void operator/=(const _Expr<_Dom, _Tp>&) const;
1754fee23f9Smrg       template<class _Dom>
1764fee23f9Smrg 	void operator%=(const _Expr<_Dom, _Tp>&) const;
1774fee23f9Smrg       template<class _Dom>
1784fee23f9Smrg 	void operator+=(const _Expr<_Dom, _Tp>&) const;
1794fee23f9Smrg       template<class _Dom>
1804fee23f9Smrg 	void operator-=(const _Expr<_Dom, _Tp>&) const;
1814fee23f9Smrg       template<class _Dom>
1824fee23f9Smrg 	void operator^=(const _Expr<_Dom, _Tp>&) const;
1834fee23f9Smrg       template<class _Dom>
1844fee23f9Smrg 	void operator&=(const _Expr<_Dom, _Tp>&) const;
1854fee23f9Smrg       template<class _Dom>
1864fee23f9Smrg 	void operator|=(const _Expr<_Dom, _Tp>&) const;
1874fee23f9Smrg       template<class _Dom>
1884fee23f9Smrg 	void operator<<=(const _Expr<_Dom, _Tp>&) const;
1894fee23f9Smrg       template<class _Dom>
1904fee23f9Smrg 	void operator>>=(const _Expr<_Dom, _Tp>&) const;
1914fee23f9Smrg 
1924fee23f9Smrg     private:
1934fee23f9Smrg       friend class valarray<_Tp>;
1944fee23f9Smrg       slice_array(_Array<_Tp>, const slice&);
1954fee23f9Smrg 
1964fee23f9Smrg       const size_t      _M_sz;
1974fee23f9Smrg       const size_t      _M_stride;
1984fee23f9Smrg       const _Array<_Tp> _M_array;
1994fee23f9Smrg 
200181254a7Smrg #if __cplusplus < 201103L
2014fee23f9Smrg       // not implemented
2024fee23f9Smrg       slice_array();
203181254a7Smrg #else
204181254a7Smrg     public:
205181254a7Smrg       slice_array() = delete;
206181254a7Smrg #endif
2074fee23f9Smrg     };
2084fee23f9Smrg 
2094fee23f9Smrg   template<typename _Tp>
2104fee23f9Smrg     inline
2114fee23f9Smrg     slice_array<_Tp>::slice_array(_Array<_Tp> __a, const slice& __s)
2124fee23f9Smrg     : _M_sz(__s.size()), _M_stride(__s.stride()),
2134fee23f9Smrg       _M_array(__a.begin() + __s.start()) {}
2144fee23f9Smrg 
2154fee23f9Smrg   template<typename _Tp>
2164fee23f9Smrg     inline
2173f4ceed9Smrg     slice_array<_Tp>::slice_array(const slice_array<_Tp>& __a)
2183f4ceed9Smrg     : _M_sz(__a._M_sz), _M_stride(__a._M_stride), _M_array(__a._M_array) {}
2194fee23f9Smrg 
2204fee23f9Smrg   //    template<typename _Tp>
2214fee23f9Smrg   //    inline slice_array<_Tp>::~slice_array () {}
2224fee23f9Smrg 
2234fee23f9Smrg   template<typename _Tp>
2244fee23f9Smrg     inline slice_array<_Tp>&
2254fee23f9Smrg     slice_array<_Tp>::operator=(const slice_array<_Tp>& __a)
2264fee23f9Smrg     {
2274fee23f9Smrg       std::__valarray_copy(__a._M_array, __a._M_sz, __a._M_stride,
2284fee23f9Smrg 			   _M_array, _M_stride);
2294fee23f9Smrg       return *this;
2304fee23f9Smrg     }
2314fee23f9Smrg 
2324fee23f9Smrg   template<typename _Tp>
2334fee23f9Smrg     inline void
2344fee23f9Smrg     slice_array<_Tp>::operator=(const _Tp& __t) const
2354fee23f9Smrg     { std::__valarray_fill(_M_array, _M_sz, _M_stride, __t); }
2364fee23f9Smrg 
2374fee23f9Smrg   template<typename _Tp>
2384fee23f9Smrg     inline void
2394fee23f9Smrg     slice_array<_Tp>::operator=(const valarray<_Tp>& __v) const
2404fee23f9Smrg     { std::__valarray_copy(_Array<_Tp>(__v), _M_array, _M_sz, _M_stride); }
2414fee23f9Smrg 
2424fee23f9Smrg   template<typename _Tp>
2434fee23f9Smrg   template<class _Dom>
2444fee23f9Smrg     inline void
2454fee23f9Smrg     slice_array<_Tp>::operator=(const _Expr<_Dom,_Tp>& __e) const
2464fee23f9Smrg     { std::__valarray_copy(__e, _M_sz, _M_array, _M_stride); }
2474fee23f9Smrg 
2487d4dc15bSmrg   /// @cond undocumented
2494fee23f9Smrg #undef _DEFINE_VALARRAY_OPERATOR
2504fee23f9Smrg #define _DEFINE_VALARRAY_OPERATOR(_Op,_Name)				\
2514fee23f9Smrg   template<typename _Tp>						\
2524fee23f9Smrg     inline void								\
2534fee23f9Smrg     slice_array<_Tp>::operator _Op##=(const valarray<_Tp>& __v) const	\
2544fee23f9Smrg     {									\
2554fee23f9Smrg       _Array_augmented_##_Name(_M_array, _M_sz, _M_stride, _Array<_Tp>(__v));\
2564fee23f9Smrg     }									\
2574fee23f9Smrg 									\
2584fee23f9Smrg   template<typename _Tp>                                                \
2594fee23f9Smrg     template<class _Dom>				                \
2604fee23f9Smrg       inline void							\
2614fee23f9Smrg       slice_array<_Tp>::operator _Op##=(const _Expr<_Dom,_Tp>& __e) const\
2624fee23f9Smrg       {									\
2634fee23f9Smrg 	  _Array_augmented_##_Name(_M_array, _M_stride, __e, _M_sz);	\
2644fee23f9Smrg       }
2654fee23f9Smrg 
2664fee23f9Smrg 
2674fee23f9Smrg _DEFINE_VALARRAY_OPERATOR(*, __multiplies)
2684fee23f9Smrg _DEFINE_VALARRAY_OPERATOR(/, __divides)
2694fee23f9Smrg _DEFINE_VALARRAY_OPERATOR(%, __modulus)
2704fee23f9Smrg _DEFINE_VALARRAY_OPERATOR(+, __plus)
2714fee23f9Smrg _DEFINE_VALARRAY_OPERATOR(-, __minus)
2724fee23f9Smrg _DEFINE_VALARRAY_OPERATOR(^, __bitwise_xor)
2734fee23f9Smrg _DEFINE_VALARRAY_OPERATOR(&, __bitwise_and)
2744fee23f9Smrg _DEFINE_VALARRAY_OPERATOR(|, __bitwise_or)
2754fee23f9Smrg _DEFINE_VALARRAY_OPERATOR(<<, __shift_left)
2764fee23f9Smrg _DEFINE_VALARRAY_OPERATOR(>>, __shift_right)
2774fee23f9Smrg 
2784fee23f9Smrg #undef _DEFINE_VALARRAY_OPERATOR
2797d4dc15bSmrg   /// @endcond
2804fee23f9Smrg 
281a448f87cSmrg   /// @} group numeric_arrays
2824fee23f9Smrg 
28348fb7bfaSmrg _GLIBCXX_END_NAMESPACE_VERSION
28448fb7bfaSmrg } // namespace
2854fee23f9Smrg 
2864fee23f9Smrg #endif /* _SLICE_ARRAY_H */
287