libstdc++
valarray
Go to the documentation of this file.
1 // The template and inlines for the -*- C++ -*- valarray class.
2 
3 // Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
4 // 2006, 2007, 2008, 2009, 2010
5 // Free Software Foundation, Inc.
6 //
7 // This file is part of the GNU ISO C++ Library. This library is free
8 // software; you can redistribute it and/or modify it under the
9 // terms of the GNU General Public License as published by the
10 // Free Software Foundation; either version 3, or (at your option)
11 // any later version.
12 
13 // This library is distributed in the hope that it will be useful,
14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 // GNU General Public License for more details.
17 
18 // Under Section 7 of GPL version 3, you are granted additional
19 // permissions described in the GCC Runtime Library Exception, version
20 // 3.1, as published by the Free Software Foundation.
21 
22 // You should have received a copy of the GNU General Public License and
23 // a copy of the GCC Runtime Library Exception along with this program;
24 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
25 // <http://www.gnu.org/licenses/>.
26 
27 /** @file include/valarray
28  * This is a Standard C++ Library header.
29  */
30 
31 // Written by Gabriel Dos Reis <Gabriel.Dos-Reis@DPTMaths.ENS-Cachan.Fr>
32 
33 #ifndef _GLIBCXX_VALARRAY
34 #define _GLIBCXX_VALARRAY 1
35 
36 #pragma GCC system_header
37 
38 #include <bits/c++config.h>
39 #include <cmath>
40 #include <algorithm>
41 #include <debug/debug.h>
42 #include <initializer_list>
43 
44 namespace std _GLIBCXX_VISIBILITY(default)
45 {
46 _GLIBCXX_BEGIN_NAMESPACE_VERSION
47 
48  template<class _Clos, typename _Tp>
49  class _Expr;
50 
51  template<typename _Tp1, typename _Tp2>
52  class _ValArray;
53 
54  template<class _Oper, template<class, class> class _Meta, class _Dom>
55  struct _UnClos;
56 
57  template<class _Oper,
58  template<class, class> class _Meta1,
59  template<class, class> class _Meta2,
60  class _Dom1, class _Dom2>
61  class _BinClos;
62 
63  template<template<class, class> class _Meta, class _Dom>
64  class _SClos;
65 
66  template<template<class, class> class _Meta, class _Dom>
67  class _GClos;
68 
69  template<template<class, class> class _Meta, class _Dom>
70  class _IClos;
71 
72  template<template<class, class> class _Meta, class _Dom>
73  class _ValFunClos;
74 
75  template<template<class, class> class _Meta, class _Dom>
76  class _RefFunClos;
77 
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
85 
86 _GLIBCXX_END_NAMESPACE_VERSION
87 } // namespace
88 
89 #include <bits/valarray_array.h>
90 #include <bits/valarray_before.h>
91 
92 namespace std _GLIBCXX_VISIBILITY(default)
93 {
94 _GLIBCXX_BEGIN_NAMESPACE_VERSION
95 
96  /**
97  * @defgroup numeric_arrays Numeric Arrays
98  * @ingroup numerics
99  *
100  * Classes and functions for representing and manipulating arrays of elements.
101  * @{
102  */
103 
104  /**
105  * @brief Smart array designed to support numeric processing.
106  *
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.
112  *
113  * @param Tp Type of object in the array.
114  */
115  template<class _Tp>
116  class valarray
117  {
118  template<class _Op>
119  struct _UnaryOp
120  {
121  typedef typename __fun<_Op, _Tp>::result_type __rt;
122  typedef _Expr<_UnClos<_Op, _ValArray, _Tp>, __rt> _Rt;
123  };
124  public:
125  typedef _Tp value_type;
126 
127  // _lib.valarray.cons_ construct/destroy:
128  /// Construct an empty array.
129  valarray();
130 
131  /// Construct an array with @a n elements.
132  explicit valarray(size_t);
133 
134  /// Construct an array with @a n elements initialized to @a t.
135  valarray(const _Tp&, size_t);
136 
137  /// Construct an array initialized to the first @a n elements of @a t.
138  valarray(const _Tp* __restrict__, size_t);
139 
140  /// Copy constructor.
141  valarray(const valarray&);
142 
143  /// Construct an array with the same size and values in @a sa.
144  valarray(const slice_array<_Tp>&);
145 
146  /// Construct an array with the same size and values in @a ga.
147  valarray(const gslice_array<_Tp>&);
148 
149  /// Construct an array with the same size and values in @a ma.
150  valarray(const mask_array<_Tp>&);
151 
152  /// Construct an array with the same size and values in @a ia.
153  valarray(const indirect_array<_Tp>&);
154 
155 #ifdef __GXX_EXPERIMENTAL_CXX0X__
156  /// Construct an array with an initializer_list of values.
157  valarray(initializer_list<_Tp>);
158 #endif
159 
160  template<class _Dom>
161  valarray(const _Expr<_Dom, _Tp>& __e);
162 
163  ~valarray();
164 
165  // _lib.valarray.assign_ assignment:
166  /**
167  * @brief Assign elements to an array.
168  *
169  * Assign elements of array to values in @a v. Results are undefined
170  * if @a v does not have the same size as this array.
171  *
172  * @param v Valarray to get values from.
173  */
174  valarray<_Tp>& operator=(const valarray<_Tp>&);
175 
176  /**
177  * @brief Assign elements to a value.
178  *
179  * Assign all elements of array to @a t.
180  *
181  * @param t Value for elements.
182  */
183  valarray<_Tp>& operator=(const _Tp&);
184 
185  /**
186  * @brief Assign elements to an array subset.
187  *
188  * Assign elements of array to values in @a sa. Results are undefined
189  * if @a sa does not have the same size as this array.
190  *
191  * @param sa Array slice to get values from.
192  */
193  valarray<_Tp>& operator=(const slice_array<_Tp>&);
194 
195  /**
196  * @brief Assign elements to an array subset.
197  *
198  * Assign elements of array to values in @a ga. Results are undefined
199  * if @a ga does not have the same size as this array.
200  *
201  * @param ga Array slice to get values from.
202  */
203  valarray<_Tp>& operator=(const gslice_array<_Tp>&);
204 
205  /**
206  * @brief Assign elements to an array subset.
207  *
208  * Assign elements of array to values in @a ma. Results are undefined
209  * if @a ma does not have the same size as this array.
210  *
211  * @param ma Array slice to get values from.
212  */
213  valarray<_Tp>& operator=(const mask_array<_Tp>&);
214 
215  /**
216  * @brief Assign elements to an array subset.
217  *
218  * Assign elements of array to values in @a ia. Results are undefined
219  * if @a ia does not have the same size as this array.
220  *
221  * @param ia Array slice to get values from.
222  */
223  valarray<_Tp>& operator=(const indirect_array<_Tp>&);
224 
225 #ifdef __GXX_EXPERIMENTAL_CXX0X__
226  /**
227  * @brief Assign elements to an initializer_list.
228  *
229  * Assign elements of array to values in @a l. Results are undefined
230  * if @a l does not have the same size as this array.
231  *
232  * @param l initializer_list to get values from.
233  */
234  valarray& operator=(initializer_list<_Tp>);
235 #endif
236 
237  template<class _Dom> valarray<_Tp>&
238  operator= (const _Expr<_Dom, _Tp>&);
239 
240  // _lib.valarray.access_ element access:
241  /**
242  * Return a reference to the i'th array element.
243  *
244  * @param i Index of element to return.
245  * @return Reference to the i'th element.
246  */
247  _Tp& operator[](size_t);
248 
249  // _GLIBCXX_RESOLVE_LIB_DEFECTS
250  // 389. Const overload of valarray::operator[] returns by value.
251  const _Tp& operator[](size_t) const;
252 
253  // _lib.valarray.sub_ subset operations:
254  /**
255  * @brief Return an array subset.
256  *
257  * Returns a new valarray containing the elements of the array
258  * indicated by the slice argument. The new valarray has the same size
259  * as the input slice. @see slice.
260  *
261  * @param s The source slice.
262  * @return New valarray containing elements in @a s.
263  */
264  _Expr<_SClos<_ValArray, _Tp>, _Tp> operator[](slice) const;
265 
266  /**
267  * @brief Return a reference to an array subset.
268  *
269  * Returns a new valarray containing the elements of the array
270  * indicated by the slice argument. The new valarray has the same size
271  * as the input slice. @see slice.
272  *
273  * @param s The source slice.
274  * @return New valarray containing elements in @a s.
275  */
276  slice_array<_Tp> operator[](slice);
277 
278  /**
279  * @brief Return an array subset.
280  *
281  * Returns a slice_array referencing the elements of the array
282  * indicated by the slice argument. @see gslice.
283  *
284  * @param s The source slice.
285  * @return Slice_array referencing elements indicated by @a s.
286  */
287  _Expr<_GClos<_ValArray, _Tp>, _Tp> operator[](const gslice&) const;
288 
289  /**
290  * @brief Return a reference to an array subset.
291  *
292  * Returns a new valarray containing the elements of the array
293  * indicated by the gslice argument. The new valarray has
294  * the same size as the input gslice. @see gslice.
295  *
296  * @param s The source gslice.
297  * @return New valarray containing elements in @a s.
298  */
299  gslice_array<_Tp> operator[](const gslice&);
300 
301  /**
302  * @brief Return an array subset.
303  *
304  * Returns a new valarray containing the elements of the array
305  * indicated by the argument. The input is a valarray of bool which
306  * represents a bitmask indicating which elements should be copied into
307  * the new valarray. Each element of the array is added to the return
308  * valarray if the corresponding element of the argument is true.
309  *
310  * @param m The valarray bitmask.
311  * @return New valarray containing elements indicated by @a m.
312  */
313  valarray<_Tp> operator[](const valarray<bool>&) const;
314 
315  /**
316  * @brief Return a reference to an array subset.
317  *
318  * Returns a new mask_array referencing the elements of the array
319  * indicated by the argument. The input is a valarray of bool which
320  * represents a bitmask indicating which elements are part of the
321  * subset. Elements of the array are part of the subset if the
322  * corresponding element of the argument is true.
323  *
324  * @param m The valarray bitmask.
325  * @return New valarray containing elements indicated by @a m.
326  */
327  mask_array<_Tp> operator[](const valarray<bool>&);
328 
329  /**
330  * @brief Return an array subset.
331  *
332  * Returns a new valarray containing the elements of the array
333  * indicated by the argument. The elements in the argument are
334  * interpreted as the indices of elements of this valarray to copy to
335  * the return valarray.
336  *
337  * @param i The valarray element index list.
338  * @return New valarray containing elements in @a s.
339  */
340  _Expr<_IClos<_ValArray, _Tp>, _Tp>
341  operator[](const valarray<size_t>&) const;
342 
343  /**
344  * @brief Return a reference to an array subset.
345  *
346  * Returns an indirect_array referencing the elements of the array
347  * indicated by the argument. The elements in the argument are
348  * interpreted as the indices of elements of this valarray to include
349  * in the subset. The returned indirect_array refers to these
350  * elements.
351  *
352  * @param i The valarray element index list.
353  * @return Indirect_array referencing elements in @a i.
354  */
355  indirect_array<_Tp> operator[](const valarray<size_t>&);
356 
357  // _lib.valarray.unary_ unary operators:
358  /// Return a new valarray by applying unary + to each element.
359  typename _UnaryOp<__unary_plus>::_Rt operator+() const;
360 
361  /// Return a new valarray by applying unary - to each element.
362  typename _UnaryOp<__negate>::_Rt operator-() const;
363 
364  /// Return a new valarray by applying unary ~ to each element.
365  typename _UnaryOp<__bitwise_not>::_Rt operator~() const;
366 
367  /// Return a new valarray by applying unary ! to each element.
368  typename _UnaryOp<__logical_not>::_Rt operator!() const;
369 
370  // _lib.valarray.cassign_ computed assignment:
371  /// Multiply each element of array by @a t.
372  valarray<_Tp>& operator*=(const _Tp&);
373 
374  /// Divide each element of array by @a t.
375  valarray<_Tp>& operator/=(const _Tp&);
376 
377  /// Set each element e of array to e % @a t.
378  valarray<_Tp>& operator%=(const _Tp&);
379 
380  /// Add @a t to each element of array.
381  valarray<_Tp>& operator+=(const _Tp&);
382 
383  /// Subtract @a t to each element of array.
384  valarray<_Tp>& operator-=(const _Tp&);
385 
386  /// Set each element e of array to e ^ @a t.
387  valarray<_Tp>& operator^=(const _Tp&);
388 
389  /// Set each element e of array to e & @a t.
390  valarray<_Tp>& operator&=(const _Tp&);
391 
392  /// Set each element e of array to e | @a t.
393  valarray<_Tp>& operator|=(const _Tp&);
394 
395  /// Left shift each element e of array by @a t bits.
396  valarray<_Tp>& operator<<=(const _Tp&);
397 
398  /// Right shift each element e of array by @a t bits.
399  valarray<_Tp>& operator>>=(const _Tp&);
400 
401  /// Multiply elements of array by corresponding elements of @a v.
402  valarray<_Tp>& operator*=(const valarray<_Tp>&);
403 
404  /// Divide elements of array by corresponding elements of @a v.
405  valarray<_Tp>& operator/=(const valarray<_Tp>&);
406 
407  /// Modulo elements of array by corresponding elements of @a v.
408  valarray<_Tp>& operator%=(const valarray<_Tp>&);
409 
410  /// Add corresponding elements of @a v to elements of array.
411  valarray<_Tp>& operator+=(const valarray<_Tp>&);
412 
413  /// Subtract corresponding elements of @a v from elements of array.
414  valarray<_Tp>& operator-=(const valarray<_Tp>&);
415 
416  /// Logical xor corresponding elements of @a v with elements of array.
417  valarray<_Tp>& operator^=(const valarray<_Tp>&);
418 
419  /// Logical or corresponding elements of @a v with elements of array.
420  valarray<_Tp>& operator|=(const valarray<_Tp>&);
421 
422  /// Logical and corresponding elements of @a v with elements of array.
423  valarray<_Tp>& operator&=(const valarray<_Tp>&);
424 
425  /// Left shift elements of array by corresponding elements of @a v.
426  valarray<_Tp>& operator<<=(const valarray<_Tp>&);
427 
428  /// Right shift elements of array by corresponding elements of @a v.
429  valarray<_Tp>& operator>>=(const valarray<_Tp>&);
430 
431  template<class _Dom>
432  valarray<_Tp>& operator*=(const _Expr<_Dom, _Tp>&);
433  template<class _Dom>
434  valarray<_Tp>& operator/=(const _Expr<_Dom, _Tp>&);
435  template<class _Dom>
436  valarray<_Tp>& operator%=(const _Expr<_Dom, _Tp>&);
437  template<class _Dom>
438  valarray<_Tp>& operator+=(const _Expr<_Dom, _Tp>&);
439  template<class _Dom>
440  valarray<_Tp>& operator-=(const _Expr<_Dom, _Tp>&);
441  template<class _Dom>
442  valarray<_Tp>& operator^=(const _Expr<_Dom, _Tp>&);
443  template<class _Dom>
444  valarray<_Tp>& operator|=(const _Expr<_Dom, _Tp>&);
445  template<class _Dom>
446  valarray<_Tp>& operator&=(const _Expr<_Dom, _Tp>&);
447  template<class _Dom>
448  valarray<_Tp>& operator<<=(const _Expr<_Dom, _Tp>&);
449  template<class _Dom>
450  valarray<_Tp>& operator>>=(const _Expr<_Dom, _Tp>&);
451 
452  // _lib.valarray.members_ member functions:
453  /// Return the number of elements in array.
454  size_t size() const;
455 
456  /**
457  * @brief Return the sum of all elements in the array.
458  *
459  * Accumulates the sum of all elements into a Tp using +=. The order
460  * of adding the elements is unspecified.
461  */
462  _Tp sum() const;
463 
464  /// Return the minimum element using operator<().
465  _Tp min() const;
466 
467  /// Return the maximum element using operator<().
468  _Tp max() const;
469 
470  /**
471  * @brief Return a shifted array.
472  *
473  * A new valarray is constructed as a copy of this array with elements
474  * in shifted positions. For an element with index i, the new position
475  * is i - n. The new valarray has the same size as the current one.
476  * New elements without a value are set to 0. Elements whose new
477  * position is outside the bounds of the array are discarded.
478  *
479  * Positive arguments shift toward index 0, discarding elements [0, n).
480  * Negative arguments discard elements from the top of the array.
481  *
482  * @param n Number of element positions to shift.
483  * @return New valarray with elements in shifted positions.
484  */
485  valarray<_Tp> shift (int) const;
486 
487  /**
488  * @brief Return a rotated array.
489  *
490  * A new valarray is constructed as a copy of this array with elements
491  * in shifted positions. For an element with index i, the new position
492  * is (i - n) % size(). The new valarray has the same size as the
493  * current one. Elements that are shifted beyond the array bounds are
494  * shifted into the other end of the array. No elements are lost.
495  *
496  * Positive arguments shift toward index 0, wrapping around the top.
497  * Negative arguments shift towards the top, wrapping around to 0.
498  *
499  * @param n Number of element positions to rotate.
500  * @return New valarray with elements in shifted positions.
501  */
502  valarray<_Tp> cshift(int) const;
503 
504  /**
505  * @brief Apply a function to the array.
506  *
507  * Returns a new valarray with elements assigned to the result of
508  * applying func to the corresponding element of this array. The new
509  * array has the same size as this one.
510  *
511  * @param func Function of Tp returning Tp to apply.
512  * @return New valarray with transformed elements.
513  */
514  _Expr<_ValFunClos<_ValArray, _Tp>, _Tp> apply(_Tp func(_Tp)) const;
515 
516  /**
517  * @brief Apply a function to the array.
518  *
519  * Returns a new valarray with elements assigned to the result of
520  * applying func to the corresponding element of this array. The new
521  * array has the same size as this one.
522  *
523  * @param func Function of const Tp& returning Tp to apply.
524  * @return New valarray with transformed elements.
525  */
526  _Expr<_RefFunClos<_ValArray, _Tp>, _Tp> apply(_Tp func(const _Tp&)) const;
527 
528  /**
529  * @brief Resize array.
530  *
531  * Resize this array to @a size and set all elements to @a c. All
532  * references and iterators are invalidated.
533  *
534  * @param size New array size.
535  * @param c New value for all elements.
536  */
537  void resize(size_t __size, _Tp __c = _Tp());
538 
539  private:
540  size_t _M_size;
541  _Tp* __restrict__ _M_data;
542 
543  friend class _Array<_Tp>;
544  };
545 
546  template<typename _Tp>
547  inline const _Tp&
548  valarray<_Tp>::operator[](size_t __i) const
549  {
550  __glibcxx_requires_subscript(__i);
551  return _M_data[__i];
552  }
553 
554  template<typename _Tp>
555  inline _Tp&
556  valarray<_Tp>::operator[](size_t __i)
557  {
558  __glibcxx_requires_subscript(__i);
559  return _M_data[__i];
560  }
561 
562  // @} group numeric_arrays
563 
564 _GLIBCXX_END_NAMESPACE_VERSION
565 } // namespace
566 
567 #include <bits/valarray_after.h>
568 #include <bits/slice_array.h>
569 #include <bits/gslice.h>
570 #include <bits/gslice_array.h>
571 #include <bits/mask_array.h>
572 #include <bits/indirect_array.h>
573 
574 namespace std _GLIBCXX_VISIBILITY(default)
575 {
576 _GLIBCXX_BEGIN_NAMESPACE_VERSION
577 
578  /**
579  * @addtogroup numeric_arrays
580  * @{
581  */
582 
583  template<typename _Tp>
584  inline
585  valarray<_Tp>::valarray() : _M_size(0), _M_data(0) {}
586 
587  template<typename _Tp>
588  inline
589  valarray<_Tp>::valarray(size_t __n)
590  : _M_size(__n), _M_data(__valarray_get_storage<_Tp>(__n))
591  { std::__valarray_default_construct(_M_data, _M_data + __n); }
592 
593  template<typename _Tp>
594  inline
595  valarray<_Tp>::valarray(const _Tp& __t, size_t __n)
596  : _M_size(__n), _M_data(__valarray_get_storage<_Tp>(__n))
597  { std::__valarray_fill_construct(_M_data, _M_data + __n, __t); }
598 
599  template<typename _Tp>
600  inline
601  valarray<_Tp>::valarray(const _Tp* __restrict__ __p, size_t __n)
602  : _M_size(__n), _M_data(__valarray_get_storage<_Tp>(__n))
603  {
604  _GLIBCXX_DEBUG_ASSERT(__p != 0 || __n == 0);
605  std::__valarray_copy_construct(__p, __p + __n, _M_data);
606  }
607 
608  template<typename _Tp>
609  inline
610  valarray<_Tp>::valarray(const valarray<_Tp>& __v)
611  : _M_size(__v._M_size), _M_data(__valarray_get_storage<_Tp>(__v._M_size))
612  { std::__valarray_copy_construct(__v._M_data, __v._M_data + _M_size,
613  _M_data); }
614 
615  template<typename _Tp>
616  inline
617  valarray<_Tp>::valarray(const slice_array<_Tp>& __sa)
618  : _M_size(__sa._M_sz), _M_data(__valarray_get_storage<_Tp>(__sa._M_sz))
619  {
620  std::__valarray_copy_construct
621  (__sa._M_array, __sa._M_sz, __sa._M_stride, _Array<_Tp>(_M_data));
622  }
623 
624  template<typename _Tp>
625  inline
626  valarray<_Tp>::valarray(const gslice_array<_Tp>& __ga)
627  : _M_size(__ga._M_index.size()),
628  _M_data(__valarray_get_storage<_Tp>(_M_size))
629  {
630  std::__valarray_copy_construct
631  (__ga._M_array, _Array<size_t>(__ga._M_index),
632  _Array<_Tp>(_M_data), _M_size);
633  }
634 
635  template<typename _Tp>
636  inline
637  valarray<_Tp>::valarray(const mask_array<_Tp>& __ma)
638  : _M_size(__ma._M_sz), _M_data(__valarray_get_storage<_Tp>(__ma._M_sz))
639  {
640  std::__valarray_copy_construct
641  (__ma._M_array, __ma._M_mask, _Array<_Tp>(_M_data), _M_size);
642  }
643 
644  template<typename _Tp>
645  inline
646  valarray<_Tp>::valarray(const indirect_array<_Tp>& __ia)
647  : _M_size(__ia._M_sz), _M_data(__valarray_get_storage<_Tp>(__ia._M_sz))
648  {
649  std::__valarray_copy_construct
650  (__ia._M_array, __ia._M_index, _Array<_Tp>(_M_data), _M_size);
651  }
652 
653 #ifdef __GXX_EXPERIMENTAL_CXX0X__
654  template<typename _Tp>
655  inline
656  valarray<_Tp>::valarray(initializer_list<_Tp> __l)
657  : _M_size(__l.size()), _M_data(__valarray_get_storage<_Tp>(__l.size()))
658  { std::__valarray_copy_construct (__l.begin(), __l.end(), _M_data); }
659 #endif
660 
661  template<typename _Tp> template<class _Dom>
662  inline
663  valarray<_Tp>::valarray(const _Expr<_Dom, _Tp>& __e)
664  : _M_size(__e.size()), _M_data(__valarray_get_storage<_Tp>(_M_size))
665  { std::__valarray_copy_construct(__e, _M_size, _Array<_Tp>(_M_data)); }
666 
667  template<typename _Tp>
668  inline
669  valarray<_Tp>::~valarray()
670  {
671  std::__valarray_destroy_elements(_M_data, _M_data + _M_size);
672  std::__valarray_release_memory(_M_data);
673  }
674 
675  template<typename _Tp>
676  inline valarray<_Tp>&
677  valarray<_Tp>::operator=(const valarray<_Tp>& __v)
678  {
679  // _GLIBCXX_RESOLVE_LIB_DEFECTS
680  // 630. arrays of valarray.
681  if (_M_size == __v._M_size)
682  std::__valarray_copy(__v._M_data, _M_size, _M_data);
683  else
684  {
685  if (_M_data)
686  {
687  std::__valarray_destroy_elements(_M_data, _M_data + _M_size);
688  std::__valarray_release_memory(_M_data);
689  }
690  _M_size = __v._M_size;
691  _M_data = __valarray_get_storage<_Tp>(_M_size);
692  std::__valarray_copy_construct(__v._M_data, __v._M_data + _M_size,
693  _M_data);
694  }
695  return *this;
696  }
697 
698 #ifdef __GXX_EXPERIMENTAL_CXX0X__
699  template<typename _Tp>
700  inline valarray<_Tp>&
701  valarray<_Tp>::operator=(initializer_list<_Tp> __l)
702  {
703  // _GLIBCXX_RESOLVE_LIB_DEFECTS
704  // 630. arrays of valarray.
705  if (_M_size == __l.size())
706  std::__valarray_copy(__l.begin(), __l.size(), _M_data);
707  else
708  {
709  if (_M_data)
710  {
711  std::__valarray_destroy_elements(_M_data, _M_data + _M_size);
712  std::__valarray_release_memory(_M_data);
713  }
714  _M_size = __l.size();
715  _M_data = __valarray_get_storage<_Tp>(_M_size);
716  std::__valarray_copy_construct(__l.begin(), __l.begin() + _M_size,
717  _M_data);
718  }
719  return *this;
720  }
721 #endif
722 
723  template<typename _Tp>
724  inline valarray<_Tp>&
725  valarray<_Tp>::operator=(const _Tp& __t)
726  {
727  std::__valarray_fill(_M_data, _M_size, __t);
728  return *this;
729  }
730 
731  template<typename _Tp>
732  inline valarray<_Tp>&
733  valarray<_Tp>::operator=(const slice_array<_Tp>& __sa)
734  {
735  _GLIBCXX_DEBUG_ASSERT(_M_size == __sa._M_sz);
736  std::__valarray_copy(__sa._M_array, __sa._M_sz,
737  __sa._M_stride, _Array<_Tp>(_M_data));
738  return *this;
739  }
740 
741  template<typename _Tp>
742  inline valarray<_Tp>&
743  valarray<_Tp>::operator=(const gslice_array<_Tp>& __ga)
744  {
745  _GLIBCXX_DEBUG_ASSERT(_M_size == __ga._M_index.size());
746  std::__valarray_copy(__ga._M_array, _Array<size_t>(__ga._M_index),
747  _Array<_Tp>(_M_data), _M_size);
748  return *this;
749  }
750 
751  template<typename _Tp>
752  inline valarray<_Tp>&
753  valarray<_Tp>::operator=(const mask_array<_Tp>& __ma)
754  {
755  _GLIBCXX_DEBUG_ASSERT(_M_size == __ma._M_sz);
756  std::__valarray_copy(__ma._M_array, __ma._M_mask,
757  _Array<_Tp>(_M_data), _M_size);
758  return *this;
759  }
760 
761  template<typename _Tp>
762  inline valarray<_Tp>&
763  valarray<_Tp>::operator=(const indirect_array<_Tp>& __ia)
764  {
765  _GLIBCXX_DEBUG_ASSERT(_M_size == __ia._M_sz);
766  std::__valarray_copy(__ia._M_array, __ia._M_index,
767  _Array<_Tp>(_M_data), _M_size);
768  return *this;
769  }
770 
771  template<typename _Tp> template<class _Dom>
772  inline valarray<_Tp>&
773  valarray<_Tp>::operator=(const _Expr<_Dom, _Tp>& __e)
774  {
775  _GLIBCXX_DEBUG_ASSERT(_M_size == __e.size());
776  std::__valarray_copy(__e, _M_size, _Array<_Tp>(_M_data));
777  return *this;
778  }
779 
780  template<typename _Tp>
781  inline _Expr<_SClos<_ValArray,_Tp>, _Tp>
782  valarray<_Tp>::operator[](slice __s) const
783  {
784  typedef _SClos<_ValArray,_Tp> _Closure;
785  return _Expr<_Closure, _Tp>(_Closure (_Array<_Tp>(_M_data), __s));
786  }
787 
788  template<typename _Tp>
789  inline slice_array<_Tp>
790  valarray<_Tp>::operator[](slice __s)
791  { return slice_array<_Tp>(_Array<_Tp>(_M_data), __s); }
792 
793  template<typename _Tp>
794  inline _Expr<_GClos<_ValArray,_Tp>, _Tp>
795  valarray<_Tp>::operator[](const gslice& __gs) const
796  {
797  typedef _GClos<_ValArray,_Tp> _Closure;
798  return _Expr<_Closure, _Tp>
799  (_Closure(_Array<_Tp>(_M_data), __gs._M_index->_M_index));
800  }
801 
802  template<typename _Tp>
803  inline gslice_array<_Tp>
804  valarray<_Tp>::operator[](const gslice& __gs)
805  {
806  return gslice_array<_Tp>
807  (_Array<_Tp>(_M_data), __gs._M_index->_M_index);
808  }
809 
810  template<typename _Tp>
811  inline valarray<_Tp>
812  valarray<_Tp>::operator[](const valarray<bool>& __m) const
813  {
814  size_t __s = 0;
815  size_t __e = __m.size();
816  for (size_t __i=0; __i<__e; ++__i)
817  if (__m[__i]) ++__s;
818  return valarray<_Tp>(mask_array<_Tp>(_Array<_Tp>(_M_data), __s,
819  _Array<bool> (__m)));
820  }
821 
822  template<typename _Tp>
823  inline mask_array<_Tp>
824  valarray<_Tp>::operator[](const valarray<bool>& __m)
825  {
826  size_t __s = 0;
827  size_t __e = __m.size();
828  for (size_t __i=0; __i<__e; ++__i)
829  if (__m[__i]) ++__s;
830  return mask_array<_Tp>(_Array<_Tp>(_M_data), __s, _Array<bool>(__m));
831  }
832 
833  template<typename _Tp>
834  inline _Expr<_IClos<_ValArray,_Tp>, _Tp>
835  valarray<_Tp>::operator[](const valarray<size_t>& __i) const
836  {
837  typedef _IClos<_ValArray,_Tp> _Closure;
838  return _Expr<_Closure, _Tp>(_Closure(*this, __i));
839  }
840 
841  template<typename _Tp>
842  inline indirect_array<_Tp>
843  valarray<_Tp>::operator[](const valarray<size_t>& __i)
844  {
845  return indirect_array<_Tp>(_Array<_Tp>(_M_data), __i.size(),
846  _Array<size_t>(__i));
847  }
848 
849  template<class _Tp>
850  inline size_t
851  valarray<_Tp>::size() const
852  { return _M_size; }
853 
854  template<class _Tp>
855  inline _Tp
856  valarray<_Tp>::sum() const
857  {
858  _GLIBCXX_DEBUG_ASSERT(_M_size > 0);
859  return std::__valarray_sum(_M_data, _M_data + _M_size);
860  }
861 
862  template<class _Tp>
863  inline valarray<_Tp>
864  valarray<_Tp>::shift(int __n) const
865  {
866  valarray<_Tp> __ret;
867 
868  if (_M_size == 0)
869  return __ret;
870 
871  _Tp* __restrict__ __tmp_M_data =
872  std::__valarray_get_storage<_Tp>(_M_size);
873 
874  if (__n == 0)
875  std::__valarray_copy_construct(_M_data,
876  _M_data + _M_size, __tmp_M_data);
877  else if (__n > 0) // shift left
878  {
879  if (size_t(__n) > _M_size)
880  __n = int(_M_size);
881 
882  std::__valarray_copy_construct(_M_data + __n,
883  _M_data + _M_size, __tmp_M_data);
884  std::__valarray_default_construct(__tmp_M_data + _M_size - __n,
885  __tmp_M_data + _M_size);
886  }
887  else // shift right
888  {
889  if (-size_t(__n) > _M_size)
890  __n = -int(_M_size);
891 
892  std::__valarray_copy_construct(_M_data, _M_data + _M_size + __n,
893  __tmp_M_data - __n);
894  std::__valarray_default_construct(__tmp_M_data,
895  __tmp_M_data - __n);
896  }
897 
898  __ret._M_size = _M_size;
899  __ret._M_data = __tmp_M_data;
900  return __ret;
901  }
902 
903  template<class _Tp>
904  inline valarray<_Tp>
905  valarray<_Tp>::cshift(int __n) const
906  {
907  valarray<_Tp> __ret;
908 
909  if (_M_size == 0)
910  return __ret;
911 
912  _Tp* __restrict__ __tmp_M_data =
913  std::__valarray_get_storage<_Tp>(_M_size);
914 
915  if (__n == 0)
916  std::__valarray_copy_construct(_M_data,
917  _M_data + _M_size, __tmp_M_data);
918  else if (__n > 0) // cshift left
919  {
920  if (size_t(__n) > _M_size)
921  __n = int(__n % _M_size);
922 
923  std::__valarray_copy_construct(_M_data, _M_data + __n,
924  __tmp_M_data + _M_size - __n);
925  std::__valarray_copy_construct(_M_data + __n, _M_data + _M_size,
926  __tmp_M_data);
927  }
928  else // cshift right
929  {
930  if (-size_t(__n) > _M_size)
931  __n = -int(-size_t(__n) % _M_size);
932 
933  std::__valarray_copy_construct(_M_data + _M_size + __n,
934  _M_data + _M_size, __tmp_M_data);
935  std::__valarray_copy_construct(_M_data, _M_data + _M_size + __n,
936  __tmp_M_data - __n);
937  }
938 
939  __ret._M_size = _M_size;
940  __ret._M_data = __tmp_M_data;
941  return __ret;
942  }
943 
944  template<class _Tp>
945  inline void
946  valarray<_Tp>::resize(size_t __n, _Tp __c)
947  {
948  // This complication is so to make valarray<valarray<T> > work
949  // even though it is not required by the standard. Nobody should
950  // be saying valarray<valarray<T> > anyway. See the specs.
951  std::__valarray_destroy_elements(_M_data, _M_data + _M_size);
952  if (_M_size != __n)
953  {
954  std::__valarray_release_memory(_M_data);
955  _M_size = __n;
956  _M_data = __valarray_get_storage<_Tp>(__n);
957  }
958  std::__valarray_fill_construct(_M_data, _M_data + __n, __c);
959  }
960 
961  template<typename _Tp>
962  inline _Tp
963  valarray<_Tp>::min() const
964  {
965  _GLIBCXX_DEBUG_ASSERT(_M_size > 0);
966  return *std::min_element(_M_data, _M_data + _M_size);
967  }
968 
969  template<typename _Tp>
970  inline _Tp
971  valarray<_Tp>::max() const
972  {
973  _GLIBCXX_DEBUG_ASSERT(_M_size > 0);
974  return *std::max_element(_M_data, _M_data + _M_size);
975  }
976 
977  template<class _Tp>
978  inline _Expr<_ValFunClos<_ValArray, _Tp>, _Tp>
979  valarray<_Tp>::apply(_Tp func(_Tp)) const
980  {
981  typedef _ValFunClos<_ValArray, _Tp> _Closure;
982  return _Expr<_Closure, _Tp>(_Closure(*this, func));
983  }
984 
985  template<class _Tp>
986  inline _Expr<_RefFunClos<_ValArray, _Tp>, _Tp>
987  valarray<_Tp>::apply(_Tp func(const _Tp &)) const
988  {
989  typedef _RefFunClos<_ValArray, _Tp> _Closure;
990  return _Expr<_Closure, _Tp>(_Closure(*this, func));
991  }
992 
993 #define _DEFINE_VALARRAY_UNARY_OPERATOR(_Op, _Name) \
994  template<typename _Tp> \
995  inline typename valarray<_Tp>::template _UnaryOp<_Name>::_Rt \
996  valarray<_Tp>::operator _Op() const \
997  { \
998  typedef _UnClos<_Name, _ValArray, _Tp> _Closure; \
999  typedef typename __fun<_Name, _Tp>::result_type _Rt; \
1000  return _Expr<_Closure, _Rt>(_Closure(*this)); \
1001  }
1002 
1003  _DEFINE_VALARRAY_UNARY_OPERATOR(+, __unary_plus)
1004  _DEFINE_VALARRAY_UNARY_OPERATOR(-, __negate)
1005  _DEFINE_VALARRAY_UNARY_OPERATOR(~, __bitwise_not)
1006  _DEFINE_VALARRAY_UNARY_OPERATOR (!, __logical_not)
1007 
1008 #undef _DEFINE_VALARRAY_UNARY_OPERATOR
1009 
1010 #define _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(_Op, _Name) \
1011  template<class _Tp> \
1012  inline valarray<_Tp>& \
1013  valarray<_Tp>::operator _Op##=(const _Tp &__t) \
1014  { \
1015  _Array_augmented_##_Name(_Array<_Tp>(_M_data), _M_size, __t); \
1016  return *this; \
1017  } \
1018  \
1019  template<class _Tp> \
1020  inline valarray<_Tp>& \
1021  valarray<_Tp>::operator _Op##=(const valarray<_Tp> &__v) \
1022  { \
1023  _GLIBCXX_DEBUG_ASSERT(_M_size == __v._M_size); \
1024  _Array_augmented_##_Name(_Array<_Tp>(_M_data), _M_size, \
1025  _Array<_Tp>(__v._M_data)); \
1026  return *this; \
1027  }
1028 
1029 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(+, __plus)
1030 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(-, __minus)
1031 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(*, __multiplies)
1032 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(/, __divides)
1033 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(%, __modulus)
1034 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(^, __bitwise_xor)
1035 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(&, __bitwise_and)
1036 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(|, __bitwise_or)
1037 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(<<, __shift_left)
1038 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(>>, __shift_right)
1039 
1040 #undef _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT
1041 
1042 #define _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(_Op, _Name) \
1043  template<class _Tp> template<class _Dom> \
1044  inline valarray<_Tp>& \
1045  valarray<_Tp>::operator _Op##=(const _Expr<_Dom, _Tp>& __e) \
1046  { \
1047  _Array_augmented_##_Name(_Array<_Tp>(_M_data), __e, _M_size); \
1048  return *this; \
1049  }
1050 
1051 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(+, __plus)
1052 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(-, __minus)
1053 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(*, __multiplies)
1054 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(/, __divides)
1055 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(%, __modulus)
1056 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(^, __bitwise_xor)
1057 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(&, __bitwise_and)
1058 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(|, __bitwise_or)
1059 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(<<, __shift_left)
1060 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(>>, __shift_right)
1061 
1062 #undef _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT
1063 
1064 
1065 #define _DEFINE_BINARY_OPERATOR(_Op, _Name) \
1066  template<typename _Tp> \
1067  inline _Expr<_BinClos<_Name, _ValArray, _ValArray, _Tp, _Tp>, \
1068  typename __fun<_Name, _Tp>::result_type> \
1069  operator _Op(const valarray<_Tp>& __v, const valarray<_Tp>& __w) \
1070  { \
1071  _GLIBCXX_DEBUG_ASSERT(__v.size() == __w.size()); \
1072  typedef _BinClos<_Name, _ValArray, _ValArray, _Tp, _Tp> _Closure; \
1073  typedef typename __fun<_Name, _Tp>::result_type _Rt; \
1074  return _Expr<_Closure, _Rt>(_Closure(__v, __w)); \
1075  } \
1076  \
1077  template<typename _Tp> \
1078  inline _Expr<_BinClos<_Name, _ValArray,_Constant, _Tp, _Tp>, \
1079  typename __fun<_Name, _Tp>::result_type> \
1080  operator _Op(const valarray<_Tp>& __v, const _Tp& __t) \
1081  { \
1082  typedef _BinClos<_Name, _ValArray, _Constant, _Tp, _Tp> _Closure; \
1083  typedef typename __fun<_Name, _Tp>::result_type _Rt; \
1084  return _Expr<_Closure, _Rt>(_Closure(__v, __t)); \
1085  } \
1086  \
1087  template<typename _Tp> \
1088  inline _Expr<_BinClos<_Name, _Constant, _ValArray, _Tp, _Tp>, \
1089  typename __fun<_Name, _Tp>::result_type> \
1090  operator _Op(const _Tp& __t, const valarray<_Tp>& __v) \
1091  { \
1092  typedef _BinClos<_Name, _Constant, _ValArray, _Tp, _Tp> _Closure; \
1093  typedef typename __fun<_Name, _Tp>::result_type _Rt; \
1094  return _Expr<_Closure, _Rt>(_Closure(__t, __v)); \
1095  }
1096 
1097 _DEFINE_BINARY_OPERATOR(+, __plus)
1098 _DEFINE_BINARY_OPERATOR(-, __minus)
1099 _DEFINE_BINARY_OPERATOR(*, __multiplies)
1100 _DEFINE_BINARY_OPERATOR(/, __divides)
1101 _DEFINE_BINARY_OPERATOR(%, __modulus)
1102 _DEFINE_BINARY_OPERATOR(^, __bitwise_xor)
1103 _DEFINE_BINARY_OPERATOR(&, __bitwise_and)
1104 _DEFINE_BINARY_OPERATOR(|, __bitwise_or)
1105 _DEFINE_BINARY_OPERATOR(<<, __shift_left)
1106 _DEFINE_BINARY_OPERATOR(>>, __shift_right)
1107 _DEFINE_BINARY_OPERATOR(&&, __logical_and)
1108 _DEFINE_BINARY_OPERATOR(||, __logical_or)
1109 _DEFINE_BINARY_OPERATOR(==, __equal_to)
1110 _DEFINE_BINARY_OPERATOR(!=, __not_equal_to)
1111 _DEFINE_BINARY_OPERATOR(<, __less)
1112 _DEFINE_BINARY_OPERATOR(>, __greater)
1113 _DEFINE_BINARY_OPERATOR(<=, __less_equal)
1114 _DEFINE_BINARY_OPERATOR(>=, __greater_equal)
1115 
1116 #undef _DEFINE_BINARY_OPERATOR
1117 
1118 #ifdef __GXX_EXPERIMENTAL_CXX0X__
1119  /**
1120  * @brief Return an iterator pointing to the first element of
1121  * the valarray.
1122  * @param va valarray.
1123  */
1124  template<class _Tp>
1125  inline _Tp*
1126  begin(valarray<_Tp>& __va)
1127  { return std::__addressof(__va[0]); }
1128 
1129  /**
1130  * @brief Return an iterator pointing to the first element of
1131  * the const valarray.
1132  * @param va valarray.
1133  */
1134  template<class _Tp>
1135  inline const _Tp*
1136  begin(const valarray<_Tp>& __va)
1137  { return std::__addressof(__va[0]); }
1138 
1139  /**
1140  * @brief Return an iterator pointing to one past the last element of
1141  * the valarray.
1142  * @param va valarray.
1143  */
1144  template<class _Tp>
1145  inline _Tp*
1146  end(valarray<_Tp>& __va)
1147  { return std::__addressof(__va[0]) + __va.size(); }
1148 
1149  /**
1150  * @brief Return an iterator pointing to one past the last element of
1151  * the const valarray.
1152  * @param va valarray.
1153  */
1154  template<class _Tp>
1155  inline const _Tp*
1156  end(const valarray<_Tp>& __va)
1157  { return std::__addressof(__va[0]) + __va.size(); }
1158 #endif // __GXX_EXPERIMENTAL_CXX0X__
1159 
1160  // @} group numeric_arrays
1161 
1162 _GLIBCXX_END_NAMESPACE_VERSION
1163 } // namespace
1164 
1165 #endif /* _GLIBCXX_VALARRAY */