valarray

Go to the documentation of this file.
00001 // The template and inlines for the -*- C++ -*- valarray class. 00002 00003 // Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002, 2004 00004 // Free Software Foundation, Inc. 00005 // 00006 // This file is part of the GNU ISO C++ Library. This library is free 00007 // software; you can redistribute it and/or modify it under the 00008 // terms of the GNU General Public License as published by the 00009 // Free Software Foundation; either version 2, or (at your option) 00010 // any later version. 00011 00012 // This library is distributed in the hope that it will be useful, 00013 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00014 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00015 // GNU General Public License for more details. 00016 00017 // You should have received a copy of the GNU General Public License along 00018 // with this library; see the file COPYING. If not, write to the Free 00019 // Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, 00020 // USA. 00021 00022 // As a special exception, you may use this file as part of a free software 00023 // library without restriction. Specifically, if other files instantiate 00024 // templates or use macros or inline functions from this file, or you compile 00025 // this file and link it with other files to produce an executable, this 00026 // file does not by itself cause the resulting executable to be covered by 00027 // the GNU General Public License. This exception does not however 00028 // invalidate any other reasons why the executable file might be covered by 00029 // the GNU General Public License. 00030 00031 // Written by Gabriel Dos Reis <Gabriel.Dos-Reis@DPTMaths.ENS-Cachan.Fr> 00032 00033 /** @file valarray 00034 * This is a Standard C++ Library header. You should @c #include this header 00035 * in your programs, rather than any of the "st[dl]_*.h" implementation files. 00036 */ 00037 00038 #ifndef _GLIBCXX_VALARRAY 00039 #define _GLIBCXX_VALARRAY 1 00040 00041 #pragma GCC system_header 00042 00043 #include <bits/c++config.h> 00044 #include <cstddef> 00045 #include <cmath> 00046 #include <cstdlib> 00047 #include <numeric> 00048 #include <algorithm> 00049 #include <debug/debug.h> 00050 00051 namespace std 00052 { 00053 template<class _Clos, typename _Tp> 00054 class _Expr; 00055 00056 template<typename _Tp1, typename _Tp2> 00057 class _ValArray; 00058 00059 template<class _Oper, template<class, class> class _Meta, class _Dom> 00060 struct _UnClos; 00061 00062 template<class _Oper, 00063 template<class, class> class _Meta1, 00064 template<class, class> class _Meta2, 00065 class _Dom1, class _Dom2> 00066 class _BinClos; 00067 00068 template<template<class, class> class _Meta, class _Dom> 00069 class _SClos; 00070 00071 template<template<class, class> class _Meta, class _Dom> 00072 class _GClos; 00073 00074 template<template<class, class> class _Meta, class _Dom> 00075 class _IClos; 00076 00077 template<template<class, class> class _Meta, class _Dom> 00078 class _ValFunClos; 00079 00080 template<template<class, class> class _Meta, class _Dom> 00081 class _RefFunClos; 00082 00083 template<class _Tp> class valarray; // An array of type _Tp 00084 class slice; // BLAS-like slice out of an array 00085 template<class _Tp> class slice_array; 00086 class gslice; // generalized slice out of an array 00087 template<class _Tp> class gslice_array; 00088 template<class _Tp> class mask_array; // masked array 00089 template<class _Tp> class indirect_array; // indirected array 00090 00091 } // namespace std 00092 00093 #include <bits/valarray_array.h> 00094 #include <bits/valarray_before.h> 00095 00096 namespace std 00097 { 00098 /** 00099 * @brief Smart array designed to support numeric processing. 00100 * 00101 * A valarray is an array that provides constraints intended to allow for 00102 * effective optimization of numeric array processing by reducing the 00103 * aliasing that can result from pointer representations. It represents a 00104 * one-dimensional array from which different multidimensional subsets can 00105 * be accessed and modified. 00106 * 00107 * @param Tp Type of object in the array. 00108 */ 00109 template<class _Tp> 00110 class valarray 00111 { 00112 template<class _Op> 00113 struct _UnaryOp 00114 { 00115 typedef typename __fun<_Op, _Tp>::result_type __rt; 00116 typedef _Expr<_UnClos<_Op, _ValArray, _Tp>, __rt> _Rt; 00117 }; 00118 public: 00119 typedef _Tp value_type; 00120 00121 // _lib.valarray.cons_ construct/destroy: 00122 /// Construct an empty array. 00123 valarray(); 00124 00125 /// Construct an array with @a n elements. 00126 explicit valarray(size_t); 00127 00128 /// Construct an array with @a n elements initialized to @a t. 00129 valarray(const _Tp&, size_t); 00130 00131 /// Construct an array initialized to the first @a n elements of @a t. 00132 valarray(const _Tp* __restrict__, size_t); 00133 00134 /// Copy constructor. 00135 valarray(const valarray&); 00136 00137 /// Construct an array with the same size and values in @a sa. 00138 valarray(const slice_array<_Tp>&); 00139 00140 /// Construct an array with the same size and values in @a ga. 00141 valarray(const gslice_array<_Tp>&); 00142 00143 /// Construct an array with the same size and values in @a ma. 00144 valarray(const mask_array<_Tp>&); 00145 00146 /// Construct an array with the same size and values in @a ia. 00147 valarray(const indirect_array<_Tp>&); 00148 00149 template<class _Dom> 00150 valarray(const _Expr<_Dom,_Tp>& __e); 00151 ~valarray(); 00152 00153 // _lib.valarray.assign_ assignment: 00154 /** 00155 * @brief Assign elements to an array. 00156 * 00157 * Assign elements of array to values in @a v. Results are undefined 00158 * if @a v is not the same size as this array. 00159 * 00160 * @param v Valarray to get values from. 00161 */ 00162 valarray<_Tp>& operator=(const valarray<_Tp>&); 00163 00164 /** 00165 * @brief Assign elements to a value. 00166 * 00167 * Assign all elements of array to @a t. 00168 * 00169 * @param t Value for elements. 00170 */ 00171 valarray<_Tp>& operator=(const _Tp&); 00172 00173 /** 00174 * @brief Assign elements to an array subset. 00175 * 00176 * Assign elements of array to values in @a sa. Results are undefined 00177 * if @a sa is not the same size as this array. 00178 * 00179 * @param sa Array slice to get values from. 00180 */ 00181 valarray<_Tp>& operator=(const slice_array<_Tp>&); 00182 00183 /** 00184 * @brief Assign elements to an array subset. 00185 * 00186 * Assign elements of array to values in @a ga. Results are undefined 00187 * if @a ga is not the same size as this array. 00188 * 00189 * @param ga Array slice to get values from. 00190 */ 00191 valarray<_Tp>& operator=(const gslice_array<_Tp>&); 00192 00193 /** 00194 * @brief Assign elements to an array subset. 00195 * 00196 * Assign elements of array to values in @a ma. Results are undefined 00197 * if @a ma is not the same size as this array. 00198 * 00199 * @param ma Array slice to get values from. 00200 */ 00201 valarray<_Tp>& operator=(const mask_array<_Tp>&); 00202 00203 /** 00204 * @brief Assign elements to an array subset. 00205 * 00206 * Assign elements of array to values in @a ia. Results are undefined 00207 * if @a ia is not the same size as this array. 00208 * 00209 * @param ia Array slice to get values from. 00210 */ 00211 valarray<_Tp>& operator=(const indirect_array<_Tp>&); 00212 00213 template<class _Dom> valarray<_Tp>& 00214 operator= (const _Expr<_Dom,_Tp>&); 00215 00216 // _lib.valarray.access_ element access: 00217 /** 00218 * Return a reference to the i'th array element. 00219 * 00220 * @param i Index of element to return. 00221 * @return Reference to the i'th element. 00222 */ 00223 _Tp& operator[](size_t); 00224 00225 // _GLIBCXX_RESOLVE_LIB_DEFECTS 00226 // 389. Const overload of valarray::operator[] returns by value. 00227 const _Tp& operator[](size_t) const; 00228 00229 // _lib.valarray.sub_ subset operations: 00230 /** 00231 * @brief Return an array subset. 00232 * 00233 * Returns a new valarray containing the elements of the array 00234 * indicated by the slice argument. The new valarray is the size of 00235 * the input slice. @see slice. 00236 * 00237 * @param s The source slice. 00238 * @return New valarray containing elements in @a s. 00239 */ 00240 _Expr<_SClos<_ValArray,_Tp>, _Tp> operator[](slice) const; 00241 00242 /** 00243 * @brief Return a reference to an array subset. 00244 * 00245 * Returns a new valarray containing the elements of the array 00246 * indicated by the slice argument. The new valarray is the size of 00247 * the input slice. @see slice. 00248 * 00249 * @param s The source slice. 00250 * @return New valarray containing elements in @a s. 00251 */ 00252 slice_array<_Tp> operator[](slice); 00253 00254 /** 00255 * @brief Return an array subset. 00256 * 00257 * Returns a slice_array referencing the elements of the array 00258 * indicated by the slice argument. @see gslice. 00259 * 00260 * @param s The source slice. 00261 * @return Slice_array referencing elements indicated by @a s. 00262 */ 00263 _Expr<_GClos<_ValArray,_Tp>, _Tp> operator[](const gslice&) const; 00264 00265 /** 00266 * @brief Return a reference to an array subset. 00267 * 00268 * Returns a new valarray containing the elements of the array 00269 * indicated by the gslice argument. The new valarray is 00270 * the size of the input gslice. @see gslice. 00271 * 00272 * @param s The source gslice. 00273 * @return New valarray containing elements in @a s. 00274 */ 00275 gslice_array<_Tp> operator[](const gslice&); 00276 00277 /** 00278 * @brief Return an array subset. 00279 * 00280 * Returns a new valarray containing the elements of the array 00281 * indicated by the argument. The input is a valarray of bool which 00282 * represents a bitmask indicating which elements should be copied into 00283 * the new valarray. Each element of the array is added to the return 00284 * valarray if the corresponding element of the argument is true. 00285 * 00286 * @param m The valarray bitmask. 00287 * @return New valarray containing elements indicated by @a m. 00288 */ 00289 valarray<_Tp> operator[](const valarray<bool>&) const; 00290 00291 /** 00292 * @brief Return a reference to an array subset. 00293 * 00294 * Returns a new mask_array referencing the elements of the array 00295 * indicated by the argument. The input is a valarray of bool which 00296 * represents a bitmask indicating which elements are part of the 00297 * subset. Elements of the array are part of the subset if the 00298 * corresponding element of the argument is true. 00299 * 00300 * @param m The valarray bitmask. 00301 * @return New valarray containing elements indicated by @a m. 00302 */ 00303 mask_array<_Tp> operator[](const valarray<bool>&); 00304 00305 /** 00306 * @brief Return an array subset. 00307 * 00308 * Returns a new valarray containing the elements of the array 00309 * indicated by the argument. The elements in the argument are 00310 * interpreted as the indices of elements of this valarray to copy to 00311 * the return valarray. 00312 * 00313 * @param i The valarray element index list. 00314 * @return New valarray containing elements in @a s. 00315 */ 00316 _Expr<_IClos<_ValArray, _Tp>, _Tp> 00317 operator[](const valarray<size_t>&) const; 00318 00319 /** 00320 * @brief Return a reference to an array subset. 00321 * 00322 * Returns an indirect_array referencing the elements of the array 00323 * indicated by the argument. The elements in the argument are 00324 * interpreted as the indices of elements of this valarray to include 00325 * in the subset. The returned indirect_array refers to these 00326 * elements. 00327 * 00328 * @param i The valarray element index list. 00329 * @return Indirect_array referencing elements in @a i. 00330 */ 00331 indirect_array<_Tp> operator[](const valarray<size_t>&); 00332 00333 // _lib.valarray.unary_ unary operators: 00334 /// Return a new valarray by applying unary + to each element. 00335 typename _UnaryOp<__unary_plus>::_Rt operator+() const; 00336 00337 /// Return a new valarray by applying unary - to each element. 00338 typename _UnaryOp<__negate>::_Rt operator-() const; 00339 00340 /// Return a new valarray by applying unary ~ to each element. 00341 typename _UnaryOp<__bitwise_not>::_Rt operator~() const; 00342 00343 /// Return a new valarray by applying unary ! to each element. 00344 typename _UnaryOp<__logical_not>::_Rt operator!() const; 00345 00346 // _lib.valarray.cassign_ computed assignment: 00347 /// Multiply each element of array by @a t. 00348 valarray<_Tp>& operator*=(const _Tp&); 00349 00350 /// Divide each element of array by @a t. 00351 valarray<_Tp>& operator/=(const _Tp&); 00352 00353 /// Set each element e of array to e % @a t. 00354 valarray<_Tp>& operator%=(const _Tp&); 00355 00356 /// Add @a t to each element of array. 00357 valarray<_Tp>& operator+=(const _Tp&); 00358 00359 /// Subtract @a t to each element of array. 00360 valarray<_Tp>& operator-=(const _Tp&); 00361 00362 /// Set each element e of array to e ^ @a t. 00363 valarray<_Tp>& operator^=(const _Tp&); 00364 00365 /// Set each element e of array to e & @a t. 00366 valarray<_Tp>& operator&=(const _Tp&); 00367 00368 /// Set each element e of array to e | @a t. 00369 valarray<_Tp>& operator|=(const _Tp&); 00370 00371 /// Left shift each element e of array by @a t bits. 00372 valarray<_Tp>& operator<<=(const _Tp&); 00373 00374 /// Right shift each element e of array by @a t bits. 00375 valarray<_Tp>& operator>>=(const _Tp&); 00376 00377 /// Multiply elements of array by corresponding elements of @a v. 00378 valarray<_Tp>& operator*=(const valarray<_Tp>&); 00379 00380 /// Divide elements of array by corresponding elements of @a v. 00381 valarray<_Tp>& operator/=(const valarray<_Tp>&); 00382 00383 /// Modulo elements of array by corresponding elements of @a v. 00384 valarray<_Tp>& operator%=(const valarray<_Tp>&); 00385 00386 /// Add corresponding elements of @a v to elements of array. 00387 valarray<_Tp>& operator+=(const valarray<_Tp>&); 00388 00389 /// Subtract corresponding elements of @a v from elements of array. 00390 valarray<_Tp>& operator-=(const valarray<_Tp>&); 00391 00392 /// Logical xor corresponding elements of @a v with elements of array. 00393 valarray<_Tp>& operator^=(const valarray<_Tp>&); 00394 00395 /// Logical or corresponding elements of @a v with elements of array. 00396 valarray<_Tp>& operator|=(const valarray<_Tp>&); 00397 00398 /// Logical and corresponding elements of @a v with elements of array. 00399 valarray<_Tp>& operator&=(const valarray<_Tp>&); 00400 00401 /// Left shift elements of array by corresponding elements of @a v. 00402 valarray<_Tp>& operator<<=(const valarray<_Tp>&); 00403 00404 /// Right shift elements of array by corresponding elements of @a v. 00405 valarray<_Tp>& operator>>=(const valarray<_Tp>&); 00406 00407 template<class _Dom> 00408 valarray<_Tp>& operator*=(const _Expr<_Dom,_Tp>&); 00409 template<class _Dom> 00410 valarray<_Tp>& operator/=(const _Expr<_Dom,_Tp>&); 00411 template<class _Dom> 00412 valarray<_Tp>& operator%=(const _Expr<_Dom,_Tp>&); 00413 template<class _Dom> 00414 valarray<_Tp>& operator+=(const _Expr<_Dom,_Tp>&); 00415 template<class _Dom> 00416 valarray<_Tp>& operator-=(const _Expr<_Dom,_Tp>&); 00417 template<class _Dom> 00418 valarray<_Tp>& operator^=(const _Expr<_Dom,_Tp>&); 00419 template<class _Dom> 00420 valarray<_Tp>& operator|=(const _Expr<_Dom,_Tp>&); 00421 template<class _Dom> 00422 valarray<_Tp>& operator&=(const _Expr<_Dom,_Tp>&); 00423 template<class _Dom> 00424 valarray<_Tp>& operator<<=(const _Expr<_Dom,_Tp>&); 00425 template<class _Dom> 00426 valarray<_Tp>& operator>>=(const _Expr<_Dom,_Tp>&); 00427 00428 00429 // _lib.valarray.members_ member functions: 00430 /// Return the number of elements in array. 00431 size_t size() const; 00432 00433 /** 00434 * @brief Return the sum of all elements in the array. 00435 * 00436 * Accumulates the sum of all elements into a Tp using +=. The order 00437 * of adding the elements is unspecified. 00438 */ 00439 _Tp sum() const; 00440 00441 /// Return the minimum element using operator<(). 00442 _Tp min() const; 00443 00444 /// Return the maximum element using operator<(). 00445 _Tp max() const; 00446 00447 // // FIXME: Extension 00448 // _Tp product () const; 00449 00450 /** 00451 * @brief Return a shifted array. 00452 * 00453 * A new valarray is constructed as a copy of this array with elements 00454 * in shifted positions. For an element with index i, the new position 00455 * is i - n. The new valarray is the same size as the current one. 00456 * New elements without a value are set to 0. Elements whos new 00457 * position is outside the bounds of the array are discarded. 00458 * 00459 * Positive arguments shift toward index 0, discarding elements [0, n). 00460 * Negative arguments discard elements from the top of the array. 00461 * 00462 * @param n Number of element positions to shift. 00463 * @return New valarray with elements in shifted positions. 00464 */ 00465 valarray<_Tp> shift (int) const; 00466 00467 /** 00468 * @brief Return a rotated array. 00469 * 00470 * A new valarray is constructed as a copy of this array with elements 00471 * in shifted positions. For an element with index i, the new position 00472 * is (i - n) % size(). The new valarray is the same size as the 00473 * current one. Elements that are shifted beyond the array bounds are 00474 * shifted into the other end of the array. No elements are lost. 00475 * 00476 * Positive arguments shift toward index 0, wrapping around the top. 00477 * Negative arguments shift towards the top, wrapping around to 0. 00478 * 00479 * @param n Number of element positions to rotate. 00480 * @return New valarray with elements in shifted positions. 00481 */ 00482 valarray<_Tp> cshift(int) const; 00483 00484 /** 00485 * @brief Apply a function to the array. 00486 * 00487 * Returns a new valarray with elements assigned to the result of 00488 * applying func to the corresponding element of this array. The new 00489 * array is the same size as this one. 00490 * 00491 * @param func Function of Tp returning Tp to apply. 00492 * @return New valarray with transformed elements. 00493 */ 00494 _Expr<_ValFunClos<_ValArray,_Tp>,_Tp> apply(_Tp func(_Tp)) const; 00495 00496 /** 00497 * @brief Apply a function to the array. 00498 * 00499 * Returns a new valarray with elements assigned to the result of 00500 * applying func to the corresponding element of this array. The new 00501 * array is the same size as this one. 00502 * 00503 * @param func Function of const Tp& returning Tp to apply. 00504 * @return New valarray with transformed elements. 00505 */ 00506 _Expr<_RefFunClos<_ValArray,_Tp>,_Tp> apply(_Tp func(const _Tp&)) const; 00507 00508 /** 00509 * @brief Resize array. 00510 * 00511 * Resize this array to be @a size and set all elements to @a c. All 00512 * references and iterators are invalidated. 00513 * 00514 * @param size New array size. 00515 * @param c New value for all elements. 00516 */ 00517 void resize(size_t __size, _Tp __c = _Tp()); 00518 00519 private: 00520 size_t _M_size; 00521 _Tp* __restrict__ _M_data; 00522 00523 friend class _Array<_Tp>; 00524 }; 00525 00526 template<typename _Tp> 00527 inline const _Tp& 00528 valarray<_Tp>::operator[](size_t __i) const 00529 { 00530 __glibcxx_requires_subscript(__i); 00531 return _M_data[__i]; 00532 } 00533 00534 template<typename _Tp> 00535 inline _Tp& 00536 valarray<_Tp>::operator[](size_t __i) 00537 { 00538 __glibcxx_requires_subscript(__i); 00539 return _M_data[__i]; 00540 } 00541 00542 } // std:: 00543 00544 #include <bits/valarray_after.h> 00545 00546 #include <bits/slice_array.h> 00547 #include <bits/gslice.h> 00548 #include <bits/gslice_array.h> 00549 #include <bits/mask_array.h> 00550 #include <bits/indirect_array.h> 00551 00552 namespace std 00553 { 00554 template<typename _Tp> 00555 inline 00556 valarray<_Tp>::valarray() : _M_size(0), _M_data(0) {} 00557 00558 template<typename _Tp> 00559 inline 00560 valarray<_Tp>::valarray(size_t __n) 00561 : _M_size(__n), _M_data(__valarray_get_storage<_Tp>(__n)) 00562 { std::__valarray_default_construct(_M_data, _M_data + __n); } 00563 00564 template<typename _Tp> 00565 inline 00566 valarray<_Tp>::valarray(const _Tp& __t, size_t __n) 00567 : _M_size(__n), _M_data(__valarray_get_storage<_Tp>(__n)) 00568 { std::__valarray_fill_construct(_M_data, _M_data + __n, __t); } 00569 00570 template<typename _Tp> 00571 inline 00572 valarray<_Tp>::valarray(const _Tp* __restrict__ __p, size_t __n) 00573 : _M_size(__n), _M_data(__valarray_get_storage<_Tp>(__n)) 00574 { 00575 _GLIBCXX_DEBUG_ASSERT(__p != 0 || __n == 0); 00576 std::__valarray_copy_construct(__p, __p + __n, _M_data); 00577 } 00578 00579 template<typename _Tp> 00580 inline 00581 valarray<_Tp>::valarray(const valarray<_Tp>& __v) 00582 : _M_size(__v._M_size), _M_data(__valarray_get_storage<_Tp>(__v._M_size)) 00583 { std::__valarray_copy_construct(__v._M_data, __v._M_data + _M_size, _M_data); } 00584 00585 template<typename _Tp> 00586 inline 00587 valarray<_Tp>::valarray(const slice_array<_Tp>& __sa) 00588 : _M_size(__sa._M_sz), _M_data(__valarray_get_storage<_Tp>(__sa._M_sz)) 00589 { 00590 std::__valarray_copy 00591 (__sa._M_array, __sa._M_sz, __sa._M_stride, _Array<_Tp>(_M_data)); 00592 } 00593 00594 template<typename _Tp> 00595 inline 00596 valarray<_Tp>::valarray(const gslice_array<_Tp>& __ga) 00597 : _M_size(__ga._M_index.size()), 00598 _M_data(__valarray_get_storage<_Tp>(_M_size)) 00599 { 00600 std::__valarray_copy 00601 (__ga._M_array, _Array<size_t>(__ga._M_index), 00602 _Array<_Tp>(_M_data), _M_size); 00603 } 00604 00605 template<typename _Tp> 00606 inline 00607 valarray<_Tp>::valarray(const mask_array<_Tp>& __ma) 00608 : _M_size(__ma._M_sz), _M_data(__valarray_get_storage<_Tp>(__ma._M_sz)) 00609 { 00610 std::__valarray_copy 00611 (__ma._M_array, __ma._M_mask, _Array<_Tp>(_M_data), _M_size); 00612 } 00613 00614 template<typename _Tp> 00615 inline 00616 valarray<_Tp>::valarray(const indirect_array<_Tp>& __ia) 00617 : _M_size(__ia._M_sz), _M_data(__valarray_get_storage<_Tp>(__ia._M_sz)) 00618 { 00619 std::__valarray_copy 00620 (__ia._M_array, __ia._M_index, _Array<_Tp>(_M_data), _M_size); 00621 } 00622 00623 template<typename _Tp> template<class _Dom> 00624 inline 00625 valarray<_Tp>::valarray(const _Expr<_Dom, _Tp>& __e) 00626 : _M_size(__e.size()), _M_data(__valarray_get_storage<_Tp>(_M_size)) 00627 { std::__valarray_copy(__e, _M_size, _Array<_Tp>(_M_data)); } 00628 00629 template<typename _Tp> 00630 inline 00631 valarray<_Tp>::~valarray() 00632 { 00633 std::__valarray_destroy_elements(_M_data, _M_data + _M_size); 00634 std::__valarray_release_memory(_M_data); 00635 } 00636 00637 template<typename _Tp> 00638 inline valarray<_Tp>& 00639 valarray<_Tp>::operator=(const valarray<_Tp>& __v) 00640 { 00641 _GLIBCXX_DEBUG_ASSERT(_M_size == __v._M_size); 00642 std::__valarray_copy(__v._M_data, _M_size, _M_data); 00643 return *this; 00644 } 00645 00646 template<typename _Tp> 00647 inline valarray<_Tp>& 00648 valarray<_Tp>::operator=(const _Tp& __t) 00649 { 00650 std::__valarray_fill(_M_data, _M_size, __t); 00651 return *this; 00652 } 00653 00654 template<typename _Tp> 00655 inline valarray<_Tp>& 00656 valarray<_Tp>::operator=(const slice_array<_Tp>& __sa) 00657 { 00658 _GLIBCXX_DEBUG_ASSERT(_M_size == __sa._M_sz); 00659 std::__valarray_copy(__sa._M_array, __sa._M_sz, 00660 __sa._M_stride, _Array<_Tp>(_M_data)); 00661 return *this; 00662 } 00663 00664 template<typename _Tp> 00665 inline valarray<_Tp>& 00666 valarray<_Tp>::operator=(const gslice_array<_Tp>& __ga) 00667 { 00668 _GLIBCXX_DEBUG_ASSERT(_M_size == __ga._M_index.size()); 00669 std::__valarray_copy(__ga._M_array, _Array<size_t>(__ga._M_index), 00670 _Array<_Tp>(_M_data), _M_size); 00671 return *this; 00672 } 00673 00674 template<typename _Tp> 00675 inline valarray<_Tp>& 00676 valarray<_Tp>::operator=(const mask_array<_Tp>& __ma) 00677 { 00678 _GLIBCXX_DEBUG_ASSERT(_M_size == __ma._M_sz); 00679 std::__valarray_copy(__ma._M_array, __ma._M_mask, 00680 _Array<_Tp>(_M_data), _M_size); 00681 return *this; 00682 } 00683 00684 template<typename _Tp> 00685 inline valarray<_Tp>& 00686 valarray<_Tp>::operator=(const indirect_array<_Tp>& __ia) 00687 { 00688 _GLIBCXX_DEBUG_ASSERT(_M_size == __ia._M_sz); 00689 std::__valarray_copy(__ia._M_array, __ia._M_index, 00690 _Array<_Tp>(_M_data), _M_size); 00691 return *this; 00692 } 00693 00694 template<typename _Tp> template<class _Dom> 00695 inline valarray<_Tp>& 00696 valarray<_Tp>::operator=(const _Expr<_Dom, _Tp>& __e) 00697 { 00698 _GLIBCXX_DEBUG_ASSERT(_M_size == __e.size()); 00699 std::__valarray_copy(__e, _M_size, _Array<_Tp>(_M_data)); 00700 return *this; 00701 } 00702 00703 template<typename _Tp> 00704 inline _Expr<_SClos<_ValArray,_Tp>, _Tp> 00705 valarray<_Tp>::operator[](slice __s) const 00706 { 00707 typedef _SClos<_ValArray,_Tp> _Closure; 00708 return _Expr<_Closure, _Tp>(_Closure (_Array<_Tp>(_M_data), __s)); 00709 } 00710 00711 template<typename _Tp> 00712 inline slice_array<_Tp> 00713 valarray<_Tp>::operator[](slice __s) 00714 { 00715 return slice_array<_Tp>(_Array<_Tp>(_M_data), __s); 00716 } 00717 00718 template<typename _Tp> 00719 inline _Expr<_GClos<_ValArray,_Tp>, _Tp> 00720 valarray<_Tp>::operator[](const gslice& __gs) const 00721 { 00722 typedef _GClos<_ValArray,_Tp> _Closure; 00723 return _Expr<_Closure, _Tp> 00724 (_Closure(_Array<_Tp>(_M_data), __gs._M_index->_M_index)); 00725 } 00726 00727 template<typename _Tp> 00728 inline gslice_array<_Tp> 00729 valarray<_Tp>::operator[](const gslice& __gs) 00730 { 00731 return gslice_array<_Tp> 00732 (_Array<_Tp>(_M_data), __gs._M_index->_M_index); 00733 } 00734 00735 template<typename _Tp> 00736 inline valarray<_Tp> 00737 valarray<_Tp>::operator[](const valarray<bool>& __m) const 00738 { 00739 size_t __s = 0; 00740 size_t __e = __m.size(); 00741 for (size_t __i=0; __i<__e; ++__i) 00742 if (__m[__i]) ++__s; 00743 return valarray<_Tp>(mask_array<_Tp>(_Array<_Tp>(_M_data), __s, 00744 _Array<bool> (__m))); 00745 } 00746 00747 template<typename _Tp> 00748 inline mask_array<_Tp> 00749 valarray<_Tp>::operator[](const valarray<bool>& __m) 00750 { 00751 size_t __s = 0; 00752 size_t __e = __m.size(); 00753 for (size_t __i=0; __i<__e; ++__i) 00754 if (__m[__i]) ++__s; 00755 return mask_array<_Tp>(_Array<_Tp>(_M_data), __s, _Array<bool>(__m)); 00756 } 00757 00758 template<typename _Tp> 00759 inline _Expr<_IClos<_ValArray,_Tp>, _Tp> 00760 valarray<_Tp>::operator[](const valarray<size_t>& __i) const 00761 { 00762 typedef _IClos<_ValArray,_Tp> _Closure; 00763 return _Expr<_Closure, _Tp>(_Closure(*this, __i)); 00764 } 00765 00766 template<typename _Tp> 00767 inline indirect_array<_Tp> 00768 valarray<_Tp>::operator[](const valarray<size_t>& __i) 00769 { 00770 return indirect_array<_Tp>(_Array<_Tp>(_M_data), __i.size(), 00771 _Array<size_t>(__i)); 00772 } 00773 00774 template<class _Tp> 00775 inline size_t 00776 valarray<_Tp>::size() const 00777 { return _M_size; } 00778 00779 template<class _Tp> 00780 inline _Tp 00781 valarray<_Tp>::sum() const 00782 { 00783 _GLIBCXX_DEBUG_ASSERT(_M_size > 0); 00784 return std::__valarray_sum(_M_data, _M_data + _M_size); 00785 } 00786 00787 // template<typename _Tp> 00788 // inline _Tp 00789 // valarray<_Tp>::product () const 00790 // { 00791 // return __valarray_product(_M_data, _M_data + _M_size); 00792 // } 00793 00794 template <class _Tp> 00795 inline valarray<_Tp> 00796 valarray<_Tp>::shift(int __n) const 00797 { 00798 _Tp* const __a = static_cast<_Tp*> 00799 (__builtin_alloca(sizeof(_Tp) * _M_size)); 00800 if (__n == 0) // no shift 00801 std::__valarray_copy_construct(_M_data, _M_data + _M_size, __a); 00802 else if (__n > 0) // __n > 0: shift left 00803 { 00804 if (size_t(__n) > _M_size) 00805 std::__valarray_default_construct(__a, __a + __n); 00806 else 00807 { 00808 std::__valarray_copy_construct(_M_data+__n, _M_data + _M_size, __a); 00809 std::__valarray_default_construct(__a+_M_size-__n, __a + _M_size); 00810 } 00811 } 00812 else // __n < 0: shift right 00813 { 00814 std::__valarray_copy_construct (_M_data, _M_data+_M_size+__n, __a-__n); 00815 std::__valarray_default_construct(__a, __a - __n); 00816 } 00817 return valarray<_Tp> (__a, _M_size); 00818 } 00819 00820 template <class _Tp> 00821 inline valarray<_Tp> 00822 valarray<_Tp>::cshift (int __n) const 00823 { 00824 _Tp* const __a = static_cast<_Tp*> 00825 (__builtin_alloca (sizeof(_Tp) * _M_size)); 00826 if (__n == 0) // no cshift 00827 std::__valarray_copy_construct(_M_data, _M_data + _M_size, __a); 00828 else if (__n > 0) // cshift left 00829 { 00830 std::__valarray_copy_construct(_M_data, _M_data+__n, __a+_M_size-__n); 00831 std::__valarray_copy_construct(_M_data+__n, _M_data + _M_size, __a); 00832 } 00833 else // cshift right 00834 { 00835 std::__valarray_copy_construct 00836 (_M_data + _M_size+__n, _M_data + _M_size, __a); 00837 std::__valarray_copy_construct 00838 (_M_data, _M_data + _M_size+__n, __a - __n); 00839 } 00840 return valarray<_Tp>(__a, _M_size); 00841 } 00842 00843 template <class _Tp> 00844 inline void 00845 valarray<_Tp>::resize (size_t __n, _Tp __c) 00846 { 00847 // This complication is so to make valarray<valarray<T> > work 00848 // even though it is not required by the standard. Nobody should 00849 // be saying valarray<valarray<T> > anyway. See the specs. 00850 std::__valarray_destroy_elements(_M_data, _M_data + _M_size); 00851 if (_M_size != __n) 00852 { 00853 std::__valarray_release_memory(_M_data); 00854 _M_size = __n; 00855 _M_data = __valarray_get_storage<_Tp>(__n); 00856 } 00857 std::__valarray_fill_construct(_M_data, _M_data + __n, __c); 00858 } 00859 00860 template<typename _Tp> 00861 inline _Tp 00862 valarray<_Tp>::min() const 00863 { 00864 _GLIBCXX_DEBUG_ASSERT(_M_size > 0); 00865 return *std::min_element (_M_data, _M_data+_M_size); 00866 } 00867 00868 template<typename _Tp> 00869 inline _Tp 00870 valarray<_Tp>::max() const 00871 { 00872 _GLIBCXX_DEBUG_ASSERT(_M_size > 0); 00873 return *std::max_element (_M_data, _M_data+_M_size); 00874 } 00875 00876 template<class _Tp> 00877 inline _Expr<_ValFunClos<_ValArray,_Tp>,_Tp> 00878 valarray<_Tp>::apply(_Tp func(_Tp)) const 00879 { 00880 typedef _ValFunClos<_ValArray,_Tp> _Closure; 00881 return _Expr<_Closure,_Tp>(_Closure(*this, func)); 00882 } 00883 00884 template<class _Tp> 00885 inline _Expr<_RefFunClos<_ValArray,_Tp>,_Tp> 00886 valarray<_Tp>::apply(_Tp func(const _Tp &)) const 00887 { 00888 typedef _RefFunClos<_ValArray,_Tp> _Closure; 00889 return _Expr<_Closure,_Tp>(_Closure(*this, func)); 00890 } 00891 00892 #define _DEFINE_VALARRAY_UNARY_OPERATOR(_Op, _Name) \ 00893 template<typename _Tp> \ 00894 inline typename valarray<_Tp>::template _UnaryOp<_Name>::_Rt \ 00895 valarray<_Tp>::operator _Op() const \ 00896 { \ 00897 typedef _UnClos<_Name,_ValArray,_Tp> _Closure; \ 00898 typedef typename __fun<_Name, _Tp>::result_type _Rt; \ 00899 return _Expr<_Closure, _Rt>(_Closure(*this)); \ 00900 } 00901 00902 _DEFINE_VALARRAY_UNARY_OPERATOR(+, __unary_plus) 00903 _DEFINE_VALARRAY_UNARY_OPERATOR(-, __negate) 00904 _DEFINE_VALARRAY_UNARY_OPERATOR(~, __bitwise_not) 00905 _DEFINE_VALARRAY_UNARY_OPERATOR (!, __logical_not) 00906 00907 #undef _DEFINE_VALARRAY_UNARY_OPERATOR 00908 00909 #define _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(_Op, _Name) \ 00910 template<class _Tp> \ 00911 inline valarray<_Tp>& \ 00912 valarray<_Tp>::operator _Op##=(const _Tp &__t) \ 00913 { \ 00914 _Array_augmented_##_Name(_Array<_Tp>(_M_data), _M_size, __t); \ 00915 return *this; \ 00916 } \ 00917 \ 00918 template<class _Tp> \ 00919 inline valarray<_Tp>& \ 00920 valarray<_Tp>::operator _Op##=(const valarray<_Tp> &__v) \ 00921 { \ 00922 _GLIBCXX_DEBUG_ASSERT(_M_size == __v._M_size); \ 00923 _Array_augmented_##_Name(_Array<_Tp>(_M_data), _M_size, \ 00924 _Array<_Tp>(__v._M_data)); \ 00925 return *this; \ 00926 } 00927 00928 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(+, __plus) 00929 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(-, __minus) 00930 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(*, __multiplies) 00931 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(/, __divides) 00932 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(%, __modulus) 00933 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(^, __bitwise_xor) 00934 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(&, __bitwise_and) 00935 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(|, __bitwise_or) 00936 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(<<, __shift_left) 00937 _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT(>>, __shift_right) 00938 00939 #undef _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT 00940 00941 #define _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(_Op, _Name) \ 00942 template<class _Tp> template<class _Dom> \ 00943 inline valarray<_Tp>& \ 00944 valarray<_Tp>::operator _Op##=(const _Expr<_Dom,_Tp>& __e) \ 00945 { \ 00946 _Array_augmented_##_Name(_Array<_Tp>(_M_data), __e, _M_size); \ 00947 return *this; \ 00948 } 00949 00950 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(+, __plus) 00951 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(-, __minus) 00952 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(*, __multiplies) 00953 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(/, __divides) 00954 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(%, __modulus) 00955 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(^, __bitwise_xor) 00956 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(&, __bitwise_and) 00957 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(|, __bitwise_or) 00958 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(<<, __shift_left) 00959 _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT(>>, __shift_right) 00960 00961 #undef _DEFINE_VALARRAY_EXPR_AUGMENTED_ASSIGNMENT 00962 00963 00964 #define _DEFINE_BINARY_OPERATOR(_Op, _Name) \ 00965 template<typename _Tp> \ 00966 inline _Expr<_BinClos<_Name,_ValArray,_ValArray,_Tp,_Tp>, \ 00967 typename __fun<_Name, _Tp>::result_type> \ 00968 operator _Op(const valarray<_Tp>& __v, const valarray<_Tp>& __w) \ 00969 { \ 00970 _GLIBCXX_DEBUG_ASSERT(__v.size() == __w.size()); \ 00971 typedef _BinClos<_Name,_ValArray,_ValArray,_Tp,_Tp> _Closure; \ 00972 typedef typename __fun<_Name, _Tp>::result_type _Rt; \ 00973 return _Expr<_Closure, _Rt>(_Closure(__v, __w)); \ 00974 } \ 00975 \ 00976 template<typename _Tp> \ 00977 inline _Expr<_BinClos<_Name,_ValArray,_Constant,_Tp,_Tp>, \ 00978 typename __fun<_Name, _Tp>::result_type> \ 00979 operator _Op(const valarray<_Tp>& __v, const _Tp& __t) \ 00980 { \ 00981 typedef _BinClos<_Name,_ValArray,_Constant,_Tp,_Tp> _Closure; \ 00982 typedef typename __fun<_Name, _Tp>::result_type _Rt; \ 00983 return _Expr<_Closure, _Rt>(_Closure(__v, __t)); \ 00984 } \ 00985 \ 00986 template<typename _Tp> \ 00987 inline _Expr<_BinClos<_Name,_Constant,_ValArray,_Tp,_Tp>, \ 00988 typename __fun<_Name, _Tp>::result_type> \ 00989 operator _Op(const _Tp& __t, const valarray<_Tp>& __v) \ 00990 { \ 00991 typedef _BinClos<_Name,_Constant,_ValArray,_Tp,_Tp> _Closure; \ 00992 typedef typename __fun<_Name, _Tp>::result_type _Rt; \ 00993 return _Expr<_Closure, _Tp>(_Closure(__t, __v)); \ 00994 } 00995 00996 _DEFINE_BINARY_OPERATOR(+, __plus) 00997 _DEFINE_BINARY_OPERATOR(-, __minus) 00998 _DEFINE_BINARY_OPERATOR(*, __multiplies) 00999 _DEFINE_BINARY_OPERATOR(/, __divides) 01000 _DEFINE_BINARY_OPERATOR(%, __modulus) 01001 _DEFINE_BINARY_OPERATOR(^, __bitwise_xor) 01002 _DEFINE_BINARY_OPERATOR(&, __bitwise_and) 01003 _DEFINE_BINARY_OPERATOR(|, __bitwise_or) 01004 _DEFINE_BINARY_OPERATOR(<<, __shift_left) 01005 _DEFINE_BINARY_OPERATOR(>>, __shift_right) 01006 _DEFINE_BINARY_OPERATOR(&&, __logical_and) 01007 _DEFINE_BINARY_OPERATOR(||, __logical_or) 01008 _DEFINE_BINARY_OPERATOR(==, __equal_to) 01009 _DEFINE_BINARY_OPERATOR(!=, __not_equal_to) 01010 _DEFINE_BINARY_OPERATOR(<, __less) 01011 _DEFINE_BINARY_OPERATOR(>, __greater) 01012 _DEFINE_BINARY_OPERATOR(<=, __less_equal) 01013 _DEFINE_BINARY_OPERATOR(>=, __greater_equal) 01014 01015 } // namespace std 01016 01017 #endif /* _GLIBCXX_VALARRAY */

Generated on Wed Sep 8 10:19:53 2004 for libstdc++-v3 Source by doxygen 1.3.8