AI 助理
备案控制台
开发者社区 开发与运维 文章 正文

【C++初阶】STL详解（四）vector的模拟实现

2024-04-12 76
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介： 【C++初阶】STL详解（四）vector的模拟实现


vector各函数接口总览

namespace NIC
{
  //模拟实现vector
  template<class T>
  class vector
  {
  public:
    typedef T* iterator;
    typedef const T* const_iterator;
    //默认成员函数
    vector();                                           //构造函数
    vector(size_t n, const T& val);                     //构造函数
    template<class InputIterator>                      
    vector(InputIterator first, InputIterator last);    //构造函数
    vector(const vector<T>& v);                         //拷贝构造函数
    vector<T>& operator=(const vector<T>& v);           //赋值运算符重载函数
    ~vector();                                          //析构函数
    //迭代器相关函数
    iterator begin();
    iterator end();
    const_iterator begin()const;
    const_iterator end()const;
    //容量和大小相关函数
    size_t size()const;
    size_t capacity()const;
    void reserve(size_t n);
    void resize(size_t n, const T& val = T());
    bool empty()const;
    //修改容器内容相关函数
    void push_back(const T& x);
    void pop_back();
    void insert(iterator pos, const T& x);
    iterator erase(iterator pos);
    void swap(vector<T>& v);
    //访问容器相关函数
    T& operator[](size_t i);
    const T& operator[](size_t i)const;
  private:
    iterator _start=nullptr;        //指向容器的头
    iterator _finish=nullptr;       //指向有效数据的尾
    iterator _endofstorage=nullptr; //指向容器的尾
  };
}

注：为了防止与标准库当中的vector产生命名冲突，模拟实现时需放在自己的命名空间当中。

vector当中的成员变量介绍

在vector当中有三个成员变量_start、_finish、_endofstorage。

_start指向容器的头，_finish指向容器当中有效数据的尾，_endofstorage指向整个容器的尾。

或许有人好奇，为什么是这样定义的呢？在之前的顺序表实现中，我们采用的是：

这就需要我们看一下在SLT源库中是怎么实现的。

这是vector中所包含的头文件，这里我们打开一下vector.h来看一下：

在vector.h中，我们可以看到，在这个摸版中，迭代器采用的是start,finish与end_of_storage，其实也就是我们按照之前定义的那样，基本是保持一致的。

我们模拟实现时基本按照库里面的实现方式来进行模拟实现。

以下是stl源码展示：

对于我们初学者来说，现在阅读源码会产生困难，但我们现在刚开始学习stl，所以在阅读时不用特别详细的阅读，只要熟悉相关的功能即可。

具体来说：

1.可以一行一行的看

2.不要研究细节，先拉框架，重点关注里面的类：成员变量与成员函数。

3.理解同时可以先猜测一下，然后想办法验证一下我们的猜测。

当然，小编也已经将STL源码上传到了gitee仓库中，可以下载在自己电脑上，方便查阅。

默认成员函数

构造函数1

vector首先支持一个无参的构造函数，对于这个无参的构造函数，我们直接将构造对象的三个成员变量都设置为空指针即可。

//构造函数1
vector()
{}

构造函数2

其次，vector还支持使用一段迭代器区间进行对象的构造。因为该迭代器区间可以是其他容器的迭代器区间，也就是说该函数接收到的迭代器的类型是不确定的，所以我们这里需要将该构造函数设计为一个函数模板，在函数体内将该迭代器区间的数据一个个尾插到容器当中即可。

//构造函数2
template<class InputIterator> //模板函数
vector(InputIterator first, InputIterator last)
{
  //将迭代器区间在[first,last)的数据一个个尾插到容器当中
  while (first != last)
  {
    push_back(*first);
    first++;
  }
}

构造函数3

此外，vector还支持构造这样一种容器，该容器当中含有n个值为val的数据。对于该构造函数，我们可以先使用reserve函数将容器容量先设置为n，然后使用push_back函数尾插n个值为val的数据到容器当中即可。

//构造函数3
vector(size_t n, const T& val= T())
{
  reserve(n); //调用reserve函数将容器容量设置为n
  for (size_t i = 0; i < n; i++) //尾插n个值为val的数据到容器当中
  {
    push_back(val);
  }
}

注意：

1）该构造函数知道其需要用于存储n个数据的空间，所以最好用reserve函数一次性开辟好空间，避免调用push_back函数时需要增容多次，导致效率降低。

