C++超詳細講解模擬實現(xiàn)vector

更新時間：2022年07月13日 11:11:19 作者：Yuucho

這篇文章主要介紹了C++ 容器 Vector 的使用方法，Vector 是一個能夠存放任意類型的動態(tài)數(shù)組，有點類似數(shù)組，是一個連續(xù)地址空間，下文更多詳細內(nèi)容的介紹，需要的小伙伴可以參考一下

1. 模擬實現(xiàn)vector

我們模擬實現(xiàn)是為了加深對這個容器的理解，不是為了造更好的輪子。

快速搭一個vector的架子

// vector.h
#pragma once
#include <assert.h>
// 模擬實現(xiàn) -- 加深對這個容器理解，不是為了造更好的輪子
namespace Yuucho
{
	template<class T>
	class vector
	{
	public:
		typedef T* iterator;
		typedef const T* const_iterator;
		vector()
			:_start(nullptr)
			, _finish(nullptr)
			, _endofstorage(nullptr)
		{}
        // 迭代器區(qū)間來構(gòu)造，用模板的原因是存儲的類型多種多樣
        template <class InputIterator>
		vector(InputIterator first, InputIterator last)
			: _start(nullptr)
			, _finish(nullptr)
			, _endofstorage(nullptr)
		{
			while (first != last)
			{
				push_back(*first);
				++first;
			}
		}
        // 用n個T去構(gòu)造，但是會隱藏匹配問題
        vector(size_t n, const T& val = T())
			: _start(nullptr)
			, _finish(nullptr)
			, _endofstorage(nullptr)
		{
			reserve(n);
			for (size_t i = 0; i < n; ++i)
			{
				push_back(val);
			}
		}
        void swap(vector<T>& v)
		{
			std::swap(_start, v._start);
			std::swap(_finish, v._finish);
			std::swap(_endofstorage, v._endofstorage);
		}
        //拷貝構(gòu)造函數(shù)
        vector(const vector<T>& v)
			: _start(nullptr)
			, _finish(nullptr)
			, _endofstorage(nullptr)
		{
			vector<T> tmp(v.begin(), v.end());
			swap(tmp);
		}
		// 拷貝賦值函數(shù)
		vector<T>& operator=(vector<T> v)
		{
			swap(v);
			return *this;
		}
        // 資源管理
        ~vector()
        {
            if(_start)
            {
                delete[] _start;
                _start = _finish = _endofstorage = nullptr;
            }
        }
		iterator begin()
		{
			return _start;
		}
		iterator end()
		{
			return _finish;
		}
		const_iterator begin() const
		{
			return _start;
		}
		const_iterator end() const
		{
			return _finish;
		}
		// 默認是內(nèi)聯(lián)，頻繁調(diào)用不用擔心棧幀消耗
		size_t size() const
		{
			return _finish - _start;
		}
		size_t capacity() const
		{
			return _endofstorage - _start;
		}
		void reserve(size_t n)
		{
		}
		//void resize(size_t n, const T& val = T())
		void resize(size_t n, T val = T())
		{
		}
		void push_back(const T& x)
		{
		}
		void pop_back()
		{
		}
		T& operator[](size_t pos)
		{
			assert(pos < size());
			return _start[pos];
		}
		const T& operator[](size_t pos) const
		{
			assert(pos < size());
			return _start[pos];
		}
		iterator insert(iterator pos, const T& x)
		{
		}
        void clear()
        {
            _finish = _start;
        }
	private:
		iterator _start;
		iterator _finish;
		iterator _endofstorage;
	};
}

2. vector常用接口

2.1 reserve

跟string的擴容思路一樣。一般不考慮縮容(n<capacity)，因為這是時間換空間的做法，我們要的是效率。

錯誤代碼:

void reserve(size_t n)
{
    // 一般不考慮縮容(n<capacity)
    if(n > capacity())
    {
        T* tmp = new T[n];
    	// capacity為0,n就是4(_endofstorage、_start都為nuptr)
        // 有數(shù)據(jù)才拷貝
        if(_start)
        {
            memcpy(tmp, _start, size()*sizeof(T));
        	delete[] _start;
        }
        _start = tmp; // 注意,這里start位置變了
    }
    // 更新_finish、_endofstorage
    _finish = _start + size();  // size():_finish - _start, _finish還是空指針
    _endofstorage = _start + capacity;  //capacity起始為0,也不對
}

