c++ 能够记录状态的vector
这个想法来自于数组链表，在数组链表中，数组的每一个元素对应一个指针，这个指针是下一个元素的index。用整数表示指针。
这是这个vector的源码：
1 #include <iostream> 2 using std::cout; 3 4 template <typename T> 5 class Vector 6 { 7 private: 8 int m_block,m_size,m_asize; 9 int *ip,*rip;//ip:actual->visual;rip:v->a 10 T *tp; 11 void brushrip(); 12 int partition(int,int); 13 void qsort(int,int); 14 15 public: 16 Vector(int block=100):m_block(block),m_asize(0),m_size(0),rip(NULL),ip(NULL),tp(NULL){} 17 // Vector(const Vector<T>& v,int block=100); 18 int size() const{return m_size;} 19 bool insert(const T& t,int pos=-1,int num=1); 20 bool erase(int pos); 21 bool erase(int pos,int num); 22 // bool thin(); 23 T& operator[](const int key)const; 24 bool recover(const int const*); 25 int* getorder() const; 26 void sort(); 27 void swap(int pos1,int pos2); 28 }; 29 template <typename T> 30 void Vector<T>::swap(int pos1,int pos2) 31 { 32 33 ip[rip[pos1]]=pos2; 34 ip[rip[pos2]]=pos1; 35 int ac1=rip[pos1],ac2=rip[pos2]; 36 rip[ip[ac1]]=ac1; 37 rip[ip[ac2]]=ac2; 38 } 39 40 template <typename T> 41 void Vector<T>::sort() 42 { 43 qsort(0,m_size-1); 44 } 45 template <typename T> 46 void Vector<T>::qsort(int p,int r) 47 { 48 if(p<r) 49 { 50 int q=partition(p,r); 51 qsort(p,q-1); 52 qsort(q+1,r); 53 } 54 } 55 template <typename T> 56 int Vector<T>::partition(int p,int r) 57 { 58 T& x=tp[rip[r]]; 59 int i=p-1; 60 for(int j=p;j<=r-1;j++) 61 { 62 if(tp[rip[j]]<x) 63 { 64 i++; 65 if(i!=j)swap(i,j); 66 } 67 } 68 if(r!=i+1)swap(i+1,r); 69 return i+1; 70 } 71 template <typename T> 72 int* Vector<T>::getorder() const 73 { 74 if(m_size==0)return NULL; 75 int *p=new int[m_size]; 76 for(int i=0;i<m_size;i++)p[i]=ip[i]; 77 return p; 78 } 79 80 template <typename T> 81 bool Vector<T>::recover(const int* p) 82 { 83 // if((sizeof(p)/sizeof(int))<m_size)return false; 84 for(int i=0;i<m_size && p[i]<m_size && p[i]>=0;i++)ip[i]=p[i]; 85 brushrip(); 86 return true; 87 } 88 89 template <typename T> 90 void Vector<T>::brushrip() 91 { 92 if(m_size==0){delete[] rip;rip=NULL;return;} 93 if(sizeof(rip)/sizeof(int)!=m_size) 94 {delete[] rip;rip=NULL;rip=new int[m_size];} 95 for(int i=0;i<m_size;i++){rip[ip[i]]=i;} 96 } 97 98 template <typename T> 99 bool Vector<T>::insert(const T& t,int pos,int num) 100 { 101 if(pos<0)pos=m_size+pos+1; 102 if(pos<0 || pos>m_size)return false; 103 int newblock=(m_size+num-m_asize)/m_block+1; 104 if(newblock>0) 105 { 106 m_asize+=newblock*m_block; 107 int *ipp=new int[m_asize]; 108 T *tpp=new T[m_asize]; 109 for(int i=0;i<m_size;i++){tpp[i]=tp[i];ipp[i]=ip[i];} 110 delete[] tp;delete[] ip; 111 tp=tpp;ip=ipp; 112 } 113 for(int i=0;i<m_size;i++)if(ip[i]>=pos)ip[i]=ip[i]+num; 114 for( i=0;i<num;i++) {ip[i+m_size]=pos+i;tp[i+m_size]=t;} 115 m_size+=num; 116 brushrip(); 117 return true; 118 } 119 120 template <typename T> 121 bool Vector<T>::erase(int pos) 122 { 123 if( pos<0 || pos>=m_size)return false; 124 m_size--; 125 if(rip[pos]!=m_size) 126 { 127 T temp=tp[rip[pos]]; 128 tp[rip[pos]]=tp[m_size]; 129 tp[m_size]=temp; 130 ip[rip[pos]]=ip[m_size]; 131 } 132 for(int i=0;i<m_size;i++)if(ip[i]>pos)ip[i]--; 133 brushrip(); 134 return true; 135 } 136 template <typename T> 137 bool Vector<T>::erase(int pos,int num) 138 { 139 for(int i=0;i<num;i++)if(!erase(pos))return false; 140 return true; 141 } 142 143 template <typename T> 144 T& Vector<T>::operator[](const int key)const 145 { 146 return tp[rip[key]]; 147 } 148 149 int main() 150 { 151 Vector<int> v; 152 v.insert(5,0,2); 153 v.insert(6,0,8); 154 v.insert(7,4,3); 155 v.erase(3,20); 156 v.insert(10,0,2); 157 v.swap(1,2); 158 cout<<"排序前:\n"; 159 for(int i=0;i<v.size();i++)cout<<v[i]<<" "; 160 int *p=v.getorder(); 161 v.sort();cout<<"\n排序后:\n"; 162 for( i=0;i<v.size();i++)cout<<v[i]<<" "; 163 if(v.recover(p))cout<<"\n复原：\n"; 164 for( i=0;i<v.size();i++)cout<<v[i]<<" "; 165 cout<<"\n"; 166 delete[] p; 167 168 return 0; 169 }
实现了operator[],快排,getorder,recover,insert,erase
内存的组织形式是这样的：
1.动态顺序存储，insert总将数据存储到顺序表的尾部。
2.另有有整型数组ip，与顺序表同长，建立数据存储的实际位置与表象未知的函数
3.数据交换的操作就不再直接操作数据本身，而是操作 数组ip
4.可以用getorder记录下数组ip，以后就可以用recover回复到这个状态了
也就是说，数据一旦被存储，他的实际位置就不再变了，变的只是 数组ip。而数组ip可以记录成不同的状态，所以这个vector可以用来做版本管理。
