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