1
 
/*      Copyright (C) 2004 Garrett A. Kajmowicz
 
3
 
        This file is part of the uClibc++ Library.
 
5
 
        This library is free software; you can redistribute it and/or
 
6
 
        modify it under the terms of the GNU Lesser General Public
 
7
 
        License as published by the Free Software Foundation; either
 
8
 
        version 2.1 of the License, or (at your option) any later version.
 
10
 
        This library is distributed in the hope that it will be useful,
 
11
 
        but WITHOUT ANY WARRANTY; without even the implied warranty of
 
12
 
        MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 
13
 
        Lesser General Public License for more details.
 
15
 
        You should have received a copy of the GNU Lesser General Public
 
16
 
        License along with this library; if not, write to the Free Software
 
17
 
        Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 
21
 
#include <basic_definitions>
 
24
 
#include <func_exception>
 
26
 
#include <type_traits>
 
29
 
#ifndef __STD_HEADER_VECTOR
 
30
 
#define __STD_HEADER_VECTOR
 
32
 
#pragma GCC visibility push(default)
 
36
 
        template <class T, class Allocator = allocator<T> > class vector;
 
37
 
        template <class T, class Allocator> bool operator==(const vector<T,Allocator>& x, const vector<T,Allocator>& y);
 
38
 
        template <class T, class Allocator> bool operator< (const vector<T,Allocator>& x, const vector<T,Allocator>& y);
 
39
 
        template <class T, class Allocator> bool operator!=(const vector<T,Allocator>& x, const vector<T,Allocator>& y);
 
40
 
        template <class T, class Allocator> bool operator> (const vector<T,Allocator>& x, const vector<T,Allocator>& y);
 
41
 
        template <class T, class Allocator> bool operator>=(const vector<T,Allocator>& x, const vector<T,Allocator>& y);
 
42
 
        template <class T, class Allocator> bool operator<=(const vector<T,Allocator>& x, const vector<T,Allocator>& y);
 
43
 
        template <class T, class Allocator> void swap(vector<T,Allocator>& x, vector<T,Allocator>& y);
 
45
 
        template <class T, class Allocator> class _UCXXEXPORT vector {
 
48
 
                typedef typename Allocator::reference reference;
 
49
 
                typedef typename Allocator::const_reference const_reference;
 
50
 
                typedef typename Allocator::size_type size_type;
 
51
 
                typedef typename Allocator::difference_type difference_type;
 
52
 
                typedef typename Allocator::pointer pointer;
 
53
 
                typedef typename Allocator::const_pointer const_pointer;
 
56
 
                typedef const T* const_iterator;
 
58
 
                typedef Allocator allocator_type;
 
59
 
                typedef std::reverse_iterator<iterator> reverse_iterator;
 
60
 
                typedef std::reverse_iterator<const_iterator> const_reverse_iterator;
 
62
 
                explicit _UCXXEXPORT vector(const Allocator& al= Allocator()): data(0), //defaultValue(T()), 
 
63
 
                        data_size(__UCLIBCXX_STL_BUFFER_SIZE__), elements(0), a(al)
 
65
 
                        data = a.allocate(data_size);
 
68
 
                explicit _UCXXEXPORT vector(size_type n, const T& value = T(), const Allocator& al= Allocator()) : 
 
69
 
                        data(0), data_size(0), elements(0), a(al)
 
71
 
                        data_size = n + __UCLIBCXX_STL_BUFFER_SIZE__;
 
72
 
                        data = a.allocate(data_size);
 
77
 
                template <class InputIterator> _UCXXEXPORT 
 
78
 
                        vector(InputIterator first, InputIterator last, const Allocator& al = Allocator()):
 
79
 
                        data(0), data_size(__UCLIBCXX_STL_BUFFER_SIZE__), elements(0), a(al)
 
81
 
                        data = a.allocate(data_size);
 
85
 
                _UCXXEXPORT vector(const vector<T,Allocator>& x){
 
88
 
                        elements  = x.elements;
 
89
 
                        data_size = elements + __UCLIBCXX_STL_BUFFER_SIZE__;
 
90
 
                        data = a.allocate(data_size);
 
92
 
                        for(size_type i = 0; i < elements; i++){
 
93
 
                                a.construct(data+i, x.data[i]);
 
97
 
                _UCXXEXPORT ~vector();  //Below
 
99
 
                _UCXXEXPORT vector<T,Allocator>& operator=(const vector<T,Allocator>& x){
 
104
 
                        reserve(x.elements);    //Make sure that we have enough actual memory
 
107
 
                        //Copy as many elements as possible
 
109
 
                        size_t minElements = elements;
 
110
 
                        if(minElements > x.elements){
 
111
 
                                minElements = x.elements;
 
113
 
                        for(size_t i = 0; i < minElements; ++i){
 
117
 
                        //If we need to add new elements
 
118
 
                        if(elements < x.elements){
 
119
 
                                for(size_t i = elements; i< x.elements; ++i){
 
120
 
                                        a.construct(data+i, x.data[i]);
 
125
 
                        if(elements > x.elements){
 
126
 
                                downsize(x.elements);
 
132
 
                template <class InputIterator> _UCXXEXPORT void assign(InputIterator first, InputIterator last){
 
134
 
                        insert(begin(), first, last);
 
137
 
                template <class Size, class U> _UCXXEXPORT void assign(Size n, const U& u = U()){
 
142
 
                inline allocator_type get_allocator() const{
 
146
 
                inline iterator begin(){
 
150
 
                inline const_iterator begin() const{
 
154
 
                inline iterator end(){
 
155
 
                        return (data + elements);
 
158
 
                inline const_iterator end() const{
 
159
 
                        return (data + elements);
 
162
 
                inline reverse_iterator rbegin(){
 
163
 
                        return reverse_iterator(end());
 
166
 
                inline const_reverse_iterator rbegin() const{
 
167
 
                        return const_reverse_iterator(end());
 
170
 
                inline reverse_iterator rend(){
 
171
 
                        return reverse_iterator(begin());
 
174
 
                inline const_reverse_iterator rend() const{
 
175
 
                        return const_reverse_iterator(begin());
 
178
 
                inline size_type size() const{
 
182
 
                _UCXXEXPORT size_type max_size() const{
 
183
 
                        return ((size_type)(-1)) / sizeof(T);
 
186
 
                void downsize(size_type sz);
 
187
 
                void resize(size_type sz, const T & c = T());
 
189
 
                inline size_type capacity() const{
 
193
 
                inline bool empty() const{
 
194
 
                        return (size() == 0);
 
197
 
                void reserve(size_type n);
 
199
 
                inline reference operator[](size_type n){
 
203
 
                inline const_reference operator[](size_type n) const{
 
207
 
                _UCXXEXPORT const_reference at(size_type n) const{
 
209
 
                                __throw_out_of_range("Invalid subscript");
 
214
 
                _UCXXEXPORT reference at(size_type n){
 
216
 
                                __throw_out_of_range("Invalid subscript");
 
221
 
                inline reference front(){
 
225
 
                inline const_reference front() const{
 
229
 
                inline reference back(){
 
230
 
                        return data[ size() - 1];
 
233
 
                inline const_reference back() const{
 
234
 
                        return data[ size() - 1 ];
 
237
 
                inline void push_back(const T& x){
 
238
 
                        resize( size() + 1, x);
 
241
 
                inline void pop_back(){
 
242
 
                        downsize(size() - 1);
 
245
 
                _UCXXEXPORT iterator insert(iterator position, const T& x = T()){
 
246
 
                        size_type index = position - data;
 
247
 
                        resize(size() + 1, x);
 
248
 
                        for(size_type i = elements - 1; i > index; --i){
 
252
 
                        return (data + index);
 
255
 
                _UCXXEXPORT void _insert_fill(iterator position, size_type n, const T & x){
 
256
 
                        size_type index = position - data;
 
257
 
                        resize(size() + n, x);
 
259
 
                        for(size_type i = elements -1; (i > (index+n-1)); --i){
 
262
 
                        for(size_type i = 0; i < n; i++){
 
267
 
                template <class InputIterator> _UCXXEXPORT 
 
268
 
                        void _insert_from_iterator(iterator position, InputIterator first, InputIterator last)
 
273
 
                                position = insert(position, temp);
 
279
 
                template <class InputIterator>
 
280
 
                        inline void _dispatch_insert(iterator position, InputIterator first, InputIterator last, __true_type)
 
282
 
                        _insert_fill(position, first, last);
 
285
 
                template <class InputIterator>
 
286
 
                        inline void _dispatch_insert(iterator position, InputIterator first, InputIterator last, __false_type)
 
288
 
                                _insert_from_iterator(position, first, last);
 
291
 
                inline void insert(iterator position, size_type n, const T& x ){
 
292
 
                        _insert_fill(position, n, x);
 
295
 
                template <class InputIterator> inline void insert(iterator position, InputIterator first, InputIterator last){
 
296
 
                        typedef typename __is_integer<InputIterator>::value __some_type;
 
297
 
                        _dispatch_insert(position, first, last, __some_type());
 
300
 
                _UCXXEXPORT iterator erase(iterator position){
 
301
 
                        size_type index = position - data;
 
302
 
                        for(size_type i = index; i < (elements - 1); ++i){
 
305
 
                        downsize(size() - 1);
 
306
 
                        return (data + index);
 
309
 
                _UCXXEXPORT iterator erase(iterator first, iterator last){
 
310
 
                        size_type index = first - data;
 
311
 
                        size_type width = last - first;
 
312
 
                        for(size_type i = index; i < (elements - width) ;++i){
 
313
 
                                data[i] = data[i+width];
 
315
 
                        downsize(size() - width);
 
316
 
                        return (data + index);
 
319
 
                _UCXXEXPORT void swap(vector<T,Allocator>& v){
 
320
 
                        if(this == &v){         //Avoid dv.swap(v)
 
326
 
                        //Swap pointers first
 
331
 
                        //Swap element counts
 
333
 
                        elements = v.elements;
 
338
 
                        data_size = v.data_size;
 
342
 
                _UCXXEXPORT void clear(){
 
355
 
        //Here go template instantiations
 
357
 
        template<class T, class Allocator> _UCXXEXPORT vector<T, Allocator>::~vector(){
 
358
 
                for(size_t i = 0; i < elements; ++i){
 
361
 
                a.deallocate(data, data_size);
 
365
 
        template<class T, class Allocator> _UCXXEXPORT void vector<T, Allocator>::reserve(size_type n){
 
366
 
                if(n > data_size){              //We never shrink...
 
368
 
                        size_type temp_size = data_size;
 
371
 
                        data = a.allocate(data_size);
 
373
 
                        for(size_type i = 0; i<elements; ++i){
 
374
 
                                a.construct(data+i, temp_ptr[i]);
 
375
 
                                a.destroy(temp_ptr+i);
 
377
 
                        a.deallocate(temp_ptr, temp_size);
 
381
 
        template<class T, class Allocator> _UCXXEXPORT void vector<T, Allocator>::resize(size_type sz, const T & c){
 
382
 
                if(sz > elements){      //Need to actually call constructor
 
384
 
                                reserve(sz + __UCLIBCXX_STL_BUFFER_SIZE__);
 
387
 
                        for(size_type i = elements; i<sz ; ++i){
 
388
 
                                a.construct(data+i, c);
 
396
 
        template<class T, class Allocator> _UCXXEXPORT void vector<T, Allocator>::downsize(size_type sz){
 
397
 
                if(sz < elements){      //Actually are downsizing
 
398
 
                        for(size_t i = sz; i< elements; ++i){
 
406
 
#ifndef __UCLIBCXX_COMPILE_VECTOR__
 
407
 
#ifdef __UCLIBCXX_EXPAND_VECTOR_BASIC__
 
410
 
#ifdef __UCLIBCXX_EXPAND_CONSTRUCTORS_DESTRUCTORS__
 
411
 
        template<> _UCXXEXPORT vector<char, allocator<char> >::vector(const allocator<char>& al);
 
412
 
        template<> _UCXXEXPORT vector<char, allocator<char> >::vector(size_type n, const char & value, const allocator<char> & al);
 
414
 
        template<> _UCXXEXPORT vector<char, allocator<char> >::~vector();
 
415
 
        template<> _UCXXEXPORT vector<unsigned char, allocator<unsigned char> >::~vector();
 
417
 
#endif //__UCLIBCXX_EXPAND_CONSTRUCTORS_DESTRUCTORS__
 
419
 
        template<> _UCXXEXPORT void vector<char, allocator<char> >::reserve(size_type n);
 
420
 
        template<> _UCXXEXPORT void vector<unsigned char, allocator<unsigned char> >::reserve(size_type n);
 
421
 
        template<> _UCXXEXPORT void vector<short int, allocator<short int> >::reserve(size_type n);
 
422
 
        template<> _UCXXEXPORT void vector<unsigned short int, allocator<unsigned short int> >::reserve(size_type n);
 
423
 
        template<> _UCXXEXPORT void vector<int, allocator<int> >::reserve(size_type n);
 
424
 
        template<> _UCXXEXPORT void vector<unsigned int, allocator<unsigned int> >::reserve(size_type n);
 
425
 
        template<> _UCXXEXPORT void vector<long int, allocator<long int> >::reserve(size_type n);
 
426
 
        template<> _UCXXEXPORT void vector<unsigned long int, allocator<unsigned long int> >::reserve(size_type n);
 
427
 
        template<> _UCXXEXPORT void vector<float, allocator<float> >::reserve(size_type n);
 
428
 
        template<> _UCXXEXPORT void vector<double, allocator<double> >::reserve(size_type n);
 
429
 
        template<> _UCXXEXPORT void vector<bool, allocator<bool> >::reserve(size_type n);
 
431
 
        template<> _UCXXEXPORT void vector<char, allocator<char> >::resize(size_type sz, const char & c);
 
432
 
        template<> _UCXXEXPORT void
 
433
 
                vector<unsigned char, allocator<unsigned char> >::resize(size_type sz, const unsigned char & c);
 
434
 
        template<> _UCXXEXPORT void vector<short int, allocator<short int> >::resize(size_type sz, const short & c);
 
435
 
        template<> _UCXXEXPORT void
 
436
 
                vector<unsigned short int, allocator<unsigned short int> >::resize(size_type sz, const unsigned short int & c);
 
437
 
        template<> _UCXXEXPORT void vector<int, allocator<int> >::resize(size_type sz, const int & c);
 
438
 
        template<> _UCXXEXPORT void vector<unsigned int, allocator<unsigned int> >::resize(size_type sz, const unsigned int & c);
 
439
 
        template<> _UCXXEXPORT void vector<long int, allocator<long int> >::resize(size_type sz, const long int & c);
 
440
 
        template<> _UCXXEXPORT void
 
441
 
                vector<unsigned long int, allocator<unsigned long int> >::resize(size_type sz, const unsigned long int & c);
 
442
 
        template<> _UCXXEXPORT void vector<float, allocator<float> >::resize(size_type sz, const float & c);
 
443
 
        template<> _UCXXEXPORT void vector<double, allocator<double> >::resize(size_type sz, const double & c);
 
444
 
        template<> _UCXXEXPORT void vector<bool, allocator<bool> >::resize(size_type sz, const bool & c);
 
446
 
#elif defined __UCLIBCXX_EXPAND_STRING_CHAR__
 
448
 
#ifdef __UCLIBCXX_EXPAND_CONSTRUCTORS_DESTRUCTORS__
 
450
 
        template<> _UCXXEXPORT vector<char, allocator<char> >::vector(const allocator<char>& al);
 
451
 
        template<> _UCXXEXPORT vector<char, allocator<char> >::vector(size_type n, const char & value, const allocator<char> & al);
 
452
 
        template<> _UCXXEXPORT vector<char, allocator<char> >::~vector();
 
456
 
        template<> _UCXXEXPORT void vector<char, allocator<char> >::reserve(size_type n);
 
457
 
        template<> _UCXXEXPORT void vector<char, allocator<char> >::resize(size_type sz, const char & c);
 
464
 
        template <class T, class Allocator> _UCXXEXPORT bool
 
465
 
                operator==(const vector<T,Allocator>& x, const vector<T,Allocator>& y)
 
467
 
                if(x.size() !=y.size() ){
 
470
 
                for(size_t i = 0; i < x.size(); ++i){
 
478
 
        template <class T, class Allocator> _UCXXEXPORT bool
 
479
 
                operator< (const vector<T,Allocator>& x, const vector<T,Allocator>& y)
 
481
 
                less<typename iterator_traits<typename vector<T,Allocator>::iterator >::value_type> c;
 
482
 
                return lexicographical_compare(x.begin(), x.end(), y.begin(), y.end(), c);
 
484
 
        template <class T, class Allocator> _UCXXEXPORT bool
 
485
 
                operator!=(const vector<T,Allocator>& x, const vector<T,Allocator>& y)
 
489
 
        template <class T, class Allocator> _UCXXEXPORT bool
 
490
 
                operator> (const vector<T,Allocator>& x, const vector<T,Allocator>& y)
 
492
 
                greater<typename iterator_traits<typename vector<T,Allocator>::iterator >::value_type> c;
 
493
 
                return lexicographical_compare(x.begin(), x.end(), y.begin(), y.end(), c);
 
495
 
        template <class T, class Allocator> _UCXXEXPORT bool
 
496
 
                operator>=(const vector<T,Allocator>& x, const vector<T,Allocator>& y)
 
498
 
                greater_equal<typename iterator_traits<typename vector<T,Allocator>::iterator >::value_type> c;
 
499
 
                return lexicographical_compare(x.begin(), x.end(), y.begin(), y.end(), c);
 
501
 
        template <class T, class Allocator> _UCXXEXPORT bool
 
502
 
                operator<=(const vector<T,Allocator>& x, const vector<T,Allocator>& y)
 
504
 
                less_equal<typename iterator_traits<typename vector<T,Allocator>::iterator >::value_type> c;
 
505
 
                return lexicographical_compare(x.begin(), x.end(), y.begin(), y.end(), c);
 
508
 
        template <class T, class Allocator> _UCXXEXPORT void swap(vector<T,Allocator>& x, vector<T,Allocator>& y){
 
514
 
#pragma GCC visibility pop