修正后的代碼:

void reserve(size_t n)
{
    // 記錄size
    size_t sz = size();
    if(n > capacity())
    {
        T* tmp = new T[n];
        if(_start)
        {
            //memcpy還會隱藏更深層次的深淺拷貝問題，講解在最后
            memcpy(tmp, _start, size()*sizeof(T));
        	delete[] _start;
        }
        _start = tmp; // 注意,這里start位置變了
    }
    // 更新_finish、_endofstorage
    _finish = _start + sz;  
    _endofstorage = _start + n;
}

2.2 resize

resize是開空間+初始化，size_type就是size_t，value_type就是T。

C++模板出來了語法就必須支持內(nèi)置類型的默認構(gòu)造、析構(gòu)函數(shù)。

int()           // 默認構(gòu)造是0
double()       // 默認構(gòu)造是0.0
int*()           // 默認構(gòu)造是nullptr

思路與string一樣

//void resize(size_t n, const T& val = T())  嚴格的編譯器編不過,它認為T是臨時對象
// 按照庫里的寫法
void resize(size_t n, T val = T())  // T類型的匿名對象，默認構(gòu)造函數(shù)很重要,內(nèi)置類型咋辦？
{
    if (n > capacity())
	{
		reserve(n);
	}
	if (n > size())
    {
		while (_finish < _start + n)
		{
			*_finish = val;
			++_finish;
		}
	}
    // n < capacity就是刪除數(shù)據(jù)
	else
	{
		_finish = _start + n;
	}
}

2.3 push_back

void push_back(const T& x)
{
    // 滿了先擴容
    if(_finish == _endofstorage)
    {
        size_t newCapacity = capacity() == 0 ? 4 : capacity() * 2;
        reserve(newCapacity);
    }
    // 插入數(shù)據(jù)
    *_finish = x;
    ++_finish;
}

復(fù)用insert:

void push_back(const T& x)
{
    insert(end(), x);
}

2.4 pop_back()

void pop_back()
{
    // 如果不為空
    if(_finish > _start)
    {
        --_finish;
    }
}

復(fù)用erase:

void pop_back()
{
    erase(end()-1);
}

2.5 insert

庫里面的insert是帶返回值的，我們先不管，先寫一個沒有返回值的看看。

void insert(iterator pos, const T& x)
{
	// 檢查參數(shù)
	assert(pos >= _start && pos <= _finish);
	// 擴容
	if (_finish == _endofstorage)
	{
		size_t newCapacity = capacity() == 0 ? 4 : capacity() * 2;
		reserve(newCapacity);
	}
	// 挪動數(shù)據(jù)
	iterator end = _finish - 1;
	while (end >= pos)
	{
		*(end + 1) = *end;
		--end;
	}
	*pos = x;
	++_finish;
}

(1) 迭代器失效第一種場景

yeahbaby，現(xiàn)在我們就可以來講講迭代器失效的問題了，嘿嘿嘿。

如果插入時沒有擴容，ok，那還好說，沒有問題。

如果擴容了，reserve會去更新_start和_finish，而不會去更新pos(pos還是會指向舊空間，迭代器發(fā)生了野指針問題)。在VS環(huán)境下，會用斷言暴力檢查出來的。在Linux環(huán)境下，檢查不出來這種情況，甚至對原來的it仍然可讀可寫。

ok，那我們在擴容時更新一下pos：

if (_finish == _endofstorage)
{
	size_t n = pos - _start;
	size_t newCapacity = capacity() == 0 ? 4 : capacity() * 2;
	reserve(newCapacity);
	pos = _start + n;
}

(2)另一種場景

	void test_vector1()
	{
		// 在所有的偶數(shù)的前面插入2
		vector<int> v;
		//v.reserve(10);
		v.push_back(1);
		v.push_back(2);
		v.push_back(3);
		v.push_back(4);
		v.push_back(5);
		v.push_back(6);
		vector<int>::iterator it = v.begin();
		while (it != v.end())
		{
			if (*it % 2 == 0)
			{
				it = v.insert(it, 20);
				++it;
			}
			++it;
		}
		for (auto e : v)
		{
			cout << e << " ";
		}
		cout << endl;
	}
}