2）该构造函数还需要实现一个重载函数。

vector(int n, const T& val= T())
{
  reserve(n); //调用reserve函数将容器容量设置为n
  for (int i = 0; i < n; i++) //尾插n个值为val的数据到容器当中
  {
    push_back(val);
  }
}

可以看到，这个重载函数与之不同的就是其参数n的类型不同，但这却是必要的，否则当我们使用以下代码时，编译器会优先与构造函数2相匹配。

拷贝构造函数

vector的构造函数涉及深拷贝问题，这里提供两种深拷贝的写法：

写法一：传统写法

拷贝构造的传统写法的思想是我们最容易想到的：先开辟一块与该容器大小相同的空间，然后将该容器当中的数据一个个拷贝过来即可，最后更新_finish和_endofstorage的值即可。

//传统写法
vector(const vector<T>& v)
{
  _start = new T[v.capacity()]; //开辟一块和容器v大小相同的空间
  for (size_t i = 0; i < v.size(); i++) //将容器v当中的数据一个个拷贝过来
  {
    _start[i] = v[i];
  }
  _finish = _start + v.size(); //容器有效数据的尾
  _endofstorage = _start + v.capacity(); //整个容器的尾
}

注意： 将容器当中的数据一个个拷贝过来时不能使用memcpy函数，当vector存储的数据是内置类型或无需进行深拷贝的自定义类型时，使用memcpy函数是没什么问题的，但当vector存储的数据是需要进行深拷贝的自定义类型时，使用memcpy函数的弊端就体现出来了。

例如，当vector存储的数据是string类的时候。

并且vector当中存储的每一个string都指向自己所存储的字符串。

如果此时我们使用的是memcpy函数进行拷贝构造的话，那么拷贝构造出来的vector当中存储的每个string的成员变量的值，将与被拷贝的vector当中存储的每个string的成员变量的值相同，即两个vector当中的每个对应的string成员都指向同一个字符串空间。

这显然不是我们得到的结果，那么所给代码是如何解决这个问题的呢？

代码中看似是使用普通的“=”将容器当中的数据一个个拷贝过来，实际上是调用了所存元素的赋值运算符重载函数，而string类的赋值运算符重载函数就是深拷贝，所以拷贝结果是这样的：

总结一下： 如果vector当中存储的元素类型是内置类型（int）或浅拷贝的自定义类型（Date），使用memcpy函数进行进行拷贝构造是没问题的，但如果vector当中存储的元素类型是深拷贝的自定义类型（string），则使用memcpy函数将不能达到我们想要的效果。

写法二：现代写法

拷贝构造函数的现代写法也比较简单，使用范围for（或是其他遍历方式）对容器v进行遍历，在遍历过程中将容器v中存储的数据一个个尾插过来即可。

//现代写法
vector(const vector<T>& v)
{
  reserve(v.capacity()); //调用reserve函数将容器容量设置为与v相同
  for (auto e : v) //将容器v当中的数据一个个尾插过来
  {
    push_back(e);
  }
}

注意： 在使用范围for对容器v进行遍历的过程中，变量e就是每一个数据的拷贝，然后将e尾插到构造出来的容器当中。就算容器v当中存储的数据是string类，在e拷贝时也会自动调用string的拷贝构造（深拷贝），所以也能够避免出现与使用memcpy时类似的问题。

赋值运算符重载函数

vector的赋值运算符重载当然也涉及深拷贝问题，我们这里也提供两种深拷贝的写法：

写法一：传统写法

首先判断是否是给自己赋值，若是给自己赋值则无需进行操作。若不是给自己赋值，则先开辟一块和容器v大小相同的空间，然后将容器v当中的数据一个个拷贝过来，最后更新_finish和_endofstorage的值即可。

//传统写法
vector<T>& operator=(const vector<T>& v)
{
  if (this != &v) //防止自己给自己赋值
  {
    delete[] _start; //释放原来的空间
    _start = new T[v.capacity()]; //开辟一块和容器v大小相同的空间
    for (size_t i = 0; i < v.size(); i++) //将容器v当中的数据一个个拷贝过来
    {
      _start[i] = v[i];
    }
    _finish = _start + v.size(); //容器有效数据的尾
    _endofstorage = _start + v.capacity(); //整个容器的尾
  }
  return *this; //支持连续赋值
}

