1 // The template and inlines for the -*- C++ -*- valarray class.
 
    3 // Copyright (C) 1997-2014 Free Software Foundation, Inc.
 
    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)
 
   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.
 
   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.
 
   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/>.
 
   25 /** @file include/valarray
 
   26  *  This is a Standard C++ Library header. 
 
   29 // Written by Gabriel Dos Reis <Gabriel.Dos-Reis@DPTMaths.ENS-Cachan.Fr>
 
   31 #ifndef _GLIBCXX_VALARRAY
 
   32 #define _GLIBCXX_VALARRAY 1
 
   34 #pragma GCC system_header
 
   36 #include <bits/c++config.h>
 
   39 #include <debug/debug.h>
 
   40 #if __cplusplus >= 201103L
 
   41 #include <initializer_list>
 
   44 namespace std _GLIBCXX_VISIBILITY(default)
 
   46 _GLIBCXX_BEGIN_NAMESPACE_VERSION
 
   48   template<class _Clos, typename _Tp> 
 
   51   template<typename _Tp1, typename _Tp2> 
 
   54   template<class _Oper, template<class, class> class _Meta, class _Dom>
 
   58         template<class, class> class _Meta1,
 
   59         template<class, class> class _Meta2,
 
   60         class _Dom1, class _Dom2> 
 
   63   template<template<class, class> class _Meta, class _Dom> 
 
   66   template<template<class, class> class _Meta, class _Dom> 
 
   69   template<template<class, class> class _Meta, class _Dom> 
 
   72   template<template<class, class> class _Meta, class _Dom> 
 
   75   template<template<class, class> class _Meta, class _Dom> 
 
   78   template<class _Tp> class valarray;   // An array of type _Tp
 
   79   class slice;                          // BLAS-like slice out of an array
 
   80   template<class _Tp> class slice_array;
 
   81   class gslice;                         // generalized slice out of an array
 
   82   template<class _Tp> class gslice_array;
 
   83   template<class _Tp> class mask_array;     // masked array
 
   84   template<class _Tp> class indirect_array; // indirected array
 
   86 _GLIBCXX_END_NAMESPACE_VERSION
 
   89 #include <bits/valarray_array.h>
 
   90 #include <bits/valarray_before.h>
 
   92 namespace std _GLIBCXX_VISIBILITY(default)
 
   94 _GLIBCXX_BEGIN_NAMESPACE_VERSION
 
   97    * @defgroup numeric_arrays Numeric Arrays
 
  100    * Classes and functions for representing and manipulating arrays of elements.
 
  105    *  @brief  Smart array designed to support numeric processing.
 
  107    *  A valarray is an array that provides constraints intended to allow for
 
  108    *  effective optimization of numeric array processing by reducing the
 
  109    *  aliasing that can result from pointer representations.  It represents a
 
  110    *  one-dimensional array from which different multidimensional subsets can
 
  111    *  be accessed and modified.
 
  113    *  @tparam  _Tp  Type of object in the array.
 
  121      typedef typename __fun<_Op, _Tp>::result_type __rt;
 
  122      typedef _Expr<_UnClos<_Op, _ValArray, _Tp>, __rt> _Rt;
 
  125       typedef _Tp value_type;
 
  127    // _lib.valarray.cons_ construct/destroy:
 
  128       ///  Construct an empty array.
 
  131       ///  Construct an array with @a n elements.
 
  132       explicit valarray(size_t);
 
  134       ///  Construct an array with @a n elements initialized to @a t.
 
  135       valarray(const _Tp&, size_t);
 
  137       ///  Construct an array initialized to the first @a n elements of @a t.
 
  138       valarray(const _Tp* __restrict__, size_t);
 
  140       ///  Copy constructor.
 
  141       valarray(const valarray&);
 
  143 #if __cplusplus >= 201103L
 
  144       ///  Move constructor.
 
  145       valarray(valarray&&) noexcept;
 
  148       ///  Construct an array with the same size and values in @a sa.
 
  149       valarray(const slice_array<_Tp>&);
 
  151       ///  Construct an array with the same size and values in @a ga.
 
  152       valarray(const gslice_array<_Tp>&);
 
  154       ///  Construct an array with the same size and values in @a ma.
 
  155       valarray(const mask_array<_Tp>&);
 
  157       ///  Construct an array with the same size and values in @a ia.
 
  158       valarray(const indirect_array<_Tp>&);
 
  160 #if __cplusplus >= 201103L
 
  161       ///  Construct an array with an initializer_list of values.
 
  162       valarray(initializer_list<_Tp>);
 
  166    valarray(const _Expr<_Dom, _Tp>& __e);
 
  168       ~valarray() _GLIBCXX_NOEXCEPT;
 
  170       // _lib.valarray.assign_ assignment:
 
  172        *  @brief  Assign elements to an array.
 
  174        *  Assign elements of array to values in @a v.
 
  176        *  @param  __v  Valarray to get values from.
 
  178       valarray<_Tp>& operator=(const valarray<_Tp>& __v);
 
  180 #if __cplusplus >= 201103L
 
  182        *  @brief  Move assign elements to an array.
 
  184        *  Move assign elements of array to values in @a v.
 
  186        *  @param  __v  Valarray to get values from.
 
  188       valarray<_Tp>& operator=(valarray<_Tp>&& __v) noexcept;
 
  192        *  @brief  Assign elements to a value.
 
  194        *  Assign all elements of array to @a t.
 
  196        *  @param  __t  Value for elements.
 
  198       valarray<_Tp>& operator=(const _Tp& __t);
 
  201        *  @brief  Assign elements to an array subset.
 
  203        *  Assign elements of array to values in @a sa.  Results are undefined
 
  204        *  if @a sa does not have the same size as this array.
 
  206        *  @param  __sa  Array slice to get values from.
 
  208       valarray<_Tp>& operator=(const slice_array<_Tp>& __sa);
 
  211        *  @brief  Assign elements to an array subset.
 
  213        *  Assign elements of array to values in @a ga.  Results are undefined
 
  214        *  if @a ga does not have the same size as this array.
 
  216        *  @param  __ga  Array slice to get values from.
 
  218       valarray<_Tp>& operator=(const gslice_array<_Tp>& __ga);
 
  221        *  @brief  Assign elements to an array subset.
 
  223        *  Assign elements of array to values in @a ma.  Results are undefined
 
  224        *  if @a ma does not have the same size as this array.
 
  226        *  @param  __ma  Array slice to get values from.
 
  228       valarray<_Tp>& operator=(const mask_array<_Tp>& __ma);
 
  231        *  @brief  Assign elements to an array subset.
 
  233        *  Assign elements of array to values in @a ia.  Results are undefined
 
  234        *  if @a ia does not have the same size as this array.
 
  236        *  @param  __ia  Array slice to get values from.
 
  238       valarray<_Tp>& operator=(const indirect_array<_Tp>& __ia);
 
  240 #if __cplusplus >= 201103L
 
  242        *  @brief  Assign elements to an initializer_list.
 
  244        *  Assign elements of array to values in @a __l.  Results are undefined
 
  245        *  if @a __l does not have the same size as this array.
 
  247        *  @param  __l  initializer_list to get values from.
 
  249       valarray& operator=(initializer_list<_Tp> __l);
 
  252       template<class _Dom> valarray<_Tp>&
 
  253    operator= (const _Expr<_Dom, _Tp>&);
 
  255       // _lib.valarray.access_ element access:
 
  257        *  Return a reference to the i'th array element.  
 
  259        *  @param  __i  Index of element to return.
 
  260        *  @return  Reference to the i'th element.
 
  262       _Tp&                operator[](size_t __i);
 
  264       // _GLIBCXX_RESOLVE_LIB_DEFECTS
 
  265       // 389. Const overload of valarray::operator[] returns by value.
 
  266       const _Tp&          operator[](size_t) const;
 
  268       // _lib.valarray.sub_ subset operations:
 
  270        *  @brief  Return an array subset.
 
  272        *  Returns a new valarray containing the elements of the array
 
  273        *  indicated by the slice argument.  The new valarray has the same size
 
  274        *  as the input slice.  @see slice.
 
  276        *  @param  __s  The source slice.
 
  277        *  @return  New valarray containing elements in @a __s.
 
  279       _Expr<_SClos<_ValArray, _Tp>, _Tp> operator[](slice __s) const;
 
  282        *  @brief  Return a reference to an array subset.
 
  284        *  Returns a new valarray containing the elements of the array
 
  285        *  indicated by the slice argument.  The new valarray has the same size
 
  286        *  as the input slice.  @see slice.
 
  288        *  @param  __s  The source slice.
 
  289        *  @return  New valarray containing elements in @a __s.
 
  291       slice_array<_Tp>    operator[](slice __s);
 
  294        *  @brief  Return an array subset.
 
  296        *  Returns a slice_array referencing the elements of the array
 
  297        *  indicated by the slice argument.  @see gslice.
 
  299        *  @param  __s  The source slice.
 
  300        *  @return  Slice_array referencing elements indicated by @a __s.
 
  302       _Expr<_GClos<_ValArray, _Tp>, _Tp> operator[](const gslice& __s) const;
 
  305        *  @brief  Return a reference to an array subset.
 
  307        *  Returns a new valarray containing the elements of the array
 
  308        *  indicated by the gslice argument.  The new valarray has
 
  309        *  the same size as the input gslice.  @see gslice.
 
  311        *  @param  __s  The source gslice.
 
  312        *  @return  New valarray containing elements in @a __s.
 
  314       gslice_array<_Tp>   operator[](const gslice& __s);
 
  317        *  @brief  Return an array subset.
 
  319        *  Returns a new valarray containing the elements of the array
 
  320        *  indicated by the argument.  The input is a valarray of bool which
 
  321        *  represents a bitmask indicating which elements should be copied into
 
  322        *  the new valarray.  Each element of the array is added to the return
 
  323        *  valarray if the corresponding element of the argument is true.
 
  325        *  @param  __m  The valarray bitmask.
 
  326        *  @return  New valarray containing elements indicated by @a __m.
 
  328       valarray<_Tp>       operator[](const valarray<bool>& __m) const;
 
  331        *  @brief  Return a reference to an array subset.
 
  333        *  Returns a new mask_array referencing the elements of the array
 
  334        *  indicated by the argument.  The input is a valarray of bool which
 
  335        *  represents a bitmask indicating which elements are part of the
 
  336        *  subset.  Elements of the array are part of the subset if the
 
  337        *  corresponding element of the argument is true.
 
  339        *  @param  __m  The valarray bitmask.
 
  340        *  @return  New valarray containing elements indicated by @a __m.
 
  342       mask_array<_Tp>     operator[](const valarray<bool>& __m);
 
  345        *  @brief  Return an array subset.
 
  347        *  Returns a new valarray containing the elements of the array
 
  348        *  indicated by the argument.  The elements in the argument are
 
  349        *  interpreted as the indices of elements of this valarray to copy to
 
  350        *  the return valarray.
 
  352        *  @param  __i  The valarray element index list.
 
  353        *  @return  New valarray containing elements in @a __s.
 
  355       _Expr<_IClos<_ValArray, _Tp>, _Tp>
 
  356         operator[](const valarray<size_t>& __i) const;
 
  359        *  @brief  Return a reference to an array subset.
 
  361        *  Returns an indirect_array referencing the elements of the array
 
  362        *  indicated by the argument.  The elements in the argument are
 
  363        *  interpreted as the indices of elements of this valarray to include
 
  364        *  in the subset.  The returned indirect_array refers to these
 
  367        *  @param  __i  The valarray element index list.
 
  368        *  @return  Indirect_array referencing elements in @a __i.
 
  370       indirect_array<_Tp> operator[](const valarray<size_t>& __i);
 
  372       // _lib.valarray.unary_ unary operators:
 
  373       ///  Return a new valarray by applying unary + to each element.
 
  374       typename _UnaryOp<__unary_plus>::_Rt  operator+() const;
 
  376       ///  Return a new valarray by applying unary - to each element.
 
  377       typename _UnaryOp<__negate>::_Rt      operator-() const;
 
  379       ///  Return a new valarray by applying unary ~ to each element.
 
  380       typename _UnaryOp<__bitwise_not>::_Rt operator~() const;
 
  382       ///  Return a new valarray by applying unary ! to each element.
 
  383       typename _UnaryOp<__logical_not>::_Rt operator!() const;
 
  385       // _lib.valarray.cassign_ computed assignment:
 
  386       ///  Multiply each element of array by @a t.
 
  387       valarray<_Tp>& operator*=(const _Tp&);
 
  389       ///  Divide each element of array by @a t.
 
  390       valarray<_Tp>& operator/=(const _Tp&);
 
  392       ///  Set each element e of array to e % @a t.
 
  393       valarray<_Tp>& operator%=(const _Tp&);
 
  395       ///  Add @a t to each element of array.
 
  396       valarray<_Tp>& operator+=(const _Tp&);
 
  398       ///  Subtract @a t to each element of array.
 
  399       valarray<_Tp>& operator-=(const _Tp&);
 
  401       ///  Set each element e of array to e ^ @a t.
 
  402       valarray<_Tp>& operator^=(const _Tp&);
 
  404       ///  Set each element e of array to e & @a t.
 
  405       valarray<_Tp>& operator&=(const _Tp&);
 
  407       ///  Set each element e of array to e | @a t.
 
  408       valarray<_Tp>& operator|=(const _Tp&);
 
  410       ///  Left shift each element e of array by @a t bits.
 
  411       valarray<_Tp>& operator<<=(const _Tp&);
 
  413       ///  Right shift each element e of array by @a t bits.
 
  414       valarray<_Tp>& operator>>=(const _Tp&);
 
  416       ///  Multiply elements of array by corresponding elements of @a v.
 
  417       valarray<_Tp>& operator*=(const valarray<_Tp>&);
 
  419       ///  Divide elements of array by corresponding elements of @a v.
 
  420       valarray<_Tp>& operator/=(const valarray<_Tp>&);
 
  422       ///  Modulo elements of array by corresponding elements of @a v.
 
  423       valarray<_Tp>& operator%=(const valarray<_Tp>&);
 
  425       ///  Add corresponding elements of @a v to elements of array.
 
  426       valarray<_Tp>& operator+=(const valarray<_Tp>&);
 
  428       ///  Subtract corresponding elements of @a v from elements of array.
 
  429       valarray<_Tp>& operator-=(const valarray<_Tp>&);
 
  431       ///  Logical xor corresponding elements of @a v with elements of array.
 
  432       valarray<_Tp>& operator^=(const valarray<_Tp>&);
 
  434       ///  Logical or corresponding elements of @a v with elements of array.
 
  435       valarray<_Tp>& operator|=(const valarray<_Tp>&);
 
  437       ///  Logical and corresponding elements of @a v with elements of array.
 
  438       valarray<_Tp>& operator&=(const valarray<_Tp>&);
 
  440       ///  Left shift elements of array by corresponding elements of @a v.
 
  441       valarray<_Tp>& operator<<=(const valarray<_Tp>&);
 
  443       ///  Right shift elements of array by corresponding elements of @a v.
 
  444       valarray<_Tp>& operator>>=(const valarray<_Tp>&);
 
  447    valarray<_Tp>& operator*=(const _Expr<_Dom, _Tp>&);
 
  449    valarray<_Tp>& operator/=(const _Expr<_Dom, _Tp>&);
 
  451    valarray<_Tp>& operator%=(const _Expr<_Dom, _Tp>&);
 
  453    valarray<_Tp>& operator+=(const _Expr<_Dom, _Tp>&);
 
  455    valarray<_Tp>& operator-=(const _Expr<_Dom, _Tp>&);
 
  457    valarray<_Tp>& operator^=(const _Expr<_Dom, _Tp>&);
 
  459    valarray<_Tp>& operator|=(const _Expr<_Dom, _Tp>&);
 
  461    valarray<_Tp>& operator&=(const _Expr<_Dom, _Tp>&);
 
  463         valarray<_Tp>& operator<<=(const _Expr<_Dom, _Tp>&);
 
  465    valarray<_Tp>& operator>>=(const _Expr<_Dom, _Tp>&);
 
  467       // _lib.valarray.members_ member functions:
 
  468 #if __cplusplus >= 201103L
 
  470       void swap(valarray<_Tp>& __v) noexcept;
 
  473       ///  Return the number of elements in array.
 
  477        *  @brief  Return the sum of all elements in the array.
 
  479        *  Accumulates the sum of all elements into a Tp using +=.  The order
 
  480        *  of adding the elements is unspecified.
 
  484       ///  Return the minimum element using operator<().
 
  487       ///  Return the maximum element using operator<().
 
  491        *  @brief  Return a shifted array.
 
  493        *  A new valarray is constructed as a copy of this array with elements
 
  494        *  in shifted positions.  For an element with index i, the new position
 
  495        *  is i - n.  The new valarray has the same size as the current one.
 
  496        *  New elements without a value are set to 0.  Elements whose new
 
  497        *  position is outside the bounds of the array are discarded.
 
  499        *  Positive arguments shift toward index 0, discarding elements [0, n).
 
  500        *  Negative arguments discard elements from the top of the array.
 
  502        *  @param  __n  Number of element positions to shift.
 
  503        *  @return  New valarray with elements in shifted positions.
 
  505       valarray<_Tp> shift (int __n) const;
 
  508        *  @brief  Return a rotated array.
 
  510        *  A new valarray is constructed as a copy of this array with elements
 
  511        *  in shifted positions.  For an element with index i, the new position
 
  512        *  is (i - n) % size().  The new valarray has the same size as the
 
  513        *  current one.  Elements that are shifted beyond the array bounds are
 
  514        *  shifted into the other end of the array.  No elements are lost.
 
  516        *  Positive arguments shift toward index 0, wrapping around the top.
 
  517        *  Negative arguments shift towards the top, wrapping around to 0.
 
  519        *  @param  __n  Number of element positions to rotate.
 
  520        *  @return  New valarray with elements in shifted positions.
 
  522       valarray<_Tp> cshift(int __n) const;
 
  525        *  @brief  Apply a function to the array.
 
  527        *  Returns a new valarray with elements assigned to the result of
 
  528        *  applying func to the corresponding element of this array.  The new
 
  529        *  array has the same size as this one.
 
  531        *  @param  func  Function of Tp returning Tp to apply.
 
  532        *  @return  New valarray with transformed elements.
 
  534       _Expr<_ValFunClos<_ValArray, _Tp>, _Tp> apply(_Tp func(_Tp)) const;
 
  537        *  @brief  Apply a function to the array.
 
  539        *  Returns a new valarray with elements assigned to the result of
 
  540        *  applying func to the corresponding element of this array.  The new
 
  541        *  array has the same size as this one.
 
  543        *  @param  func  Function of const Tp& returning Tp to apply.
 
  544        *  @return  New valarray with transformed elements.
 
  546       _Expr<_RefFunClos<_ValArray, _Tp>, _Tp> apply(_Tp func(const _Tp&)) const;
 
  549        *  @brief  Resize array.
 
  551        *  Resize this array to @a size and set all elements to @a c.  All
 
  552        *  references and iterators are invalidated.
 
  554        *  @param  __size  New array size.
 
  555        *  @param  __c  New value for all elements.
 
  557       void resize(size_t __size, _Tp __c = _Tp());
 
  561       _Tp* __restrict__ _M_data;
 
  563       friend class _Array<_Tp>;
 
  566   template<typename _Tp>
 
  568     valarray<_Tp>::operator[](size_t __i) const
 
  570       __glibcxx_requires_subscript(__i);
 
  574   template<typename _Tp>
 
  576     valarray<_Tp>::operator[](size_t __i)
 
  578       __glibcxx_requires_subscript(__i);
 
  582   // @} group numeric_arrays
 
  584 _GLIBCXX_END_NAMESPACE_VERSION
 
  587 #include <bits/valarray_after.h>
 
  588 #include <bits/slice_array.h>
 
  589 #include <bits/gslice.h>
 
  590 #include <bits/gslice_array.h>
 
  591 #include <bits/mask_array.h>
 
  592 #include <bits/indirect_array.h>
 
  594 namespace std _GLIBCXX_VISIBILITY(default)
 
  596 _GLIBCXX_BEGIN_NAMESPACE_VERSION
 
  599    * @addtogroup numeric_arrays
 
  603   template<typename _Tp>
 
  605     valarray<_Tp>::valarray() : _M_size(0), _M_data(0) {}
 
  607   template<typename _Tp>
 
  609     valarray<_Tp>::valarray(size_t __n) 
 
  610     : _M_size(__n), _M_data(__valarray_get_storage<_Tp>(__n))
 
  611     { std::__valarray_default_construct(_M_data, _M_data + __n); }
 
  613   template<typename _Tp>
 
  615     valarray<_Tp>::valarray(const _Tp& __t, size_t __n)
 
  616     : _M_size(__n), _M_data(__valarray_get_storage<_Tp>(__n))
 
  617     { std::__valarray_fill_construct(_M_data, _M_data + __n, __t); }
 
  619   template<typename _Tp>
 
  621     valarray<_Tp>::valarray(const _Tp* __restrict__ __p, size_t __n)
 
  622     : _M_size(__n), _M_data(__valarray_get_storage<_Tp>(__n))
 
  624       _GLIBCXX_DEBUG_ASSERT(__p != 0 || __n == 0);
 
  625       std::__valarray_copy_construct(__p, __p + __n, _M_data); 
 
  628   template<typename _Tp>
 
  630     valarray<_Tp>::valarray(const valarray<_Tp>& __v)
 
  631     : _M_size(__v._M_size), _M_data(__valarray_get_storage<_Tp>(__v._M_size))
 
  632     { std::__valarray_copy_construct(__v._M_data, __v._M_data + _M_size,
 
  635 #if __cplusplus >= 201103L
 
  636   template<typename _Tp>
 
  638     valarray<_Tp>::valarray(valarray<_Tp>&& __v) noexcept
 
  639     : _M_size(__v._M_size), _M_data(__v._M_data)
 
  646   template<typename _Tp>
 
  648     valarray<_Tp>::valarray(const slice_array<_Tp>& __sa)
 
  649     : _M_size(__sa._M_sz), _M_data(__valarray_get_storage<_Tp>(__sa._M_sz))
 
  651       std::__valarray_copy_construct
 
  652    (__sa._M_array, __sa._M_sz, __sa._M_stride, _Array<_Tp>(_M_data));
 
  655   template<typename _Tp>
 
  657     valarray<_Tp>::valarray(const gslice_array<_Tp>& __ga)
 
  658     : _M_size(__ga._M_index.size()),
 
  659       _M_data(__valarray_get_storage<_Tp>(_M_size))
 
  661       std::__valarray_copy_construct
 
  662    (__ga._M_array, _Array<size_t>(__ga._M_index),
 
  663     _Array<_Tp>(_M_data), _M_size);
 
  666   template<typename _Tp>
 
  668     valarray<_Tp>::valarray(const mask_array<_Tp>& __ma)
 
  669     : _M_size(__ma._M_sz), _M_data(__valarray_get_storage<_Tp>(__ma._M_sz))
 
  671       std::__valarray_copy_construct
 
  672    (__ma._M_array, __ma._M_mask, _Array<_Tp>(_M_data), _M_size);
 
  675   template<typename _Tp>
 
  677     valarray<_Tp>::valarray(const indirect_array<_Tp>& __ia)
 
  678     : _M_size(__ia._M_sz), _M_data(__valarray_get_storage<_Tp>(__ia._M_sz))
 
  680       std::__valarray_copy_construct
 
  681    (__ia._M_array, __ia._M_index, _Array<_Tp>(_M_data), _M_size);
 
  684 #if __cplusplus >= 201103L
 
  685   template<typename _Tp>
 
  687     valarray<_Tp>::valarray(initializer_list<_Tp> __l)
 
  688     : _M_size(__l.size()), _M_data(__valarray_get_storage<_Tp>(__l.size()))
 
  689     { std::__valarray_copy_construct(__l.begin(), __l.end(), _M_data); }
 
  692   template<typename _Tp> template<class _Dom>
 
  694     valarray<_Tp>::valarray(const _Expr<_Dom, _Tp>& __e)
 
  695     : _M_size(__e.size()), _M_data(__valarray_get_storage<_Tp>(_M_size))
 
  696     { std::__valarray_copy_construct(__e, _M_size, _Array<_Tp>(_M_data)); }
 
  698   template<typename _Tp>
 
  700     valarray<_Tp>::~valarray() _GLIBCXX_NOEXCEPT
 
  702       std::__valarray_destroy_elements(_M_data, _M_data + _M_size);
 
  703       std::__valarray_release_memory(_M_data);
 
  706   template<typename _Tp>
 
  707     inline valarray<_Tp>&
 
  708     valarray<_Tp>::operator=(const valarray<_Tp>& __v)
 
  710       // _GLIBCXX_RESOLVE_LIB_DEFECTS
 
  711       // 630. arrays of valarray.
 
  712       if (_M_size == __v._M_size)
 
  713    std::__valarray_copy(__v._M_data, _M_size, _M_data);
 
  718          std::__valarray_destroy_elements(_M_data, _M_data + _M_size);
 
  719          std::__valarray_release_memory(_M_data);
 
  721      _M_size = __v._M_size;
 
  722      _M_data = __valarray_get_storage<_Tp>(_M_size);
 
  723      std::__valarray_copy_construct(__v._M_data, __v._M_data + _M_size,
 
  729 #if __cplusplus >= 201103L
 
  730   template<typename _Tp>
 
  731     inline valarray<_Tp>&
 
  732     valarray<_Tp>::operator=(valarray<_Tp>&& __v) noexcept
 
  736      std::__valarray_destroy_elements(_M_data, _M_data + _M_size);
 
  737      std::__valarray_release_memory(_M_data);
 
  739       _M_size = __v._M_size;
 
  740       _M_data = __v._M_data;
 
  746   template<typename _Tp>
 
  747     inline valarray<_Tp>&
 
  748     valarray<_Tp>::operator=(initializer_list<_Tp> __l)
 
  750       // _GLIBCXX_RESOLVE_LIB_DEFECTS
 
  751       // 630. arrays of valarray.
 
  752       if (_M_size == __l.size())
 
  753    std::__valarray_copy(__l.begin(), __l.size(), _M_data);
 
  758          std::__valarray_destroy_elements(_M_data, _M_data + _M_size);
 
  759          std::__valarray_release_memory(_M_data);
 
  761      _M_size = __l.size();
 
  762      _M_data = __valarray_get_storage<_Tp>(_M_size);
 
  763      std::__valarray_copy_construct(__l.begin(), __l.begin() + _M_size,
 
  770   template<typename _Tp>
 
  771     inline valarray<_Tp>&
 
  772     valarray<_Tp>::operator=(const _Tp& __t)
 
  774       std::__valarray_fill(_M_data, _M_size, __t);
 
  778   template<typename _Tp>
 
  779     inline valarray<_Tp>&
 
  780     valarray<_Tp>::operator=(const slice_array<_Tp>& __sa)
 
  782       _GLIBCXX_DEBUG_ASSERT(_M_size == __sa._M_sz);
 
  783       std::__valarray_copy(__sa._M_array, __sa._M_sz,
 
  784               __sa._M_stride, _Array<_Tp>(_M_data));
 
  788   template<typename _Tp>
 
  789     inline valarray<_Tp>&
 
  790     valarray<_Tp>::operator=(const gslice_array<_Tp>& __ga)
 
  792       _GLIBCXX_DEBUG_ASSERT(_M_size == __ga._M_index.size());
 
  793       std::__valarray_copy(__ga._M_array, _Array<size_t>(__ga._M_index),
 
  794               _Array<_Tp>(_M_data), _M_size);
 
  798   template<typename _Tp>
 
  799     inline valarray<_Tp>&
 
  800     valarray<_Tp>::operator=(const mask_array<_Tp>& __ma)
 
  802       _GLIBCXX_DEBUG_ASSERT(_M_size == __ma._M_sz);
 
  803       std::__valarray_copy(__ma._M_array, __ma._M_mask,
 
  804               _Array<_Tp>(_M_data), _M_size);
 
  808   template<typename _Tp>
 
  809     inline valarray<_Tp>&
 
  810     valarray<_Tp>::operator=(const indirect_array<_Tp>& __ia)
 
  812       _GLIBCXX_DEBUG_ASSERT(_M_size == __ia._M_sz);
 
  813       std::__valarray_copy(__ia._M_array, __ia._M_index,
 
  814               _Array<_Tp>(_M_data), _M_size);
 
  818   template<typename _Tp> template<class _Dom>
 
  819     inline valarray<_Tp>&
 
  820     valarray<_Tp>::operator=(const _Expr<_Dom, _Tp>& __e)
 
  822       // _GLIBCXX_RESOLVE_LIB_DEFECTS
 
  823       // 630. arrays of valarray.
 
  824       if (_M_size == __e.size())
 
  825    std::__valarray_copy(__e, _M_size, _Array<_Tp>(_M_data));
 
  830          std::__valarray_destroy_elements(_M_data, _M_data + _M_size);
 
  831          std::__valarray_release_memory(_M_data);
 
  833      _M_size = __e.size();
 
  834      _M_data = __valarray_get_storage<_Tp>(_M_size);
 
  835      std::__valarray_copy_construct(__e, _M_size, _Array<_Tp>(_M_data));
 
  840   template<typename _Tp>
 
  841     inline _Expr<_SClos<_ValArray,_Tp>, _Tp>
 
  842     valarray<_Tp>::operator[](slice __s) const
 
  844       typedef _SClos<_ValArray,_Tp> _Closure;
 
  845       return _Expr<_Closure, _Tp>(_Closure (_Array<_Tp>(_M_data), __s));
 
  848   template<typename _Tp>
 
  849     inline slice_array<_Tp>
 
  850     valarray<_Tp>::operator[](slice __s)
 
  851     { return slice_array<_Tp>(_Array<_Tp>(_M_data), __s); }
 
  853   template<typename _Tp>
 
  854     inline _Expr<_GClos<_ValArray,_Tp>, _Tp>
 
  855     valarray<_Tp>::operator[](const gslice& __gs) const
 
  857       typedef _GClos<_ValArray,_Tp> _Closure;
 
  858       return _Expr<_Closure, _Tp>
 
  859    (_Closure(_Array<_Tp>(_M_data), __gs._M_index->_M_index));
 
  862   template<typename _Tp>
 
  863     inline gslice_array<_Tp>
 
  864     valarray<_Tp>::operator[](const gslice& __gs)
 
  866       return gslice_array<_Tp>
 
  867    (_Array<_Tp>(_M_data), __gs._M_index->_M_index);
 
  870   template<typename _Tp>
 
  872     valarray<_Tp>::operator[](const valarray<bool>& __m) const
 
  875       size_t __e = __m.size();
 
  876       for (size_t __i=0; __i<__e; ++__i)
 
  878       return valarray<_Tp>(mask_array<_Tp>(_Array<_Tp>(_M_data), __s,
 
  879                       _Array<bool> (__m)));
 
  882   template<typename _Tp>
 
  883     inline mask_array<_Tp>
 
  884     valarray<_Tp>::operator[](const valarray<bool>& __m)
 
  887       size_t __e = __m.size();
 
  888       for (size_t __i=0; __i<__e; ++__i)
 
  890       return mask_array<_Tp>(_Array<_Tp>(_M_data), __s, _Array<bool>(__m));
 
  893   template<typename _Tp>
 
  894     inline _Expr<_IClos<_ValArray,_Tp>, _Tp>
 
  895     valarray<_Tp>::operator[](const valarray<size_t>& __i) const
 
  897       typedef _IClos<_ValArray,_Tp> _Closure;
 
  898       return _Expr<_Closure, _Tp>(_Closure(*this, __i));
 
  901   template<typename _Tp>
 
  902     inline indirect_array<_Tp>
 
  903     valarray<_Tp>::operator[](const valarray<size_t>& __i)
 
  905       return indirect_array<_Tp>(_Array<_Tp>(_M_data), __i.size(),
 
  906                 _Array<size_t>(__i));
 
  909 #if __cplusplus >= 201103L
 
  912     valarray<_Tp>::swap(valarray<_Tp>& __v) noexcept
 
  914       std::swap(_M_size, __v._M_size);
 
  915       std::swap(_M_data, __v._M_data);
 
  921     valarray<_Tp>::size() const
 
  926     valarray<_Tp>::sum() const
 
  928       _GLIBCXX_DEBUG_ASSERT(_M_size > 0);
 
  929       return std::__valarray_sum(_M_data, _M_data + _M_size);
 
  934      valarray<_Tp>::shift(int __n) const
 
  941        _Tp* __restrict__ __tmp_M_data =
 
  942     std::__valarray_get_storage<_Tp>(_M_size);
 
  945     std::__valarray_copy_construct(_M_data,
 
  946                    _M_data + _M_size, __tmp_M_data);
 
  947        else if (__n > 0)      // shift left
 
  949       if (size_t(__n) > _M_size)
 
  952       std::__valarray_copy_construct(_M_data + __n,
 
  953                      _M_data + _M_size, __tmp_M_data);
 
  954       std::__valarray_default_construct(__tmp_M_data + _M_size - __n,
 
  955                         __tmp_M_data + _M_size);
 
  959       if (-size_t(__n) > _M_size)
 
  962       std::__valarray_copy_construct(_M_data, _M_data + _M_size + __n,
 
  964       std::__valarray_default_construct(__tmp_M_data,
 
  968        __ret._M_size = _M_size;
 
  969        __ret._M_data = __tmp_M_data;
 
  975      valarray<_Tp>::cshift(int __n) const
 
  982        _Tp* __restrict__ __tmp_M_data =
 
  983     std::__valarray_get_storage<_Tp>(_M_size);
 
  986     std::__valarray_copy_construct(_M_data,
 
  987                    _M_data + _M_size, __tmp_M_data);
 
  988        else if (__n > 0)      // cshift left
 
  990       if (size_t(__n) > _M_size)
 
  991         __n = int(__n % _M_size);
 
  993       std::__valarray_copy_construct(_M_data, _M_data + __n,
 
  994                      __tmp_M_data + _M_size - __n);
 
  995       std::__valarray_copy_construct(_M_data + __n, _M_data + _M_size,
 
 1000       if (-size_t(__n) > _M_size)
 
 1001         __n = -int(-size_t(__n) % _M_size);
 
 1003       std::__valarray_copy_construct(_M_data + _M_size + __n,
 
 1004                      _M_data + _M_size, __tmp_M_data);
 
 1005       std::__valarray_copy_construct(_M_data, _M_data + _M_size + __n,
 
 1006                      __tmp_M_data - __n);
 
 1009        __ret._M_size = _M_size;
 
 1010        __ret._M_data = __tmp_M_data;
 
 1016     valarray<_Tp>::resize(size_t __n, _Tp __c)
 
 1018       // This complication is so to make valarray<valarray<T> > work
 
 1019       // even though it is not required by the standard.  Nobody should
 
 1020       // be saying valarray<valarray<T> > anyway.  See the specs.
 
 1021       std::__valarray_destroy_elements(_M_data, _M_data + _M_size);
 
 1024      std::__valarray_release_memory(_M_data);
 
 1026      _M_data = __valarray_get_storage<_Tp>(__n);
 
 1028       std::__valarray_fill_construct(_M_data, _M_data + __n, __c);
 
 1031   template<typename _Tp>
 
 1033     valarray<_Tp>::min() const
 
 1035       _GLIBCXX_DEBUG_ASSERT(_M_size > 0);
 
 1036       return *std::min_element(_M_data, _M_data + _M_size);
 
 1039   template<typename _Tp>
 
 1041     valarray<_Tp>::max() const
 
 1043       _GLIBCXX_DEBUG_ASSERT(_M_size > 0);
 
 1044       return *std::max_element(_M_data, _M_data + _M_size);
 
 1048     inline _Expr<_ValFunClos<_ValArray, _Tp>, _Tp>
 
 1049     valarray<_Tp>::apply(_Tp func(_Tp)) const
 
 1051       typedef _ValFunClos<_ValArray, _Tp> _Closure;
 
 1052       return _Expr<_Closure, _Tp>(_Closure(*this, func));
 
 1056     inline _Expr<_RefFunClos<_ValArray, _Tp>, _Tp>
 
 1057     valarray<_Tp>::apply(_Tp func(const _Tp &)) const
 
 1059       typedef _RefFunClos<_ValArray, _Tp> _Closure;
 
 1060       return _Expr<_Closure, _Tp>(_Closure(*this, func));
 
 1063 #define _DEFINE_VALARRAY_UNARY_OPERATOR(_Op, _Name)                     \
 
 1064   template<typename _Tp>                       \
 
 1065     inline typename valarray<_Tp>::template _UnaryOp<_Name>::_Rt       \
 
 1066     valarray<_Tp>::operator _Op() const                    \
 
 1068       typedef _UnClos<_Name, _ValArray, _Tp> _Closure;                 \
 
 1069       typedef typename __fun<_Name, _Tp>::result_type _Rt;              \
 
 1070       return _Expr<_Closure, _Rt>(_Closure(*this));            \
 
 1073     _DEFINE_VALARRAY_UNARY_OPERATOR(+, __unary_plus)
 
 1074     _DEFINE_VALARRAY_UNARY_OPERATOR(-, __negate)
 
 1075     _DEFINE_VALARRAY_UNARY_OPERATOR(~, __bitwise_not)
 
 1076     _DEFINE_VALARRAY_UNARY_OPERATOR (!, __logical_not)
 
 1078 #undef _DEFINE_VALARRAY_UNARY_OPERATOR
 
 1080 #define _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(_Op, _Name)               \
 
 1081   template<class _Tp>                          \
 
 1082     inline valarray<_Tp>&                      \
 
 1083     valarray<_Tp>::operator _Op##=(const _Tp &__t)         \
 
 1085       _Array_augmented_##_Name(_Array<_Tp>(_M_data), _M_size, __t);    \
 
 1089   template<class _Tp>                          \
 
 1090     inline valarray<_Tp>&                      \
 
 1091     valarray<_Tp>::operator _Op##=(const valarray<_Tp> &__v)       \
 
 1093       _GLIBCXX_DEBUG_ASSERT(_M_size == __v._M_size);                    \
 
 1094       _Array_augmented_##_Name(_Array<_Tp>(_M_data), _M_size,      \
 
 1095                   _Array<_Tp>(__v._M_data));       \
 
 1099 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(+, __plus)
 
 1100 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(-, __minus)
 
 1101 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(*, __multiplies)
 
 1102 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(/, __divides)
 
 1103 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(%, __modulus)
 
 1104 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(^, __bitwise_xor)
 
 1105 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(&, __bitwise_and)
 
 1106 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(|, __bitwise_or)
 
 1107 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(<<, __shift_left)
 
 1108 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(>>, __shift_right)
 
 1110 #undef _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT
 
 1112 #define _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(_Op, _Name)          \
 
 1113   template<class _Tp> template<class _Dom>             \
 
 1114     inline valarray<_Tp>&                      \
 
 1115     valarray<_Tp>::operator _Op##=(const _Expr<_Dom, _Tp>& __e)        \
 
 1117       _Array_augmented_##_Name(_Array<_Tp>(_M_data), __e, _M_size);    \
 
 1121 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(+, __plus)
 
 1122 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(-, __minus)
 
 1123 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(*, __multiplies)
 
 1124 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(/, __divides)
 
 1125 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(%, __modulus)
 
 1126 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(^, __bitwise_xor)
 
 1127 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(&, __bitwise_and)
 
 1128 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(|, __bitwise_or)
 
 1129 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(<<, __shift_left)
 
 1130 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(>>, __shift_right)
 
 1132 #undef _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT
 
 1135 #define _DEFINE_BINARY_OPERATOR(_Op, _Name)                \
 
 1136   template<typename _Tp>                       \
 
 1137     inline _Expr<_BinClos<_Name, _ValArray, _ValArray, _Tp, _Tp>,       \
 
 1138                  typename __fun<_Name, _Tp>::result_type>               \
 
 1139     operator _Op(const valarray<_Tp>& __v, const valarray<_Tp>& __w)   \
 
 1141       _GLIBCXX_DEBUG_ASSERT(__v.size() == __w.size());                  \
 
 1142       typedef _BinClos<_Name, _ValArray, _ValArray, _Tp, _Tp> _Closure; \
 
 1143       typedef typename __fun<_Name, _Tp>::result_type _Rt;              \
 
 1144       return _Expr<_Closure, _Rt>(_Closure(__v, __w));                  \
 
 1147   template<typename _Tp>                       \
 
 1148     inline _Expr<_BinClos<_Name, _ValArray,_Constant, _Tp, _Tp>,        \
 
 1149                  typename __fun<_Name, _Tp>::result_type>               \
 
 1150     operator _Op(const valarray<_Tp>& __v, const _Tp& __t)     \
 
 1152       typedef _BinClos<_Name, _ValArray, _Constant, _Tp, _Tp> _Closure;    \
 
 1153       typedef typename __fun<_Name, _Tp>::result_type _Rt;              \
 
 1154       return _Expr<_Closure, _Rt>(_Closure(__v, __t));                 \
 
 1157   template<typename _Tp>                       \
 
 1158     inline _Expr<_BinClos<_Name, _Constant, _ValArray, _Tp, _Tp>,       \
 
 1159                  typename __fun<_Name, _Tp>::result_type>               \
 
 1160     operator _Op(const _Tp& __t, const valarray<_Tp>& __v)     \
 
 1162       typedef _BinClos<_Name, _Constant, _ValArray, _Tp, _Tp> _Closure; \
 
 1163       typedef typename __fun<_Name, _Tp>::result_type _Rt;              \
 
 1164       return _Expr<_Closure, _Rt>(_Closure(__t, __v));                 \
 
 1167 _DEFINE_BINARY_OPERATOR(+, __plus)
 
 1168 _DEFINE_BINARY_OPERATOR(-, __minus)
 
 1169 _DEFINE_BINARY_OPERATOR(*, __multiplies)
 
 1170 _DEFINE_BINARY_OPERATOR(/, __divides)
 
 1171 _DEFINE_BINARY_OPERATOR(%, __modulus)
 
 1172 _DEFINE_BINARY_OPERATOR(^, __bitwise_xor)
 
 1173 _DEFINE_BINARY_OPERATOR(&, __bitwise_and)
 
 1174 _DEFINE_BINARY_OPERATOR(|, __bitwise_or)
 
 1175 _DEFINE_BINARY_OPERATOR(<<, __shift_left)
 
 1176 _DEFINE_BINARY_OPERATOR(>>, __shift_right)
 
 1177 _DEFINE_BINARY_OPERATOR(&&, __logical_and)
 
 1178 _DEFINE_BINARY_OPERATOR(||, __logical_or)
 
 1179 _DEFINE_BINARY_OPERATOR(==, __equal_to)
 
 1180 _DEFINE_BINARY_OPERATOR(!=, __not_equal_to)
 
 1181 _DEFINE_BINARY_OPERATOR(<, __less)
 
 1182 _DEFINE_BINARY_OPERATOR(>, __greater)
 
 1183 _DEFINE_BINARY_OPERATOR(<=, __less_equal)
 
 1184 _DEFINE_BINARY_OPERATOR(>=, __greater_equal)
 
 1186 #undef _DEFINE_BINARY_OPERATOR
 
 1188 #if __cplusplus >= 201103L
 
 1190    *  @brief  Return an iterator pointing to the first element of
 
 1192    *  @param  __va  valarray.
 
 1196     begin(valarray<_Tp>& __va)
 
 1197     { return std::__addressof(__va[0]); }
 
 1200    *  @brief  Return an iterator pointing to the first element of
 
 1201    *          the const valarray.
 
 1202    *  @param  __va  valarray.
 
 1206     begin(const valarray<_Tp>& __va)
 
 1207     { return std::__addressof(__va[0]); }
 
 1210    *  @brief  Return an iterator pointing to one past the last element of
 
 1212    *  @param  __va  valarray.
 
 1216     end(valarray<_Tp>& __va)
 
 1217     { return std::__addressof(__va[0]) + __va.size(); }
 
 1220    *  @brief  Return an iterator pointing to one past the last element of
 
 1221    *          the const valarray.
 
 1222    *  @param  __va  valarray.
 
 1226     end(const valarray<_Tp>& __va)
 
 1227     { return std::__addressof(__va[0]) + __va.size(); }
 
 1230   // @} group numeric_arrays
 
 1232 _GLIBCXX_END_NAMESPACE_VERSION
 
 1235 #endif /* _GLIBCXX_VALARRAY */