11debfc3dSmrg // The template and inlines for the -*- C++ -*- slice_array class.
21debfc3dSmrg
38feb0f0bSmrg // Copyright (C) 1997-2020 Free Software Foundation, Inc.
41debfc3dSmrg //
51debfc3dSmrg // This file is part of the GNU ISO C++ Library. This library is free
61debfc3dSmrg // software; you can redistribute it and/or modify it under the
71debfc3dSmrg // terms of the GNU General Public License as published by the
81debfc3dSmrg // Free Software Foundation; either version 3, or (at your option)
91debfc3dSmrg // any later version.
101debfc3dSmrg
111debfc3dSmrg // This library is distributed in the hope that it will be useful,
121debfc3dSmrg // but WITHOUT ANY WARRANTY; without even the implied warranty of
131debfc3dSmrg // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
141debfc3dSmrg // GNU General Public License for more details.
151debfc3dSmrg
161debfc3dSmrg // Under Section 7 of GPL version 3, you are granted additional
171debfc3dSmrg // permissions described in the GCC Runtime Library Exception, version
181debfc3dSmrg // 3.1, as published by the Free Software Foundation.
191debfc3dSmrg
201debfc3dSmrg // You should have received a copy of the GNU General Public License and
211debfc3dSmrg // a copy of the GCC Runtime Library Exception along with this program;
221debfc3dSmrg // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
231debfc3dSmrg // <http://www.gnu.org/licenses/>.
241debfc3dSmrg
251debfc3dSmrg /** @file bits/slice_array.h
261debfc3dSmrg * This is an internal header file, included by other library headers.
271debfc3dSmrg * Do not attempt to use it directly. @headername{valarray}
281debfc3dSmrg */
291debfc3dSmrg
301debfc3dSmrg // Written by Gabriel Dos Reis <Gabriel.Dos-Reis@DPTMaths.ENS-Cachan.Fr>
311debfc3dSmrg
321debfc3dSmrg #ifndef _SLICE_ARRAY_H
331debfc3dSmrg #define _SLICE_ARRAY_H 1
341debfc3dSmrg
351debfc3dSmrg #pragma GCC system_header
361debfc3dSmrg
_GLIBCXX_VISIBILITY(default)371debfc3dSmrg namespace std _GLIBCXX_VISIBILITY(default)
381debfc3dSmrg {
391debfc3dSmrg _GLIBCXX_BEGIN_NAMESPACE_VERSION
401debfc3dSmrg
411debfc3dSmrg /**
421debfc3dSmrg * @addtogroup numeric_arrays
431debfc3dSmrg * @{
441debfc3dSmrg */
451debfc3dSmrg
461debfc3dSmrg /**
471debfc3dSmrg * @brief Class defining one-dimensional subset of an array.
481debfc3dSmrg *
491debfc3dSmrg * The slice class represents a one-dimensional subset of an array,
501debfc3dSmrg * specified by three parameters: start offset, size, and stride. The
511debfc3dSmrg * start offset is the index of the first element of the array that is part
521debfc3dSmrg * of the subset. The size is the total number of elements in the subset.
531debfc3dSmrg * Stride is the distance between each successive array element to include
541debfc3dSmrg * in the subset.
551debfc3dSmrg *
561debfc3dSmrg * For example, with an array of size 10, and a slice with offset 1, size 3
571debfc3dSmrg * and stride 2, the subset consists of array elements 1, 3, and 5.
581debfc3dSmrg */
591debfc3dSmrg class slice
601debfc3dSmrg {
611debfc3dSmrg public:
621debfc3dSmrg /// Construct an empty slice.
631debfc3dSmrg slice();
641debfc3dSmrg
651debfc3dSmrg /**
661debfc3dSmrg * @brief Construct a slice.
671debfc3dSmrg *
681debfc3dSmrg * @param __o Offset in array of first element.
691debfc3dSmrg * @param __d Number of elements in slice.
701debfc3dSmrg * @param __s Stride between array elements.
711debfc3dSmrg */
721debfc3dSmrg slice(size_t __o, size_t __d, size_t __s);
731debfc3dSmrg
741debfc3dSmrg /// Return array offset of first slice element.
751debfc3dSmrg size_t start() const;
761debfc3dSmrg /// Return size of slice.
771debfc3dSmrg size_t size() const;
781debfc3dSmrg /// Return array stride of slice.
791debfc3dSmrg size_t stride() const;
801debfc3dSmrg
818feb0f0bSmrg #if __cpp_impl_three_way_comparison >= 201907L
828feb0f0bSmrg /// Equality comparison
838feb0f0bSmrg friend bool operator==(const slice&, const slice&) = default;
848feb0f0bSmrg #endif
858feb0f0bSmrg
861debfc3dSmrg private:
871debfc3dSmrg size_t _M_off; // offset
881debfc3dSmrg size_t _M_sz; // size
891debfc3dSmrg size_t _M_st; // stride unit
901debfc3dSmrg };
911debfc3dSmrg
921debfc3dSmrg // _GLIBCXX_RESOLVE_LIB_DEFECTS
931debfc3dSmrg // 543. valarray slice default constructor
941debfc3dSmrg inline
951debfc3dSmrg slice::slice()
961debfc3dSmrg : _M_off(0), _M_sz(0), _M_st(0) {}
971debfc3dSmrg
981debfc3dSmrg inline
991debfc3dSmrg slice::slice(size_t __o, size_t __d, size_t __s)
1001debfc3dSmrg : _M_off(__o), _M_sz(__d), _M_st(__s) {}
1011debfc3dSmrg
1021debfc3dSmrg inline size_t
1031debfc3dSmrg slice::start() const
1041debfc3dSmrg { return _M_off; }
1051debfc3dSmrg
1061debfc3dSmrg inline size_t
1071debfc3dSmrg slice::size() const
1081debfc3dSmrg { return _M_sz; }
1091debfc3dSmrg
1101debfc3dSmrg inline size_t
1111debfc3dSmrg slice::stride() const
1121debfc3dSmrg { return _M_st; }
1131debfc3dSmrg
1141debfc3dSmrg /**
1151debfc3dSmrg * @brief Reference to one-dimensional subset of an array.
1161debfc3dSmrg *
1171debfc3dSmrg * A slice_array is a reference to the actual elements of an array
1181debfc3dSmrg * specified by a slice. The way to get a slice_array is to call
1191debfc3dSmrg * operator[](slice) on a valarray. The returned slice_array then permits
1201debfc3dSmrg * carrying operations out on the referenced subset of elements in the
1211debfc3dSmrg * original valarray. For example, operator+=(valarray) will add values
1221debfc3dSmrg * to the subset of elements in the underlying valarray this slice_array
1231debfc3dSmrg * refers to.
1241debfc3dSmrg *
1251debfc3dSmrg * @param Tp Element type.
1261debfc3dSmrg */
1271debfc3dSmrg template<typename _Tp>
1281debfc3dSmrg class slice_array
1291debfc3dSmrg {
1301debfc3dSmrg public:
1311debfc3dSmrg typedef _Tp value_type;
1321debfc3dSmrg
1331debfc3dSmrg // _GLIBCXX_RESOLVE_LIB_DEFECTS
1341debfc3dSmrg // 253. valarray helper functions are almost entirely useless
1351debfc3dSmrg
1361debfc3dSmrg /// Copy constructor. Both slices refer to the same underlying array.
1371debfc3dSmrg slice_array(const slice_array&);
1381debfc3dSmrg
1391debfc3dSmrg /// Assignment operator. Assigns slice elements to corresponding
1401debfc3dSmrg /// elements of @a a.
1411debfc3dSmrg slice_array& operator=(const slice_array&);
1421debfc3dSmrg
1431debfc3dSmrg /// Assign slice elements to corresponding elements of @a v.
1441debfc3dSmrg void operator=(const valarray<_Tp>&) const;
1451debfc3dSmrg /// Multiply slice elements by corresponding elements of @a v.
1461debfc3dSmrg void operator*=(const valarray<_Tp>&) const;
1471debfc3dSmrg /// Divide slice elements by corresponding elements of @a v.
1481debfc3dSmrg void operator/=(const valarray<_Tp>&) const;
1491debfc3dSmrg /// Modulo slice elements by corresponding elements of @a v.
1501debfc3dSmrg void operator%=(const valarray<_Tp>&) const;
1511debfc3dSmrg /// Add corresponding elements of @a v to slice elements.
1521debfc3dSmrg void operator+=(const valarray<_Tp>&) const;
1531debfc3dSmrg /// Subtract corresponding elements of @a v from slice elements.
1541debfc3dSmrg void operator-=(const valarray<_Tp>&) const;
1551debfc3dSmrg /// Logical xor slice elements with corresponding elements of @a v.
1561debfc3dSmrg void operator^=(const valarray<_Tp>&) const;
1571debfc3dSmrg /// Logical and slice elements with corresponding elements of @a v.
1581debfc3dSmrg void operator&=(const valarray<_Tp>&) const;
1591debfc3dSmrg /// Logical or slice elements with corresponding elements of @a v.
1601debfc3dSmrg void operator|=(const valarray<_Tp>&) const;
1611debfc3dSmrg /// Left shift slice elements by corresponding elements of @a v.
1621debfc3dSmrg void operator<<=(const valarray<_Tp>&) const;
1631debfc3dSmrg /// Right shift slice elements by corresponding elements of @a v.
1641debfc3dSmrg void operator>>=(const valarray<_Tp>&) const;
1651debfc3dSmrg /// Assign all slice elements to @a t.
1661debfc3dSmrg void operator=(const _Tp &) const;
1671debfc3dSmrg // ~slice_array ();
1681debfc3dSmrg
1691debfc3dSmrg template<class _Dom>
1701debfc3dSmrg void operator=(const _Expr<_Dom, _Tp>&) const;
1711debfc3dSmrg template<class _Dom>
1721debfc3dSmrg void operator*=(const _Expr<_Dom, _Tp>&) const;
1731debfc3dSmrg template<class _Dom>
1741debfc3dSmrg void operator/=(const _Expr<_Dom, _Tp>&) const;
1751debfc3dSmrg template<class _Dom>
1761debfc3dSmrg void operator%=(const _Expr<_Dom, _Tp>&) const;
1771debfc3dSmrg template<class _Dom>
1781debfc3dSmrg void operator+=(const _Expr<_Dom, _Tp>&) const;
1791debfc3dSmrg template<class _Dom>
1801debfc3dSmrg void operator-=(const _Expr<_Dom, _Tp>&) const;
1811debfc3dSmrg template<class _Dom>
1821debfc3dSmrg void operator^=(const _Expr<_Dom, _Tp>&) const;
1831debfc3dSmrg template<class _Dom>
1841debfc3dSmrg void operator&=(const _Expr<_Dom, _Tp>&) const;
1851debfc3dSmrg template<class _Dom>
1861debfc3dSmrg void operator|=(const _Expr<_Dom, _Tp>&) const;
1871debfc3dSmrg template<class _Dom>
1881debfc3dSmrg void operator<<=(const _Expr<_Dom, _Tp>&) const;
1891debfc3dSmrg template<class _Dom>
1901debfc3dSmrg void operator>>=(const _Expr<_Dom, _Tp>&) const;
1911debfc3dSmrg
1921debfc3dSmrg private:
1931debfc3dSmrg friend class valarray<_Tp>;
1941debfc3dSmrg slice_array(_Array<_Tp>, const slice&);
1951debfc3dSmrg
1961debfc3dSmrg const size_t _M_sz;
1971debfc3dSmrg const size_t _M_stride;
1981debfc3dSmrg const _Array<_Tp> _M_array;
1991debfc3dSmrg
200c0a68be4Smrg #if __cplusplus < 201103L
2011debfc3dSmrg // not implemented
2021debfc3dSmrg slice_array();
203c0a68be4Smrg #else
204c0a68be4Smrg public:
205c0a68be4Smrg slice_array() = delete;
206c0a68be4Smrg #endif
2071debfc3dSmrg };
2081debfc3dSmrg
2091debfc3dSmrg template<typename _Tp>
2101debfc3dSmrg inline
2111debfc3dSmrg slice_array<_Tp>::slice_array(_Array<_Tp> __a, const slice& __s)
2121debfc3dSmrg : _M_sz(__s.size()), _M_stride(__s.stride()),
2131debfc3dSmrg _M_array(__a.begin() + __s.start()) {}
2141debfc3dSmrg
2151debfc3dSmrg template<typename _Tp>
2161debfc3dSmrg inline
2171debfc3dSmrg slice_array<_Tp>::slice_array(const slice_array<_Tp>& __a)
2181debfc3dSmrg : _M_sz(__a._M_sz), _M_stride(__a._M_stride), _M_array(__a._M_array) {}
2191debfc3dSmrg
2201debfc3dSmrg // template<typename _Tp>
2211debfc3dSmrg // inline slice_array<_Tp>::~slice_array () {}
2221debfc3dSmrg
2231debfc3dSmrg template<typename _Tp>
2241debfc3dSmrg inline slice_array<_Tp>&
2251debfc3dSmrg slice_array<_Tp>::operator=(const slice_array<_Tp>& __a)
2261debfc3dSmrg {
2271debfc3dSmrg std::__valarray_copy(__a._M_array, __a._M_sz, __a._M_stride,
2281debfc3dSmrg _M_array, _M_stride);
2291debfc3dSmrg return *this;
2301debfc3dSmrg }
2311debfc3dSmrg
2321debfc3dSmrg template<typename _Tp>
2331debfc3dSmrg inline void
2341debfc3dSmrg slice_array<_Tp>::operator=(const _Tp& __t) const
2351debfc3dSmrg { std::__valarray_fill(_M_array, _M_sz, _M_stride, __t); }
2361debfc3dSmrg
2371debfc3dSmrg template<typename _Tp>
2381debfc3dSmrg inline void
2391debfc3dSmrg slice_array<_Tp>::operator=(const valarray<_Tp>& __v) const
2401debfc3dSmrg { std::__valarray_copy(_Array<_Tp>(__v), _M_array, _M_sz, _M_stride); }
2411debfc3dSmrg
2421debfc3dSmrg template<typename _Tp>
2431debfc3dSmrg template<class _Dom>
2441debfc3dSmrg inline void
2451debfc3dSmrg slice_array<_Tp>::operator=(const _Expr<_Dom,_Tp>& __e) const
2461debfc3dSmrg { std::__valarray_copy(__e, _M_sz, _M_array, _M_stride); }
2471debfc3dSmrg
248*23f5f463Smrg /// @cond undocumented
2491debfc3dSmrg #undef _DEFINE_VALARRAY_OPERATOR
2501debfc3dSmrg #define _DEFINE_VALARRAY_OPERATOR(_Op,_Name) \
2511debfc3dSmrg template<typename _Tp> \
2521debfc3dSmrg inline void \
2531debfc3dSmrg slice_array<_Tp>::operator _Op##=(const valarray<_Tp>& __v) const \
2541debfc3dSmrg { \
2551debfc3dSmrg _Array_augmented_##_Name(_M_array, _M_sz, _M_stride, _Array<_Tp>(__v));\
2561debfc3dSmrg } \
2571debfc3dSmrg \
2581debfc3dSmrg template<typename _Tp> \
2591debfc3dSmrg template<class _Dom> \
2601debfc3dSmrg inline void \
2611debfc3dSmrg slice_array<_Tp>::operator _Op##=(const _Expr<_Dom,_Tp>& __e) const\
2621debfc3dSmrg { \
2631debfc3dSmrg _Array_augmented_##_Name(_M_array, _M_stride, __e, _M_sz); \
2641debfc3dSmrg }
2651debfc3dSmrg
2661debfc3dSmrg
2671debfc3dSmrg _DEFINE_VALARRAY_OPERATOR(*, __multiplies)
2681debfc3dSmrg _DEFINE_VALARRAY_OPERATOR(/, __divides)
2691debfc3dSmrg _DEFINE_VALARRAY_OPERATOR(%, __modulus)
2701debfc3dSmrg _DEFINE_VALARRAY_OPERATOR(+, __plus)
2711debfc3dSmrg _DEFINE_VALARRAY_OPERATOR(-, __minus)
2721debfc3dSmrg _DEFINE_VALARRAY_OPERATOR(^, __bitwise_xor)
2731debfc3dSmrg _DEFINE_VALARRAY_OPERATOR(&, __bitwise_and)
2741debfc3dSmrg _DEFINE_VALARRAY_OPERATOR(|, __bitwise_or)
2751debfc3dSmrg _DEFINE_VALARRAY_OPERATOR(<<, __shift_left)
2761debfc3dSmrg _DEFINE_VALARRAY_OPERATOR(>>, __shift_right)
2771debfc3dSmrg
2781debfc3dSmrg #undef _DEFINE_VALARRAY_OPERATOR
279*23f5f463Smrg /// @endcond
2801debfc3dSmrg
2818feb0f0bSmrg /// @} group numeric_arrays
2821debfc3dSmrg
2831debfc3dSmrg _GLIBCXX_END_NAMESPACE_VERSION
2841debfc3dSmrg } // namespace
2851debfc3dSmrg
2861debfc3dSmrg #endif /* _SLICE_ARRAY_H */
287