注意： 这里和拷贝构造函数的传统写法类似，也不能使用memcpy函数进行拷贝

写法二：现代写法

赋值运算符重载的现代写法非常精辟，首先在右值传参时并没有使用引用传参，因为这样可以间接调用vector的拷贝构造函数，然后将这个拷贝构造出来的容器v与左值进行交换，此时就相当于完成了赋值操作，而容器v会在该函数调用结束时自动析构。

//现代写法
vector<T>& operator=(vector<T> v) //编译器接收右值的时候自动调用其拷贝构造函数
{
  swap(v); //交换这两个对象
  return *this; //支持连续赋值
}

注意： 赋值运算符重载的现代写法也是进行的深拷贝，只不过是调用的vector的拷贝构造函数进行的深拷贝，在赋值运算符重载函数当中仅仅是将深拷贝出来的对象与左值进行了交换而已。

析构函数

对容器进行析构时，首先判断该容器是否为空容器，若为空容器，则无需进行析构操作，若不为空，则先释放容器存储数据的空间，然后将容器的各个成员变量设置为空指针即可。

//析构函数
~vector()
{
  if (_start) //避免对空指针进行释放
  {
    delete[] _start; //释放容器存储数据的空间
    _start = nullptr; //_start置空
    _finish = nullptr; //_finish置空
    _endofstorage = nullptr; //_endofstorage置空
  }
}

迭代器相关函数

vector当中的迭代器实际上就是容器当中所存储数据类型的指针。

typedef T* iterator;
typedef const T* const_iterator;

begin和end

vector当中的begin函数返回容器的首地址，end函数返回容器当中有效数据的下一个数据的地址。

iterator begin()
{
  return _start; //返回容器的首地址
}
iterator end()
{
  return _finish; //返回容器当中有效数据的下一个数据的地址
}

我们还需要重载一对适用于const对象的begin和end函数，使得const对象调用begin和end函数时所得到的迭代器只能对数据进行读操作，而不能进行修改。

const_iterator begin()const
{
  return _start; //返回容器的首地址
}
const_iterator end()const
{
  return _finish; //返回容器当中有效数据的下一个数据的地址
}

此时再让我们来看看vector使用迭代器的代码也就一目了然了，实际上就是使用指针遍历容器。

vector<int> v(5, 3);
vector<int>::iterator it = v.begin();
while (it != v.end())
{
  cout << *it << " ";
  it++;
}
cout << endl;

现在我们实现了迭代器，实际上也就可以使用范围for遍历容器了，因为编译器在编译时会自动将范围for替换为迭代器的形式。

vector<int> v(5, 3);
//范围for进行遍历
for (auto e : v)
{
  cout << e << " ";
}
cout << endl;

容量和大小相关函数

size和capacity

对照着vector当中三个成员遍历各自的指向，我们可以很容易得出当前容器中的有效数据个数和最大容量。

由于两个指针相减的结果，就是这两个指针之间对应类型的数据个数，所以size可以由_finish - _start得到，而capacity可以由_endofstorage - _start得到。

size_t size()const
{
  return _finish - _start; //返回容器当中有效数据的个数
}
size_t capacity()const
{
  return _endofstorage - _start; //返回当前容器的最大容量
}

reserve

reserve规则：

 1、当n大于对象当前的capacity时，将capacity扩大到n或大于n。

 2、当n小于对象当前的capacity时，什么也不做。

reserve函数的实现思路也是很简单的，先判断所给n是否大于当前容器的最大容量（否则无需进行任何操作），操作时直接开辟一块可以容纳n个数据的空间，然后将原容器当中的有效数据拷贝到该空间，之后将原容器存储数据的空间释放，并将新开辟的空间交给该容器维护，最好更新容器当中各个成员变量的值即可。

void reserve(size_t n)
{
  if (n > capacity()) //判断是否需要进行操作
  {
    size_t sz = size(); //记录当前容器当中有效数据的个数
    T* tmp = new T[n]; //开辟一块可以容纳n个数据的空间
    if (_start) //判断是否为空容器
    {
      for (size_t i = 0; i < sz; i++) //将容器当中的数据一个个拷贝到tmp当中
      {
        tmp[i] = _start[i];
      }
      delete[] _start; //将容器本身存储数据的空间释放
    }
    _start = tmp; //将tmp所维护的数据交给_start进行维护
    _finish = _start + sz; //容器有效数据的尾
    _endofstorage = _start + n; //整个容器的尾
  }
}