運行結(jié)果

導(dǎo)致斷言錯誤的原因是啥？為什么不能在2的前面插入20？

同樣的道理，雖然我們修正了pos，但是我們是值傳遞，形參不會改變實參。所以it仍然是野指針。在VS環(huán)境下，會用斷言暴力檢查出來的。在Linux環(huán)境下，檢查不出來這種情況，甚至對原來的it仍然可讀可寫。

有小伙伴就會說了，傳引用不就行了嗎？

我們是不會用引用的，官方庫也沒有用引用。因為我要傳的是像v.begin()這樣的臨時對象怎么辦。

更悲傷的是就算我提前把空間給你開好，保證插入時不需要擴容還是會出現(xiàn)問題。因為insert是在2之前插入20，++it后it仍指向2，這樣就導(dǎo)致不斷地在2之前插入20。這也是迭代器失效的一種場景。

修正后的代碼:

用返回值解決，官方庫里返回的是指向新插入的第一個元素的迭代器。那我們也這樣返回。

iterator insert(iterator pos, const T& x)
{
	// 檢查參數(shù)
	assert(pos >= _start && pos <= _finish);
	// 擴容
	// 擴容以后pos就失效了,需要更新一下
	if (_finish == _endofstorage)
	{
		size_t n = pos - _start;
		size_t newCapacity = capacity() == 0 ? 4 : capacity() * 2;
		reserve(newCapacity);
		pos = _start + n;
	}
	// 挪動數(shù)據(jù)
	iterator end = _finish - 1;
	while (end >= pos)
	{
		*(end + 1) = *end;
		--end;
	}
	*pos = x;
	++_finish;
	return pos;
}

此時我們這樣使用就行：

while (it != v.end())
{
    if(*it % 2 == 0)
    {
        // 返回新插入的第一個元素的迭代器
        it = v.insert(it, 20);
        //還是指向2
        ++it;
    }
    // 指向2的后一位
    ++it;
}

運行結(jié)果

2.6 erase

一般vector刪除數(shù)據(jù)，都不考慮縮容的方案。

縮容方案：size() < capacity()/2時，可以考慮開一個size()大小的空間，拷貝數(shù)據(jù)，釋放舊空間。

縮容方案本質(zhì)是時間換空間。一般設(shè)計都不會考慮縮容，因為實際比較關(guān)注時間效率，不關(guān)注空間效率，因為現(xiàn)在硬件設(shè)備空間都比較大，空間存儲也比較便宜。

我們這里不考慮縮容方案。

erase返回最后一個被釋放元素的后一個元素的新位置。

iterator erase(iterator pos)
{
	assert(pos >= _start && pos < _finish);
	iterator it = pos + 1;
	while (it != _finish)
	{
		*(it - 1) = *it;
		++it;
	}
	//erase最后一個數(shù)據(jù)，則pos==_finish，pos真失效了，但仍然屬于這個容器
	--_finish;
	return pos;
}

VS中的vector也沒有考慮縮容方案，但是它對pos(如果縮容，pos就是野指針)進行了斷言檢查，不允許訪問和寫入。

(1)erase迭代器的失效都是意義變了，或者不在有效訪問數(shù)據(jù)的范圍。

(2)一般不會使用縮容的方案，那么erase的失效，一般也不存在野指針的失效。

erase(pos)以后pos失效了，pos的意義變了，但是不同平臺下面對訪問pos的反應(yīng)不一樣。VS會強制檢查，Linux則沒有嚴格的檢查機制。我們用的時候一定要小心，統(tǒng)一以失效角度去看待。

erase迭代器意義變了的場景(假設(shè)我們要刪除容器中的偶數(shù))：

2.7 構(gòu)造函數(shù)的匹配問題

迭代器區(qū)間的構(gòu)造函數(shù)的參數(shù)要求是同類型的，而第一個構(gòu)造函數(shù)的第一個參數(shù)是size_t，int會涉及隱式類型轉(zhuǎn)換。所以參數(shù)為(10,2)的會匹配迭代器區(qū)間的構(gòu)造函數(shù)，而參數(shù)為(10, ‘x’)的會匹配第一個構(gòu)造函數(shù)。

