1 | // The template and inlines for the -*- C++ -*- internal _Array helper class.
|
---|
2 |
|
---|
3 | // Copyright (C) 1997-2021 Free Software Foundation, Inc.
|
---|
4 | //
|
---|
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)
|
---|
9 | // any later version.
|
---|
10 |
|
---|
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.
|
---|
15 |
|
---|
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.
|
---|
19 |
|
---|
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/>.
|
---|
24 |
|
---|
25 | /** @file bits/valarray_array.h
|
---|
26 | * This is an internal header file, included by other library headers.
|
---|
27 | * Do not attempt to use it directly. @headername{valarray}
|
---|
28 | */
|
---|
29 |
|
---|
30 | // Written by Gabriel Dos Reis <Gabriel.Dos-Reis@DPTMaths.ENS-Cachan.Fr>
|
---|
31 |
|
---|
32 | #ifndef _VALARRAY_ARRAY_H
|
---|
33 | #define _VALARRAY_ARRAY_H 1
|
---|
34 |
|
---|
35 | #pragma GCC system_header
|
---|
36 |
|
---|
37 | #include <bits/c++config.h>
|
---|
38 | #include <bits/cpp_type_traits.h>
|
---|
39 | #include <cstdlib>
|
---|
40 | #include <new>
|
---|
41 |
|
---|
42 | namespace std _GLIBCXX_VISIBILITY(default)
|
---|
43 | {
|
---|
44 | _GLIBCXX_BEGIN_NAMESPACE_VERSION
|
---|
45 |
|
---|
46 | //
|
---|
47 | // Helper functions on raw pointers
|
---|
48 | //
|
---|
49 |
|
---|
50 | // We get memory the old fashioned way
|
---|
51 | template<typename _Tp>
|
---|
52 | _Tp*
|
---|
53 | __valarray_get_storage(size_t) __attribute__((__malloc__));
|
---|
54 |
|
---|
55 | template<typename _Tp>
|
---|
56 | inline _Tp*
|
---|
57 | __valarray_get_storage(size_t __n)
|
---|
58 | { return static_cast<_Tp*>(operator new(__n * sizeof(_Tp))); }
|
---|
59 |
|
---|
60 | // Return memory to the system
|
---|
61 | inline void
|
---|
62 | __valarray_release_memory(void* __p)
|
---|
63 | { operator delete(__p); }
|
---|
64 |
|
---|
65 | // Turn a raw-memory into an array of _Tp filled with _Tp()
|
---|
66 | // This is required in 'valarray<T> v(n);'
|
---|
67 | template<typename _Tp, bool>
|
---|
68 | struct _Array_default_ctor
|
---|
69 | {
|
---|
70 | // Please note that this isn't exception safe. But
|
---|
71 | // valarrays aren't required to be exception safe.
|
---|
72 | inline static void
|
---|
73 | _S_do_it(_Tp* __b, _Tp* __e)
|
---|
74 | {
|
---|
75 | while (__b != __e)
|
---|
76 | new(__b++) _Tp();
|
---|
77 | }
|
---|
78 | };
|
---|
79 |
|
---|
80 | template<typename _Tp>
|
---|
81 | struct _Array_default_ctor<_Tp, true>
|
---|
82 | {
|
---|
83 | // For fundamental types, it suffices to say 'memset()'
|
---|
84 | inline static void
|
---|
85 | _S_do_it(_Tp* __b, _Tp* __e)
|
---|
86 | { __builtin_memset(__b, 0, (__e - __b) * sizeof(_Tp)); }
|
---|
87 | };
|
---|
88 |
|
---|
89 | template<typename _Tp>
|
---|
90 | inline void
|
---|
91 | __valarray_default_construct(_Tp* __b, _Tp* __e)
|
---|
92 | {
|
---|
93 | _Array_default_ctor<_Tp, __is_scalar<_Tp>::__value>::_S_do_it(__b, __e);
|
---|
94 | }
|
---|
95 |
|
---|
96 | // Turn a raw-memory into an array of _Tp filled with __t
|
---|
97 | // This is the required in valarray<T> v(n, t). Also
|
---|
98 | // used in valarray<>::resize().
|
---|
99 | template<typename _Tp, bool>
|
---|
100 | struct _Array_init_ctor
|
---|
101 | {
|
---|
102 | // Please note that this isn't exception safe. But
|
---|
103 | // valarrays aren't required to be exception safe.
|
---|
104 | inline static void
|
---|
105 | _S_do_it(_Tp* __b, _Tp* __e, const _Tp __t)
|
---|
106 | {
|
---|
107 | while (__b != __e)
|
---|
108 | new(__b++) _Tp(__t);
|
---|
109 | }
|
---|
110 | };
|
---|
111 |
|
---|
112 | template<typename _Tp>
|
---|
113 | struct _Array_init_ctor<_Tp, true>
|
---|
114 | {
|
---|
115 | inline static void
|
---|
116 | _S_do_it(_Tp* __b, _Tp* __e, const _Tp __t)
|
---|
117 | {
|
---|
118 | while (__b != __e)
|
---|
119 | *__b++ = __t;
|
---|
120 | }
|
---|
121 | };
|
---|
122 |
|
---|
123 | template<typename _Tp>
|
---|
124 | inline void
|
---|
125 | __valarray_fill_construct(_Tp* __b, _Tp* __e, const _Tp __t)
|
---|
126 | {
|
---|
127 | _Array_init_ctor<_Tp, __is_trivial(_Tp)>::_S_do_it(__b, __e, __t);
|
---|
128 | }
|
---|
129 |
|
---|
130 | //
|
---|
131 | // copy-construct raw array [__o, *) from plain array [__b, __e)
|
---|
132 | // We can't just say 'memcpy()'
|
---|
133 | //
|
---|
134 | template<typename _Tp, bool>
|
---|
135 | struct _Array_copy_ctor
|
---|
136 | {
|
---|
137 | // Please note that this isn't exception safe. But
|
---|
138 | // valarrays aren't required to be exception safe.
|
---|
139 | inline static void
|
---|
140 | _S_do_it(const _Tp* __b, const _Tp* __e, _Tp* __restrict__ __o)
|
---|
141 | {
|
---|
142 | while (__b != __e)
|
---|
143 | new(__o++) _Tp(*__b++);
|
---|
144 | }
|
---|
145 | };
|
---|
146 |
|
---|
147 | template<typename _Tp>
|
---|
148 | struct _Array_copy_ctor<_Tp, true>
|
---|
149 | {
|
---|
150 | inline static void
|
---|
151 | _S_do_it(const _Tp* __b, const _Tp* __e, _Tp* __restrict__ __o)
|
---|
152 | {
|
---|
153 | if (__b)
|
---|
154 | __builtin_memcpy(__o, __b, (__e - __b) * sizeof(_Tp));
|
---|
155 | }
|
---|
156 | };
|
---|
157 |
|
---|
158 | template<typename _Tp>
|
---|
159 | inline void
|
---|
160 | __valarray_copy_construct(const _Tp* __b, const _Tp* __e,
|
---|
161 | _Tp* __restrict__ __o)
|
---|
162 | {
|
---|
163 | _Array_copy_ctor<_Tp, __is_trivial(_Tp)>::_S_do_it(__b, __e, __o);
|
---|
164 | }
|
---|
165 |
|
---|
166 | // copy-construct raw array [__o, *) from strided array __a[<__n : __s>]
|
---|
167 | template<typename _Tp>
|
---|
168 | inline void
|
---|
169 | __valarray_copy_construct (const _Tp* __restrict__ __a, size_t __n,
|
---|
170 | size_t __s, _Tp* __restrict__ __o)
|
---|
171 | {
|
---|
172 | if (__is_trivial(_Tp))
|
---|
173 | while (__n--)
|
---|
174 | {
|
---|
175 | *__o++ = *__a;
|
---|
176 | __a += __s;
|
---|
177 | }
|
---|
178 | else
|
---|
179 | while (__n--)
|
---|
180 | {
|
---|
181 | new(__o++) _Tp(*__a);
|
---|
182 | __a += __s;
|
---|
183 | }
|
---|
184 | }
|
---|
185 |
|
---|
186 | // copy-construct raw array [__o, *) from indexed array __a[__i[<__n>]]
|
---|
187 | template<typename _Tp>
|
---|
188 | inline void
|
---|
189 | __valarray_copy_construct (const _Tp* __restrict__ __a,
|
---|
190 | const size_t* __restrict__ __i,
|
---|
191 | _Tp* __restrict__ __o, size_t __n)
|
---|
192 | {
|
---|
193 | if (__is_trivial(_Tp))
|
---|
194 | while (__n--)
|
---|
195 | *__o++ = __a[*__i++];
|
---|
196 | else
|
---|
197 | while (__n--)
|
---|
198 | new (__o++) _Tp(__a[*__i++]);
|
---|
199 | }
|
---|
200 |
|
---|
201 | // Do the necessary cleanup when we're done with arrays.
|
---|
202 | template<typename _Tp>
|
---|
203 | inline void
|
---|
204 | __valarray_destroy_elements(_Tp* __b, _Tp* __e)
|
---|
205 | {
|
---|
206 | if (!__is_trivial(_Tp))
|
---|
207 | while (__b != __e)
|
---|
208 | {
|
---|
209 | __b->~_Tp();
|
---|
210 | ++__b;
|
---|
211 | }
|
---|
212 | }
|
---|
213 |
|
---|
214 | // Fill a plain array __a[<__n>] with __t
|
---|
215 | template<typename _Tp>
|
---|
216 | inline void
|
---|
217 | __valarray_fill(_Tp* __restrict__ __a, size_t __n, const _Tp& __t)
|
---|
218 | {
|
---|
219 | while (__n--)
|
---|
220 | *__a++ = __t;
|
---|
221 | }
|
---|
222 |
|
---|
223 | // fill strided array __a[<__n-1 : __s>] with __t
|
---|
224 | template<typename _Tp>
|
---|
225 | inline void
|
---|
226 | __valarray_fill(_Tp* __restrict__ __a, size_t __n,
|
---|
227 | size_t __s, const _Tp& __t)
|
---|
228 | {
|
---|
229 | for (size_t __i = 0; __i < __n; ++__i, __a += __s)
|
---|
230 | *__a = __t;
|
---|
231 | }
|
---|
232 |
|
---|
233 | // fill indirect array __a[__i[<__n>]] with __i
|
---|
234 | template<typename _Tp>
|
---|
235 | inline void
|
---|
236 | __valarray_fill(_Tp* __restrict__ __a, const size_t* __restrict__ __i,
|
---|
237 | size_t __n, const _Tp& __t)
|
---|
238 | {
|
---|
239 | for (size_t __j = 0; __j < __n; ++__j, ++__i)
|
---|
240 | __a[*__i] = __t;
|
---|
241 | }
|
---|
242 |
|
---|
243 | // copy plain array __a[<__n>] in __b[<__n>]
|
---|
244 | // For non-fundamental types, it is wrong to say 'memcpy()'
|
---|
245 | template<typename _Tp, bool>
|
---|
246 | struct _Array_copier
|
---|
247 | {
|
---|
248 | inline static void
|
---|
249 | _S_do_it(const _Tp* __restrict__ __a, size_t __n, _Tp* __restrict__ __b)
|
---|
250 | {
|
---|
251 | while(__n--)
|
---|
252 | *__b++ = *__a++;
|
---|
253 | }
|
---|
254 | };
|
---|
255 |
|
---|
256 | template<typename _Tp>
|
---|
257 | struct _Array_copier<_Tp, true>
|
---|
258 | {
|
---|
259 | inline static void
|
---|
260 | _S_do_it(const _Tp* __restrict__ __a, size_t __n, _Tp* __restrict__ __b)
|
---|
261 | {
|
---|
262 | if (__n != 0)
|
---|
263 | __builtin_memcpy(__b, __a, __n * sizeof (_Tp));
|
---|
264 | }
|
---|
265 | };
|
---|
266 |
|
---|
267 | // Copy a plain array __a[<__n>] into a play array __b[<>]
|
---|
268 | template<typename _Tp>
|
---|
269 | inline void
|
---|
270 | __valarray_copy(const _Tp* __restrict__ __a, size_t __n,
|
---|
271 | _Tp* __restrict__ __b)
|
---|
272 | {
|
---|
273 | _Array_copier<_Tp, __is_trivial(_Tp)>::_S_do_it(__a, __n, __b);
|
---|
274 | }
|
---|
275 |
|
---|
276 | // Copy strided array __a[<__n : __s>] in plain __b[<__n>]
|
---|
277 | template<typename _Tp>
|
---|
278 | inline void
|
---|
279 | __valarray_copy(const _Tp* __restrict__ __a, size_t __n, size_t __s,
|
---|
280 | _Tp* __restrict__ __b)
|
---|
281 | {
|
---|
282 | for (size_t __i = 0; __i < __n; ++__i, ++__b, __a += __s)
|
---|
283 | *__b = *__a;
|
---|
284 | }
|
---|
285 |
|
---|
286 | // Copy a plain array __a[<__n>] into a strided array __b[<__n : __s>]
|
---|
287 | template<typename _Tp>
|
---|
288 | inline void
|
---|
289 | __valarray_copy(const _Tp* __restrict__ __a, _Tp* __restrict__ __b,
|
---|
290 | size_t __n, size_t __s)
|
---|
291 | {
|
---|
292 | for (size_t __i = 0; __i < __n; ++__i, ++__a, __b += __s)
|
---|
293 | *__b = *__a;
|
---|
294 | }
|
---|
295 |
|
---|
296 | // Copy strided array __src[<__n : __s1>] into another
|
---|
297 | // strided array __dst[< : __s2>]. Their sizes must match.
|
---|
298 | template<typename _Tp>
|
---|
299 | inline void
|
---|
300 | __valarray_copy(const _Tp* __restrict__ __src, size_t __n, size_t __s1,
|
---|
301 | _Tp* __restrict__ __dst, size_t __s2)
|
---|
302 | {
|
---|
303 | for (size_t __i = 0; __i < __n; ++__i)
|
---|
304 | __dst[__i * __s2] = __src[__i * __s1];
|
---|
305 | }
|
---|
306 |
|
---|
307 | // Copy an indexed array __a[__i[<__n>]] in plain array __b[<__n>]
|
---|
308 | template<typename _Tp>
|
---|
309 | inline void
|
---|
310 | __valarray_copy(const _Tp* __restrict__ __a,
|
---|
311 | const size_t* __restrict__ __i,
|
---|
312 | _Tp* __restrict__ __b, size_t __n)
|
---|
313 | {
|
---|
314 | for (size_t __j = 0; __j < __n; ++__j, ++__b, ++__i)
|
---|
315 | *__b = __a[*__i];
|
---|
316 | }
|
---|
317 |
|
---|
318 | // Copy a plain array __a[<__n>] in an indexed array __b[__i[<__n>]]
|
---|
319 | template<typename _Tp>
|
---|
320 | inline void
|
---|
321 | __valarray_copy(const _Tp* __restrict__ __a, size_t __n,
|
---|
322 | _Tp* __restrict__ __b, const size_t* __restrict__ __i)
|
---|
323 | {
|
---|
324 | for (size_t __j = 0; __j < __n; ++__j, ++__a, ++__i)
|
---|
325 | __b[*__i] = *__a;
|
---|
326 | }
|
---|
327 |
|
---|
328 | // Copy the __n first elements of an indexed array __src[<__i>] into
|
---|
329 | // another indexed array __dst[<__j>].
|
---|
330 | template<typename _Tp>
|
---|
331 | inline void
|
---|
332 | __valarray_copy(const _Tp* __restrict__ __src, size_t __n,
|
---|
333 | const size_t* __restrict__ __i,
|
---|
334 | _Tp* __restrict__ __dst, const size_t* __restrict__ __j)
|
---|
335 | {
|
---|
336 | for (size_t __k = 0; __k < __n; ++__k)
|
---|
337 | __dst[*__j++] = __src[*__i++];
|
---|
338 | }
|
---|
339 |
|
---|
340 | //
|
---|
341 | // Compute the sum of elements in range [__f, __l) which must not be empty.
|
---|
342 | // This is a naive algorithm. It suffers from cancelling.
|
---|
343 | // In the future try to specialize for _Tp = float, double, long double
|
---|
344 | // using a more accurate algorithm.
|
---|
345 | //
|
---|
346 | template<typename _Tp>
|
---|
347 | inline _Tp
|
---|
348 | __valarray_sum(const _Tp* __f, const _Tp* __l)
|
---|
349 | {
|
---|
350 | _Tp __r = *__f++;
|
---|
351 | while (__f != __l)
|
---|
352 | __r += *__f++;
|
---|
353 | return __r;
|
---|
354 | }
|
---|
355 |
|
---|
356 | // Compute the min/max of an array-expression
|
---|
357 | template<typename _Ta>
|
---|
358 | inline typename _Ta::value_type
|
---|
359 | __valarray_min(const _Ta& __a)
|
---|
360 | {
|
---|
361 | size_t __s = __a.size();
|
---|
362 | typedef typename _Ta::value_type _Value_type;
|
---|
363 | _Value_type __r = __s == 0 ? _Value_type() : __a[0];
|
---|
364 | for (size_t __i = 1; __i < __s; ++__i)
|
---|
365 | {
|
---|
366 | _Value_type __t = __a[__i];
|
---|
367 | if (__t < __r)
|
---|
368 | __r = __t;
|
---|
369 | }
|
---|
370 | return __r;
|
---|
371 | }
|
---|
372 |
|
---|
373 | template<typename _Ta>
|
---|
374 | inline typename _Ta::value_type
|
---|
375 | __valarray_max(const _Ta& __a)
|
---|
376 | {
|
---|
377 | size_t __s = __a.size();
|
---|
378 | typedef typename _Ta::value_type _Value_type;
|
---|
379 | _Value_type __r = __s == 0 ? _Value_type() : __a[0];
|
---|
380 | for (size_t __i = 1; __i < __s; ++__i)
|
---|
381 | {
|
---|
382 | _Value_type __t = __a[__i];
|
---|
383 | if (__t > __r)
|
---|
384 | __r = __t;
|
---|
385 | }
|
---|
386 | return __r;
|
---|
387 | }
|
---|
388 |
|
---|
389 | //
|
---|
390 | // Helper class _Array, first layer of valarray abstraction.
|
---|
391 | // All operations on valarray should be forwarded to this class
|
---|
392 | // whenever possible. -- gdr
|
---|
393 | //
|
---|
394 |
|
---|
395 | template<typename _Tp>
|
---|
396 | struct _Array
|
---|
397 | {
|
---|
398 | explicit _Array(_Tp* const __restrict__);
|
---|
399 | explicit _Array(const valarray<_Tp>&);
|
---|
400 | _Array(const _Tp* __restrict__, size_t);
|
---|
401 |
|
---|
402 | _Tp* begin() const;
|
---|
403 |
|
---|
404 | _Tp* const __restrict__ _M_data;
|
---|
405 | };
|
---|
406 |
|
---|
407 |
|
---|
408 | // Copy-construct plain array __b[<__n>] from indexed array __a[__i[<__n>]]
|
---|
409 | template<typename _Tp>
|
---|
410 | inline void
|
---|
411 | __valarray_copy_construct(_Array<_Tp> __a, _Array<size_t> __i,
|
---|
412 | _Array<_Tp> __b, size_t __n)
|
---|
413 | { std::__valarray_copy_construct(__a._M_data, __i._M_data,
|
---|
414 | __b._M_data, __n); }
|
---|
415 |
|
---|
416 | // Copy-construct plain array __b[<__n>] from strided array __a[<__n : __s>]
|
---|
417 | template<typename _Tp>
|
---|
418 | inline void
|
---|
419 | __valarray_copy_construct(_Array<_Tp> __a, size_t __n, size_t __s,
|
---|
420 | _Array<_Tp> __b)
|
---|
421 | { std::__valarray_copy_construct(__a._M_data, __n, __s, __b._M_data); }
|
---|
422 |
|
---|
423 | template<typename _Tp>
|
---|
424 | inline void
|
---|
425 | __valarray_fill (_Array<_Tp> __a, size_t __n, const _Tp& __t)
|
---|
426 | { std::__valarray_fill(__a._M_data, __n, __t); }
|
---|
427 |
|
---|
428 | template<typename _Tp>
|
---|
429 | inline void
|
---|
430 | __valarray_fill(_Array<_Tp> __a, size_t __n, size_t __s, const _Tp& __t)
|
---|
431 | { std::__valarray_fill(__a._M_data, __n, __s, __t); }
|
---|
432 |
|
---|
433 | template<typename _Tp>
|
---|
434 | inline void
|
---|
435 | __valarray_fill(_Array<_Tp> __a, _Array<size_t> __i,
|
---|
436 | size_t __n, const _Tp& __t)
|
---|
437 | { std::__valarray_fill(__a._M_data, __i._M_data, __n, __t); }
|
---|
438 |
|
---|
439 | // Copy a plain array __a[<__n>] into a play array __b[<>]
|
---|
440 | template<typename _Tp>
|
---|
441 | inline void
|
---|
442 | __valarray_copy(_Array<_Tp> __a, size_t __n, _Array<_Tp> __b)
|
---|
443 | { std::__valarray_copy(__a._M_data, __n, __b._M_data); }
|
---|
444 |
|
---|
445 | // Copy strided array __a[<__n : __s>] in plain __b[<__n>]
|
---|
446 | template<typename _Tp>
|
---|
447 | inline void
|
---|
448 | __valarray_copy(_Array<_Tp> __a, size_t __n, size_t __s, _Array<_Tp> __b)
|
---|
449 | { std::__valarray_copy(__a._M_data, __n, __s, __b._M_data); }
|
---|
450 |
|
---|
451 | // Copy a plain array __a[<__n>] into a strided array __b[<__n : __s>]
|
---|
452 | template<typename _Tp>
|
---|
453 | inline void
|
---|
454 | __valarray_copy(_Array<_Tp> __a, _Array<_Tp> __b, size_t __n, size_t __s)
|
---|
455 | { __valarray_copy(__a._M_data, __b._M_data, __n, __s); }
|
---|
456 |
|
---|
457 | // Copy strided array __src[<__n : __s1>] into another
|
---|
458 | // strided array __dst[< : __s2>]. Their sizes must match.
|
---|
459 | template<typename _Tp>
|
---|
460 | inline void
|
---|
461 | __valarray_copy(_Array<_Tp> __a, size_t __n, size_t __s1,
|
---|
462 | _Array<_Tp> __b, size_t __s2)
|
---|
463 | { std::__valarray_copy(__a._M_data, __n, __s1, __b._M_data, __s2); }
|
---|
464 |
|
---|
465 | // Copy an indexed array __a[__i[<__n>]] in plain array __b[<__n>]
|
---|
466 | template<typename _Tp>
|
---|
467 | inline void
|
---|
468 | __valarray_copy(_Array<_Tp> __a, _Array<size_t> __i,
|
---|
469 | _Array<_Tp> __b, size_t __n)
|
---|
470 | { std::__valarray_copy(__a._M_data, __i._M_data, __b._M_data, __n); }
|
---|
471 |
|
---|
472 | // Copy a plain array __a[<__n>] in an indexed array __b[__i[<__n>]]
|
---|
473 | template<typename _Tp>
|
---|
474 | inline void
|
---|
475 | __valarray_copy(_Array<_Tp> __a, size_t __n, _Array<_Tp> __b,
|
---|
476 | _Array<size_t> __i)
|
---|
477 | { std::__valarray_copy(__a._M_data, __n, __b._M_data, __i._M_data); }
|
---|
478 |
|
---|
479 | // Copy the __n first elements of an indexed array __src[<__i>] into
|
---|
480 | // another indexed array __dst[<__j>].
|
---|
481 | template<typename _Tp>
|
---|
482 | inline void
|
---|
483 | __valarray_copy(_Array<_Tp> __src, size_t __n, _Array<size_t> __i,
|
---|
484 | _Array<_Tp> __dst, _Array<size_t> __j)
|
---|
485 | {
|
---|
486 | std::__valarray_copy(__src._M_data, __n, __i._M_data,
|
---|
487 | __dst._M_data, __j._M_data);
|
---|
488 | }
|
---|
489 |
|
---|
490 | template<typename _Tp>
|
---|
491 | inline
|
---|
492 | _Array<_Tp>::_Array(_Tp* const __restrict__ __p)
|
---|
493 | : _M_data (__p) {}
|
---|
494 |
|
---|
495 | template<typename _Tp>
|
---|
496 | inline
|
---|
497 | _Array<_Tp>::_Array(const valarray<_Tp>& __v)
|
---|
498 | : _M_data (__v._M_data) {}
|
---|
499 |
|
---|
500 | template<typename _Tp>
|
---|
501 | inline
|
---|
502 | _Array<_Tp>::_Array(const _Tp* __restrict__ __b, size_t __s)
|
---|
503 | : _M_data(__valarray_get_storage<_Tp>(__s))
|
---|
504 | { std::__valarray_copy_construct(__b, __s, _M_data); }
|
---|
505 |
|
---|
506 | template<typename _Tp>
|
---|
507 | inline _Tp*
|
---|
508 | _Array<_Tp>::begin () const
|
---|
509 | { return _M_data; }
|
---|
510 |
|
---|
511 | #define _DEFINE_ARRAY_FUNCTION(_Op, _Name) \
|
---|
512 | template<typename _Tp> \
|
---|
513 | inline void \
|
---|
514 | _Array_augmented_##_Name(_Array<_Tp> __a, size_t __n, const _Tp& __t) \
|
---|
515 | { \
|
---|
516 | for (_Tp* __p = __a._M_data; __p < __a._M_data + __n; ++__p) \
|
---|
517 | *__p _Op##= __t; \
|
---|
518 | } \
|
---|
519 | \
|
---|
520 | template<typename _Tp> \
|
---|
521 | inline void \
|
---|
522 | _Array_augmented_##_Name(_Array<_Tp> __a, size_t __n, _Array<_Tp> __b) \
|
---|
523 | { \
|
---|
524 | _Tp* __p = __a._M_data; \
|
---|
525 | for (_Tp* __q = __b._M_data; __q < __b._M_data + __n; ++__p, ++__q) \
|
---|
526 | *__p _Op##= *__q; \
|
---|
527 | } \
|
---|
528 | \
|
---|
529 | template<typename _Tp, class _Dom> \
|
---|
530 | void \
|
---|
531 | _Array_augmented_##_Name(_Array<_Tp> __a, \
|
---|
532 | const _Expr<_Dom, _Tp>& __e, size_t __n) \
|
---|
533 | { \
|
---|
534 | _Tp* __p(__a._M_data); \
|
---|
535 | for (size_t __i = 0; __i < __n; ++__i, ++__p) \
|
---|
536 | *__p _Op##= __e[__i]; \
|
---|
537 | } \
|
---|
538 | \
|
---|
539 | template<typename _Tp> \
|
---|
540 | inline void \
|
---|
541 | _Array_augmented_##_Name(_Array<_Tp> __a, size_t __n, size_t __s, \
|
---|
542 | _Array<_Tp> __b) \
|
---|
543 | { \
|
---|
544 | _Tp* __q(__b._M_data); \
|
---|
545 | for (_Tp* __p = __a._M_data; __p < __a._M_data + __s * __n; \
|
---|
546 | __p += __s, ++__q) \
|
---|
547 | *__p _Op##= *__q; \
|
---|
548 | } \
|
---|
549 | \
|
---|
550 | template<typename _Tp> \
|
---|
551 | inline void \
|
---|
552 | _Array_augmented_##_Name(_Array<_Tp> __a, _Array<_Tp> __b, \
|
---|
553 | size_t __n, size_t __s) \
|
---|
554 | { \
|
---|
555 | _Tp* __q(__b._M_data); \
|
---|
556 | for (_Tp* __p = __a._M_data; __p < __a._M_data + __n; \
|
---|
557 | ++__p, __q += __s) \
|
---|
558 | *__p _Op##= *__q; \
|
---|
559 | } \
|
---|
560 | \
|
---|
561 | template<typename _Tp, class _Dom> \
|
---|
562 | void \
|
---|
563 | _Array_augmented_##_Name(_Array<_Tp> __a, size_t __s, \
|
---|
564 | const _Expr<_Dom, _Tp>& __e, size_t __n) \
|
---|
565 | { \
|
---|
566 | _Tp* __p(__a._M_data); \
|
---|
567 | for (size_t __i = 0; __i < __n; ++__i, __p += __s) \
|
---|
568 | *__p _Op##= __e[__i]; \
|
---|
569 | } \
|
---|
570 | \
|
---|
571 | template<typename _Tp> \
|
---|
572 | inline void \
|
---|
573 | _Array_augmented_##_Name(_Array<_Tp> __a, _Array<size_t> __i, \
|
---|
574 | _Array<_Tp> __b, size_t __n) \
|
---|
575 | { \
|
---|
576 | _Tp* __q(__b._M_data); \
|
---|
577 | for (size_t* __j = __i._M_data; __j < __i._M_data + __n; \
|
---|
578 | ++__j, ++__q) \
|
---|
579 | __a._M_data[*__j] _Op##= *__q; \
|
---|
580 | } \
|
---|
581 | \
|
---|
582 | template<typename _Tp> \
|
---|
583 | inline void \
|
---|
584 | _Array_augmented_##_Name(_Array<_Tp> __a, size_t __n, \
|
---|
585 | _Array<_Tp> __b, _Array<size_t> __i) \
|
---|
586 | { \
|
---|
587 | _Tp* __p(__a._M_data); \
|
---|
588 | for (size_t* __j = __i._M_data; __j<__i._M_data + __n; \
|
---|
589 | ++__j, ++__p) \
|
---|
590 | *__p _Op##= __b._M_data[*__j]; \
|
---|
591 | } \
|
---|
592 | \
|
---|
593 | template<typename _Tp, class _Dom> \
|
---|
594 | void \
|
---|
595 | _Array_augmented_##_Name(_Array<_Tp> __a, _Array<size_t> __i, \
|
---|
596 | const _Expr<_Dom, _Tp>& __e, size_t __n) \
|
---|
597 | { \
|
---|
598 | size_t* __j(__i._M_data); \
|
---|
599 | for (size_t __k = 0; __k<__n; ++__k, ++__j) \
|
---|
600 | __a._M_data[*__j] _Op##= __e[__k]; \
|
---|
601 | } \
|
---|
602 | \
|
---|
603 | template<typename _Tp> \
|
---|
604 | void \
|
---|
605 | _Array_augmented_##_Name(_Array<_Tp> __a, _Array<bool> __m, \
|
---|
606 | _Array<_Tp> __b, size_t __n) \
|
---|
607 | { \
|
---|
608 | bool* __ok(__m._M_data); \
|
---|
609 | _Tp* __p(__a._M_data); \
|
---|
610 | for (_Tp* __q = __b._M_data; __q < __b._M_data + __n; \
|
---|
611 | ++__q, ++__ok, ++__p) \
|
---|
612 | { \
|
---|
613 | while (! *__ok) \
|
---|
614 | { \
|
---|
615 | ++__ok; \
|
---|
616 | ++__p; \
|
---|
617 | } \
|
---|
618 | *__p _Op##= *__q; \
|
---|
619 | } \
|
---|
620 | } \
|
---|
621 | \
|
---|
622 | template<typename _Tp> \
|
---|
623 | void \
|
---|
624 | _Array_augmented_##_Name(_Array<_Tp> __a, size_t __n, \
|
---|
625 | _Array<_Tp> __b, _Array<bool> __m) \
|
---|
626 | { \
|
---|
627 | bool* __ok(__m._M_data); \
|
---|
628 | _Tp* __q(__b._M_data); \
|
---|
629 | for (_Tp* __p = __a._M_data; __p < __a._M_data + __n; \
|
---|
630 | ++__p, ++__ok, ++__q) \
|
---|
631 | { \
|
---|
632 | while (! *__ok) \
|
---|
633 | { \
|
---|
634 | ++__ok; \
|
---|
635 | ++__q; \
|
---|
636 | } \
|
---|
637 | *__p _Op##= *__q; \
|
---|
638 | } \
|
---|
639 | } \
|
---|
640 | \
|
---|
641 | template<typename _Tp, class _Dom> \
|
---|
642 | void \
|
---|
643 | _Array_augmented_##_Name(_Array<_Tp> __a, _Array<bool> __m, \
|
---|
644 | const _Expr<_Dom, _Tp>& __e, size_t __n) \
|
---|
645 | { \
|
---|
646 | bool* __ok(__m._M_data); \
|
---|
647 | _Tp* __p(__a._M_data); \
|
---|
648 | for (size_t __i = 0; __i < __n; ++__i, ++__ok, ++__p) \
|
---|
649 | { \
|
---|
650 | while (! *__ok) \
|
---|
651 | { \
|
---|
652 | ++__ok; \
|
---|
653 | ++__p; \
|
---|
654 | } \
|
---|
655 | *__p _Op##= __e[__i]; \
|
---|
656 | } \
|
---|
657 | }
|
---|
658 |
|
---|
659 | _DEFINE_ARRAY_FUNCTION(+, __plus)
|
---|
660 | _DEFINE_ARRAY_FUNCTION(-, __minus)
|
---|
661 | _DEFINE_ARRAY_FUNCTION(*, __multiplies)
|
---|
662 | _DEFINE_ARRAY_FUNCTION(/, __divides)
|
---|
663 | _DEFINE_ARRAY_FUNCTION(%, __modulus)
|
---|
664 | _DEFINE_ARRAY_FUNCTION(^, __bitwise_xor)
|
---|
665 | _DEFINE_ARRAY_FUNCTION(|, __bitwise_or)
|
---|
666 | _DEFINE_ARRAY_FUNCTION(&, __bitwise_and)
|
---|
667 | _DEFINE_ARRAY_FUNCTION(<<, __shift_left)
|
---|
668 | _DEFINE_ARRAY_FUNCTION(>>, __shift_right)
|
---|
669 |
|
---|
670 | #undef _DEFINE_ARRAY_FUNCTION
|
---|
671 |
|
---|
672 | _GLIBCXX_END_NAMESPACE_VERSION
|
---|
673 | } // namespace
|
---|
674 |
|
---|
675 | # include <bits/valarray_array.tcc>
|
---|
676 |
|
---|
677 | #endif /* _ARRAY_H */
|
---|