在reserve函数的实现当中有两个地方需要注意：

1在进行操作之前需要提前记录当前容器当中有效数据的个数。

因为我们最后需要更新_finish指针的指向，而_finish指针的指向就等于_start指针加容器当中有效数据的个数，当_start指针的指向改变后我们再调用size函数通过_finish - _start计算出的有效数据的个数就是一个随机值了。

2拷贝容器当中的数据时，不能使用memcpy函数进行拷贝。

可能你会想，当vector当中存储的是string的时候，虽然使用memcpy函数reserve出来的容器与原容器当中每个对应的string成员都指向同一个字符串空间，但是原容器存储数据的空间不是已经被释放了，相当于现在只有一个容器维护这这些字符串空间，这还有什么影响。

但是不要忘了，当你释放原容器空间的时候，原容器当中存储的每个string在释放时会调用string的析构函数，将其指向的字符串也进行释放，所以使用memcpy函数reserve出来的容器当中的每一个string所指向的字符串实际上是一块已经被释放的空间，访问该容器时就是对内存空间进行非法访问。

所以说我们还是得用for循环将容器当中的string一个个赋值过来，因为这样能够间接调用string的赋值运算符重载，实现string的深拷贝。

resize

resize规则：

 1、当n大于当前的size时，将size扩大到n，扩大的数据为val，若val未给出，则默认为容器所存储类型的默认构造函数所构造出来的值。

 2、当n小于当前的size时，将size缩小到n。

根据resize函数的规则，进入函数我们可以先判断所给n是否小于容器当前的size，若小于，则通过改变_finish的指向，直接将容器的size缩小到n即可，否则先判断该容器是否需要增容，然后再将扩大的数据赋值为val即可。

void resize(size_t n, const T& val = T())
{
  if (n < size()) //当n小于当前的size时
  {
    _finish = _start + n; //将size缩小到n
  }
  else //当n大于当前的size时
  {
    if (n > capacity()) //判断是否需要增容
    {
      reserve(n);
    }
    while (_finish < _start + n) //将size扩大到n
    {
      *_finish = val;
      _finish++;
    }
  }
}

注意： 在C++当中内置类型也可以看作是一个类，它们也有自己的默认构造函数，所以在给resize函数的参数val设置缺省值时，设置为T( )即可。

empty

empty函数可以直接通过比较容器当中的_start和_finish指针的指向来判断容器是否为空，若所指位置相同，则该容器为空。

bool empty()const
{
  return _start == _finish;
}

修改容器内容相关函数

push_back

要尾插数据首先得判断容器是否已满，若已满则需要先进行增容，然后将数据尾插到_finish指向的位置，再将_finish++即可。

//尾插数据
void push_back(const T& x)
{
  if (_finish == _endofstorage) //判断是否需要增容
  {
    size_t newcapacity = capacity() == 0 ? 4 : 2 * capacity(); //将容量扩大为原来的两倍
    reserve(newcapacity); //增容
  }
  *_finish = x; //尾插数据
  _finish++; //_finish指针后移
}

pop_back

尾删数据之前也得先判断容器是否为空，若为空则做断言处理，若不为空则将_finish–即可。

//尾删数据
void pop_back()
{
  assert(!empty()); //容器为空则断言
  _finish--; //_finish指针前移
}

insert

insert函数可以在所给迭代器pos位置插入数据，在插入数据前先判断是否需要增容，然后将pos位置及其之后的数据统一向后挪动一位，以留出pos位置进行插入，最后将数据插入到pos位置即可。

//在pos位置插入数据
void insert(iterator pos, const T& x)
{
    assert(pos >= _start);
    assert(pos <= _finish);
  if (_finish == _endofstorage) //判断是否需要增容
  {
    size_t len = pos - _start; //记录pos与_start之间的间隔
    size_t newcapacity = capacity() == 0 ? 4 : 2 * capacity(); //将容量扩大为原来的两倍
    reserve(newcapacity); //增容
    pos = _start + len; //通过len找到pos在增容后的容器当中的位置
  }
  //将pos位置及其之后的数据统一向后挪动一位，以留出pos位置进行插入
  iterator end = _finish;
  while (end >= pos + 1)
  {
    *end = *(end - 1);
    end--;
  }
  *pos = x; //将数据插入到pos位置
  _finish++; //数据个数增加一个，_finish后移
}