這里就會導(dǎo)致int類型被當作迭代器解引用，本質(zhì)上是發(fā)生了構(gòu)造函數(shù)的錯配問題。

解決方法：

源碼是通過再寫一個第一個參數(shù)為int類型的構(gòu)造函數(shù)來解決的。

vector(int n, const T& val = T())
			: _start(nullptr)
			, _finish(nullptr)
			, _endofstoage(nullptr)
		{
			reserve(n);
			for (int i = 0; i < n; ++i)
			{
				push_back(val);
			}
		}

3. 更深層次的深淺拷貝問題

以楊輝三角為例：

class Solution {
public:
    vector<vector<int>> generate(int numRows) {
    vector<vector<int>> vv;
    // 先開辟楊輝三角的空間
    vv.resize(numRows);
    //初始化每一行
    for(size_t i = 0; i < numRows; ++i)
    {
        //每行個數(shù)依次遞增
        vv[i].resize(i+1, 0);
        // 每一行的第一個和最后一個都是1
        vv[i][0] = 1;
        vv[i][vv[i].size()-1] = 1;
    }
    for(size_t i = 0; i < vv.size(); ++i)
    {
        for(size_t j = 0; j < vv[i].size(); ++j)
        {
            if(vv[i][j] == 0)
            {
                //之間位置等于上一行j-1和j個相加
                vv[i][j] = vv[i-1][j-1] + vv[i-1][j];
            }
        }
    }
    return vv;
    }
};

我們自己寫的vector去跑這里的楊輝三角會出現(xiàn)問題。

void test_vector2()
{
	vector<vector<int>> ret = Solution().generate(5);
	for (size_t i = 0; i < ret.size(); ++i)
	{
		for (size_t j = 0; j < ret[i].size(); ++j)
		{
			cout << ret[i][j] << " ";
		}
		cout << endl;
	}
	cout << endl;
}

為了方便大家理解，我們把擴容的代碼拿下來。

void reserve(size_t n)
{
    // 記錄size
    size_t sz = size();
    if(n > capacity())
    {
        T* tmp = new T[n];
        if(_start)
        {
            memcpy(tmp, _start, size()*sizeof(T));
        	delete[] _start;
        }
        _start = tmp; // 注意,這里start位置變了
    }
    // 更新_finish、_endofstorage
    _finish = _start + sz;  
    _endofstorage = _start + n;
}

vector<vector<int>> ret = Solution().generate(5);會去調(diào)用拷貝構(gòu)造，拷貝構(gòu)造又去調(diào)用了迭代器的區(qū)間構(gòu)造函數(shù)，迭代器區(qū)間構(gòu)造函數(shù)又去調(diào)用了push_back，push_back又去調(diào)用了reserve。

因為push_back我們第一次開的空間是4，所以前4次的push_back都不會有問題，第5次push_back去調(diào)用reserve時就會出現(xiàn)問題。

因為擴容的時候tmp會把前4組的vector<int>數(shù)據(jù)memcpy下來，而memcpy是淺拷貝，拷貝下來的數(shù)據(jù)和原來的數(shù)據(jù)指向的是同一塊空間。關(guān)鍵是memcpy后又delete了舊空間，導(dǎo)致插入第5個vector<int>時前4組的數(shù)據(jù)被釋放了，成了野指針。

解決方法:

拷貝的時候不要用memcpy，使用拷貝賦值函數(shù)來完成，因為賦值函數(shù)會幫我們完成深拷貝。

void reserve(size_t n)
{
    // 記錄size
    size_t sz = size();
    if(n > capacity())
    {
        T* tmp = new T[n];
        if(_start)
        {
            //防止淺拷貝問題3
           for (size_t i = 0; i < size(); ++i)
			{
				tmp[i] = _start[i];
			}
        	delete[] _start;
        }
        _start = tmp; // 注意,這里start位置變了
    }
    // 更新_finish、_endofstorage
    _finish = _start + sz;  
    _endofstorage = _start + n;
}

到此這篇關(guān)于C++超詳細講解模擬實現(xiàn)vector的文章就介紹到這了,更多相關(guān)C++ vector內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

您可能感興趣的文章: