1.什么是vector?
在 C++ 里,std::vector 是標準模板庫(STL)提供的一個非常實用的容器類,它可以看作是動態數組
2.成員變量
iterator _start;:指向 vector 中第一個元素的指針。
iterator _finish;:指向 vector 中最后一個元素的下一個位置的指針。
iterator _end_of_storage;:指向 vector 所分配內存空間的末尾的指針。
template<class T>
class vector
{
public:typedef T* iterator;typedef const T* const_iterator;
private:iterator _start = nullptr;iterator _finish = nullptr;iterator _end_of_storage = nullptr;
}
3.構造函數
3.1默認構造
因為三個成員變量都有缺省值,我們只需要顯示寫默認構造即可,他們會在初始化鏈表處初始化。
//寫法1:
vector()
{}
//寫法2:
vector() = default;//C++11支持強制生成默認構造
3.2拷貝構造
- 調用 reserve 函數,提前為新 vector 對象分配足夠的內存空間,其大小和 v 的元素數量相同,此步驟可以避免后續添加元素時的頻繁擴容。
- 借助范圍 for 循環遍歷 v 中的每個元素,使用引用 auto& 避免不必要的拷貝(特別是當元素為自定義類型時)。
- 對 v 中的每個元素,調用 push_back 函數將其添加到新 vector 對象的末尾。
//拷貝構造
vector(const vector<T>& v)
{//提前開好空間reserve(v.size());//如果元素是自定義類型,用引用可以減少拷貝for (auto& ch : v){//尾插數據push_back(ch);}
}
3.3迭代器構造函數
迭代器構造函數需要我們傳兩個迭代器,我們使用范圍for將元素尾插至新構造的vector對象中,構造的范圍是[first,last)
注意:類模板的成員函數,也可以是函數模板,我們可以將這個迭代器構造函數寫成模板,優點是可以用不同的類構造vector對象,前提是元素類型需相同,如:int
//迭代器構造
template<class InputIterator>
vector(InputIterator first, InputIterator last)
{while (first != last){push_back(*first);first++;}
}
3.4半缺省構造函數
我們可以通過半缺省構造函數構造一個有n個val值得vector對象
- 使用resver提前開好空間,避免后續插入元素時頻繁擴容
- 使用for循環尾插n個值為val的元素,如果不傳參使用的是缺省值T()
- 對于內置類型(如 int、double、char 等),T() 會進行值初始化。對于數值類型,會初始化為 0;對于指針類型,會初始化為 nullptr。
- 對于自定義類型,T() 會調用該類型的默認構造函數。如果沒有顯式定義默認構造函數,編譯器會自動生成一個(前提是該類沒有其他帶參數的構造函數
注意:我們使用半缺省構造函數的時候傳參需要注意,如下:如果不顯示第一個參數是size_t,編譯器會優先調用更符合的構造函數,即會上面的迭代器構造函數
//u表示10是size_t類型
vector<int> v1(10u,1);
//用n個val進行構造,T()是匿名對象
vector(size_t n, const T& val = T())
{reserve(n);for (size_t i = 0; i < n; i++){//如果用這種,_finish記得++//*_finish = val;//_finish++;push_back(val);}
}
4.析構函數
三個指針指向同一塊空間的不同位置,使用delete釋放的時候我們需要使用指向vector中第一個元素的指針,同一塊空間不能進行多次釋放。
//析構
~vector()
{if (_start){delete[] _start;_start = _finish = _end_of_storage = nullptr;}
}
5.iterators
5.1begin()/end()
//普通對象使用
iterator begin()
{return _start;
}iterator end()
{return _finish;
}//const對象使用
const_iterator begin() const
{return _start;
}const_iterator end() const
{return _finish;
}
6.內聯函數
6.1size()
size_t size() const
{return _finish - _start;
}
6.2capacity()
size_t capacity() const
{return _end_of_storage - _start;
}
6.3empty()
bool empty() const
{return _start == _finish;
}
6.4clear()
void clear()
{_finish = _start;
}
6.5swap()
void swap(vector<T>& v)
{std::swap(_start, v._start);std::swap(_finish, v._finish);std::swap(_end_of_storage, v._end_of_storage);
}
6.7=運算符重載
普通寫法:
- 先清除當前vector對象中的所有元素
- 提前開頭看見,避免后續頻繁擴容
- 使用范圍for依次將元素尾插至當前vector對象
//賦值運算符重載
vector<T>& operator=(const vector<T>& v)
{if (this != &v){//先清理原先數據clear();//提前開好空間reserve(v.size());//如果數據是自定義類型可以減少拷貝for (auto& ch : v){push_back(ch);}}return *this;
}
現代寫法:
//賦值運算符重載,現代寫法
//這里是拷貝,不是引用,且不加const
vector<T>& operator=(vector<T> v)
{swap(v);return *this;
}
6.8[]運算符重載
//普通對象使用
T& operator[](size_t i)
{//i不能越界assert(i < size());return _start[i];
}//const對象使用
const T& operator[](size_t i) const
{//i不能越界assert(i < size());return _start[i];
}
7.尾插/尾刪元素
7.1push_back()
- 判斷空間是否已滿,已滿需進行擴容操作,使用三木操作符,如果當前vector對象空間對空,擴容至4個元素,不為空則選擇2倍擴容。
- 尾插元素,_finish指針向后移動一位
//尾插
//如果是自定義類型,用引用可以減少拷貝
void push_back(const T& x)
{//擴容if (_finish == _end_of_storage){reserve(capacity() == 0 ? 4 : 2 * capacity());}*_finish = x;_finish++;
}
7.2pop_back()
- 判斷當前vector對象中是否還剩余元素,元素為0則斷言失敗
- 還有元素則將_finish指針前移一位
//尾刪
void pop_back()
{//判空assert(!empty());_finish--;
}
8.在pos位置插入刪除元素
8.1insert()
- 判斷pos位置的有效性,可插入范圍為[_start,_finish]
- 判斷空間是否足夠,不夠則進行擴容操作
注意:如果進行擴容操作,則會造成迭代器失效,需要更新下迭代器 - 將pos位置及之后的數據向后移動一位
- 在pos位置插入元素,返回pos位置的迭代器
//在pos位置插入數據
iterator insert(iterator pos, const T& x)
{//pos有效性assert(pos >= _start && pos <= _finish);//擴容if (_finish == _end_of_storage){size_t len = pos - _start;reserve(capacity() == 0 ? 4 : 2 * capacity());//擴容后pos迭代器會失效,需要更新一下pos = _start + len;}//將pos及之后的數據往后移動一位iterator end = _finish - 1;while (end >= pos){*(end + 1) = *end;--end;}*pos = x;++_finish;return pos;
}
8.2erase()
- 判斷pos位置的有效性,可刪除范圍為[_start,_finish)
- 將pos之后的數據向前移動一位,將pos位置的數據進行覆蓋
- 別忘了將_finish指針也前移一位
//刪除pos位置的數據
template<class T>
void vector<T>::erase(iterator pos)
{//pos有效性assert(pos >= _start && pos < _finish);//向前移動數據iterator it = pos + 1;while (it != end()){*(it - 1) = *it;it++;}--_finish;
}
9.空間大小和數據大小調整
9.1resize()
將vector對象中的數據個數調整至n個,如果n小于當前元素個數,將當前元素個數調整為n,如果n大于當前元素個數,使用val對其進行填充。
//調整長度
template<class T>
void vector<T>::resize(size_t n, T val)
{//n小于長度,縮減長度if (n < size()){_finish = _start + n;}//n大于長度,在后面補元素else{//可能需要擴容reserve(n);//從原數據結尾開始補while (_finish < _start + n){//*_finish = val;//_finish++;push_back(val);}}
}
9.2reserve()
將空間大小擴容至n,如果n小于當前空間大小,不進行操作和改變
- 保存舊空間大小old_size,否則后續:
_start = tmp;
_finish = tmp + size();
而size()是_finish-_start,從而_finish = tmp + size()=_start+_finish-_start=_finish - new新空間,大小為n
- 將原對象內容進行深拷貝,不能使用memcpy進行拷貝
- 釋放原空間,更新成員變量
template<class T>
void vector<T>::reserve(size_t n)
{//n大于空間大小才擴容if (n > capacity()){size_t old_size = size();//new個新空間T* tmp = new T[n];//memcpy對于內置類型是深拷貝,對于自定義類型是淺拷貝,所以不能用memcpy//memcpy(tmp, _start, size() * sizeof(T));for (size_t i = 0; i < size(); i++){tmp[i] = _start[i];}//銷毀舊空間數據delete[] _start;_start = tmp;_finish = tmp + old_size;_end_of_storage = tmp + n;}
}
10打印vector對象內容
C++規定:沒有實例化的類模板里取東西,編譯器不能區分這里的const_vector是類型還是變量,在前面加上typename表示取的是類型。
當然也可以使用auto自動識別類型。
//打印順序表的模板
template<class T>
void print_vector(const vector<T>& v)
{//auto it = v.begin();typename vector<T>::const_iterator it = v.begin();while (it != v.end()){cout << *it << " ";it++;}cout << endl;/* for (auto ch : v){cout << ch << " ";}cout << endl;*/
}
通用打印模板:
//通用打印模板
template<class Container>
void print_vector(const Container& v)
{auto it = v.begin();while (it != v.end()){cout << *it << " ";it++;}cout << endl;//或者//for (auto ch : v)//{// cout << ch << " ";//}//cout << endl;
}