注意： 若需要增容，则需要在增容前记录pos与_start之间的间隔，然后通过该间隔确定在增容后的容器当中pos的指向，否则pos还指向原来被释放的空间。

erase

erase函数可以删除所给迭代器pos位置的数据，在删除数据前需要判断容器释放为空，若为空则需做断言处理，删除数据时直接将pos位置之后的数据统一向前挪动一位，将pos位置的数据覆盖即可。

//删除pos位置的数据
iterator erase(iterator pos)
{
  assert(!empty()); //容器为空则断言
  //将pos位置之后的数据统一向前挪动一位，以覆盖pos位置的数据
  iterator it = pos + 1;
  while (it != _finish)
  {
    *(it - 1) = *it;
    it++;
  }
  _finish--; //数据个数减少一个，_finish前移
  return pos;
}

swap

swap函数用于交换两个容器的数据，我们可以直接调用库当中的swap函数将两个容器当中的各个成员变量进行交换即可。

void swap(vector<T>& v)
{
  std::swap(_start, v._start);
  std::swap(_finish, v._finish);
  std::swap(_endofstorage, v._endofstorage);
}

访问容器相关函数

operator[ ]

vector也支持我们使用“下标+[ ]”的方式对容器当中的数据进行访问，实现时直接返回对应位置的数据即可。

T& operator[](size_t i)
{
  assert(i < size()); //检测下标的合法性
  return _start[i]; //返回对应数据
}
const T& operator[](size_t i)const
{
  assert(i < size()); //检测下标的合法性
  return _start[i]; //返回对应数据
}

注意： 重载运算符[ ]时需要重载一个适用于const容器的，因为const容器通过“下标+[ ]”获取到的数据只允许进行读操作，不能对数据进行修改。

测试相关接口函数：

测试1.对元素的访问->迭代器.运算符重载[]

将容器V1按照[]访问，按照迭代器访问，按照范围for访问。

void test_vector1()
{
  vector<int> v;
  v.push_back(1);
  v.push_back(2);
  v.push_back(3);
  v.push_back(4);
  v.push_back(5);
  for (size_t i = 0; i < v.size(); i++)
  {
    cout << v[i] << " ";
  }
  cout << endl;
  vector<int>::iterator it = v.begin();
  while (it != v.end())
  {
    *it *= 10;
    cout << *it << " ";
    ++it;
  }
  cout << endl;
  for (auto e : v)
  {
    cout << e << " ";
  }
  cout << endl;
}

测试结果：

测试2.resize

测试resize

void test_vector2()
{
  
  vector<int> v1;
  v1.push_back(1);
  v1.push_back(2);
  v1.push_back(3);
  v1.push_back(4);
  v1.push_back(5);
  v1.resize(10);
  vector<string> v2;
  //v2.resize(10, string("xxx"));
  v2.resize(10, "xxx");
  for (auto e : v1)
  {
    cout << e << " ";
  }
  cout << endl;
  for (auto e : v2)
  {
    cout << e << " ";
  }
  cout << endl;
}

测试3.insert

测试Insert

void test_vector3()
{
  vector<int> v;
  v.push_back(1);
  v.push_back(2);
  v.push_back(3);
  v.push_back(4);
  v.push_back(5);
  v.push_back(6);
  v.push_back(7);
  for (auto e : v)
  {
    cout << e << " ";
  }
  cout << endl;
  vector<int>::iterator it = v.begin() + 2;
  v.insert(it, 30);
  for (auto e : v)
  {
    cout << e << " ";
  }
  cout << endl;
  //v.insert(v.begin(), 30);
  v.insert(v.begin() + 3, 30);
  for (auto e : v)
  {
    cout << e << " ";
  }
  cout << endl;
}

测试4.erase

测试rease

void test_vector4()
{
  vector<int> v;
  v.push_back(1);
  v.push_back(2);
  v.push_back(3);
  v.push_back(4);
  v.push_back(5);
  v.push_back(6);
  v.push_back(7);
  for (auto e : v)
  {
    cout << e << " ";
  }
  cout << endl;
  auto pos = v.begin();
  v.erase(pos);
  for (auto e : v)
  {
    cout << e << " ";
  }
  cout << endl;
  v.erase(v.begin() + 3);
  for (auto e : v)
  {
    cout << e << " ";
  }
  cout << endl;
}

测试5.赋值重载与拷贝构造：

定义v1，然后拷贝给v2,在将v3赋值给v1:

void test_vector7()
{
  vector<int> v1;
  v1.push_back(1);
  v1.push_back(1);
  v1.push_back(1);
  v1.push_back(1);
  v1.push_back(1);
  //拷贝构造
  vector<int> v2(v1);
  cout << "v1为" << endl;
  for (auto e : v1)
  {
    cout << e << " ";
  }
  cout << endl;
  cout << "拷贝v2为" << endl;
  for (auto e : v2)
  {
    cout << e << " ";
  }
  cout << endl;
  vector<int> v3;
  v3.push_back(10);
  v3.push_back(20);
  v3.push_back(30);
  v3.push_back(40);
  v1 = v3;
  cout << "赋值后v1为" << endl;
  for (auto e : v1)
  {
    cout << e << " ";
  }
  cout << endl;
}

测试结果：

vector模拟实现源码展示：

模拟实现中，我们没有进行对其定义与声明分离，而是将测试函数写成成员函数包装在命名空间里。

vector.h

#pragma once
#include<assert.h>
namespace NIC
{
  template<class T>
  class vector
  {
  public:
    typedef T* iterator;
    typedef const T* const_iterator;
    iterator begin()
    {
      return _start;
    }
    iterator end()
    {
      return _finish;
    }
    const_iterator begin() const
    {
      return _start;
    }
    const_iterator end() const
    {
      return _finish;
    }
    vector()
    {}
    //构造2：
    template <class InputIterator>
    vector(InputIterator first, InputIterator last)
    {
      while (first != last)
      {
        push_back(*first);
        ++first;
      }
    }
    //构造3
    vector(size_t n, const T& val = T())
    {
      reserve(n);
      for (size_t i = 0; i < n; i++)
      {
        push_back(val);
      }
    }
    vector(int n, const T& val = T())
    {
      reserve(n);
      for (int i = 0; i < n; i++)
      {
        push_back(val);
      }
    }
    // v2(v1)
    //拷贝构造：现代写法：
    vector(const vector<T>& v)
    {
      reserve(v.capacity());
      for (auto& e : v)
      {
        push_back(e);
      }
    }
    void swap(vector<T>& v)
    {
      std::swap(_start, v._start);
      std::swap(_finish, v._finish);
      std::swap(_endofstorage, v._endofstorage);
    }
    // v1 = v3
    vector<T>& operator=(vector<T> tmp)
    {
      swap(tmp);
      return *this;
    }
    ~vector()
    {
      delete[] _start;
      _start = _finish = _endofstorage = nullptr;
    }
    void reserve(size_t n)
    {
      if (n > capacity())
      {
        T* tmp = new T[n];
        size_t sz = size();
        if (_start)
        {
          //memcpy(tmp, _start, sizeof(T) * sz);
          for (size_t i = 0; i < sz; i++)
          {
            tmp[i] = _start[i];
          }
          delete[] _start;
        }
        _start = tmp;
        _finish = _start + sz;
        _endofstorage = _start + n;
      }
    }
    // T int
    // T string
    // T vector<int>
    //void resize(size_t n, T val = T())
    void resize(size_t n, const T& val = T())
    {
      if (n <= size())
      {
        _finish = _start + n;
      }
      else
      {
        reserve(n);
        while (_finish < _start + n)
        {
          *_finish = val;
          ++_finish;
        }
      }
    }
    void push_back(const T& x)
    {/*
      if (_finish == _endofstorage)
      {
        reserve(capacity() == 0 ? 4 : capacity() * 2);
      }
      *_finish = x;
      ++_finish;*/
      insert(end(), x);
    }
    void insert(iterator pos, const T& x)
    {
      assert(pos >= _start);
      assert(pos <= _finish);
      if (_finish == _endofstorage)
      {
        size_t len = pos - _start;
        reserve(capacity() == 0 ? 4 : capacity() * 2);
        pos = _start + len;
      }
      iterator end = _finish - 1;
      while (end >= pos)
      {
        *(end + 1) = *end;
        --end;
      }
      *pos = x;
      ++_finish;
    }
    iterator erase(iterator pos)
    {
      assert(pos >= _start);
      assert(pos < _finish);
      iterator it = pos + 1;
      while (it < _finish)
      {
        *(it - 1) = *it;
        ++it;
      }
      --_finish;
      return pos;
    }
    T& operator[](size_t pos)
    {
      assert(pos < size());
      return _start[pos];
    }
    const T& operator[](size_t pos) const
    {
      assert(pos < size());
      return _start[pos];
    }
    size_t capacity() const
    {
      return _endofstorage - _start;
    }
    size_t size() const
    {
      return _finish - _start;
    }
  private:
    iterator _start = nullptr;
    iterator _finish = nullptr;
    iterator _endofstorage = nullptr;
  };
  void test_vector1()
  {
    vector<int> v;
    v.push_back(1);
    v.push_back(2);
    v.push_back(3);
    v.push_back(4);
    v.push_back(5);
    for (size_t i = 0; i < v.size(); i++)
    {
      cout << v[i] << " ";
    }
    cout << endl;
    vector<int>::iterator it = v.begin();
    while (it != v.end())
    {
      *it *= 10;
      cout << *it << " ";
      ++it;
    }
    cout << endl;
    for (auto e : v)
    {
      cout << e << " ";
    }
    cout << endl;
  }
  void test_vector2()
  {
    
    vector<int> v1;
    v1.push_back(1);
    v1.push_back(2);
    v1.push_back(3);
    v1.push_back(4);
    v1.push_back(5);
    v1.resize(10);
    vector<string> v2;
    //v2.resize(10, string("xxx"));
    v2.resize(10, "xxx");
    for (auto e : v1)
    {
      cout << e << " ";
    }
    cout << endl;
    for (auto e : v2)
    {
      cout << e << " ";
    }
    cout << endl;
  }
  void test_vector3()
  {
    vector<int> v;
    v.push_back(1);
    v.push_back(2);
    v.push_back(3);
    v.push_back(4);
    v.push_back(5);
    v.push_back(6);
    v.push_back(7);
    for (auto e : v)
    {
      cout << e << " ";
    }
    cout << endl;
    vector<int>::iterator it = v.begin() + 2;
    v.insert(it, 30);
    for (auto e : v)
    {
      cout << e << " ";
    }
    cout << endl;
    //v.insert(v.begin(), 30);
    v.insert(v.begin() + 3, 30);
    for (auto e : v)
    {
      cout << e << " ";
    }
    cout << endl;
  }
  void test_vector4()
  {
    vector<int> v;
    v.push_back(1);
    v.push_back(2);
    v.push_back(3);
    v.push_back(4);
    v.push_back(5);
    v.push_back(6);
    v.push_back(7);
    for (auto e : v)
    {
      cout << e << " ";
    }
    cout << endl;
    auto pos = v.begin();
    v.erase(pos);
    for (auto e : v)
    {
      cout << e << " ";
    }
    cout << endl;
    v.erase(v.begin() + 3);
    for (auto e : v)
    {
      cout << e << " ";
    }
    cout << endl;
  }
  //void test_vector5()
  //{
  //  // 1 2 3 4 5
  //  // 1 2 3 4 5 6
  //  // 2 2 3 4 5
  //  std::vector<int> v;
  //  v.push_back(1);
  //  v.push_back(2);
  //  v.push_back(3);
  //  v.push_back(4);
  //  v.push_back(5);
  //  //v.push_back(6);
  //  for (auto e : v)
  //  {
  //    cout << e << " ";
  //  }
  //  cout << endl;
  //  auto it = v.begin();
  //  while (it != v.end())
  //  {
  //    // vs2019进行强制检查，erase以后认为it失效了，不能访问，访问就报错
  //    if (*it % 2 == 0)
  //    {
  //      v.erase(it);
  //    }
  //    ++it;
  //  }
  //  for (auto e : v)
  //  {
  //    cout << e << " ";
  //  }
  //  cout << endl;
  //}
  void test_vector5()
  {
    //std::vector<int> v;
    vector<int> v;
    v.push_back(1);
    v.push_back(2);
    v.push_back(3);
    v.push_back(4);
    v.push_back(4);
    v.push_back(5);
    v.push_back(6);
    for (auto e : v)
    {
      cout << e << " ";
    }
    cout << endl;
    auto it = v.begin();
    while (it != v.end())
    {
      if (*it % 2 == 0)
      {
        it = v.erase(it);
      }
      else
      {
        ++it;
      }
    }
    for (auto e : v)
    {
      cout << e << " ";
    }
    cout << endl;
  }
  void test_vector6()
  {
    vector<string> v;
    v.push_back("111111111111111111111");
    v.push_back("111111111111111111111");
    v.push_back("111111111111111111111");
    v.push_back("111111111111111111111");
    v.push_back("111111111111111111111");
    for (auto e : v)
    {
      cout << e << " ";
    }
    cout << endl;
  }
  void test_vector7()
  {
    vector<int> v1;
    v1.push_back(1);
    v1.push_back(1);
    v1.push_back(1);
    v1.push_back(1);
    v1.push_back(1);
    //拷贝构造
    vector<int> v2(v1);
    cout << "v1为" << endl;
    for (auto e : v1)
    {
      cout << e << " ";
    }
    cout << endl;
    cout << "拷贝v2为" << endl;
    for (auto e : v2)
    {
      cout << e << " ";
    }
    cout << endl;
    vector<int> v3;
    v3.push_back(10);
    v3.push_back(20);
    v3.push_back(30);
    v3.push_back(40);
    v1 = v3;
    cout << "赋值后v1为" << endl;
    for (auto e : v1)
    {
      cout << e << " ";
    }
    cout << endl;
  }
  void test_vector8()
  {
    //vector<int> v0(10, 0);
    vector<string> v1(10, "xxxx");
    for (auto e : v1)
    {
      cout << e << " ";
    }
    cout << endl;
    vector<int> v2;
    v2.push_back(10);
    v2.push_back(20);
    v2.push_back(30);
    v2.push_back(40);
    vector<int> v3(v2.begin(), v2.end());
    string str("hello world");
    vector<int> v4(str.begin(), str.end());
    for (auto e : v3)
    {
      cout << e << " ";
    }
    cout << endl;
    for (auto e : v4)
    {
      cout << e << " ";
    }
    cout << endl;
  }
}

test.c

test.c用于测试我们实现的相关接口函数：

#define _CRT_SECURE_NO_WARNINGS 1
#include<iostream>
#include<vector>
#include<string>
using namespace std;
#include "vector.h"
int main()
{
  NIC::test_vector7();
  return 0;
}


文章标签：
容器
存储
C++
编译器
关键词：
C++ vector
C++ stl
C++ stl vector
C++初阶
C++初阶stl vector
小小unicorn
目录
相关文章
Svan.
|
1月前
|
存储 程序员 C++
C++常用基础知识—STL库(2)
C++常用基础知识—STL库(2)
Svan.
69 5
白子寰
|
1月前
|
存储 C++ 索引
【C++打怪之路Lv9】-- vector
【C++打怪之路Lv9】-- vector
白子寰
20 1
Svan.
|
1月前
|
存储 自然语言处理 程序员
C++常用基础知识—STL库(1)
C++常用基础知识—STL库(1)
Svan.
52 1
努力学习的小廉
|
1月前
|
编译器 C++
【C++】—— vector模拟实现
【C++】—— vector模拟实现
努力学习的小廉
32 1
努力学习的小廉
|
1月前
|
算法 安全 Linux
【C++STL简介】——我与C++的不解之缘（八）
【C++STL简介】——我与C++的不解之缘（八）
努力学习的小廉
61 1
蓝易云
|
1月前
|
算法 数据处理 C++
c++ STL划分算法；partition()、partition_copy()、stable_partition()、partition_point()详解
这些算法是C++ STL中处理和组织数据的强大工具，能够高效地实现复杂的数据处理逻辑。理解它们的差异和应用场景，将有助于编写更加高效和清晰的C++代码。
蓝易云
22 0
禁默
|
1月前
|
算法 C++ 容器
C++之打造my vector篇（下）
C++之打造my vector篇（下）
禁默
26 0
禁默
|
1月前
|
存储 编译器 C++
C++之打造my vector篇（上）
C++之打造my vector篇（上）
禁默
25 0
努力学习的小廉
|
1月前
|
算法 C++ 容器
【C++】—— vector使用
【C++】—— vector使用
努力学习的小廉
34 0
徐霞客320
|
1月前
|
存储 缓存 C++
C++番外篇——list与vector的比较
C++番外篇——list与vector的比较
徐霞客320
21 0