vector的讲解及模拟实现(c++)

为了方便大家理解我们边模拟实现vector容器的常用操作,然后根据代码讲解如何使用vector的这些功能,这样的话相信可以帮助大家更好的理解vector.

目录

一.vector的介绍

二.vector模拟实现的讲解

1.vector的模块分类

 2.模拟实现时vector的定义及成员变量.

三.vector的迭代器

1.T*和const  T*

2.begin()和end()

3.cbegin()和cend()

四.vector构造函数

1.无参的构造函数

2.以n个value为成员的构造函数

3.以区间来初始化对象的构造函数

4.拷贝构造函数

5.赋值运算符重载

6.析构函数

五.vector的容量管理

1.返回有效元素个数.

2.返回容器的容量.

3.对容器进行扩容

4.改变有效元素的个数

六.vector中元素的访问.

1.以[ ]的方式访问容器当中的元素

七.vector中元素的修改

1.尾插和尾删

2.自定义的swap

3.任意位置的元素插入

4.任意位置元素的删除

八.vector中的迭代器失效问题

1.什么是迭代器失效?

2.对于vector可能会导致其迭代器失效的操作有

3.扩展


一.vector的介绍

什么是vector以及同其他容器相比的优缺点:

1. vector是表示可变大小数组的序列容器.(因此其空间存在于堆上)

2. 就像数组一样,vector也采用的连续存储空间来存储元素,也就是意味着可以采用下标对vector的元素进行访问,和数组一样高效,但是又不像数组,它的大小是可以动态改变的,而且它的大小会被容器自动处理.(在我们向vector中插入元素的时候,该容器会在代码中判断容器的空间是否够用,不够则要进行扩容)

3. 本质讲,vector使用动态分配数组来存储它的元素,当新元素插入时候,这个数组需要被重新分配大小为了增加存储空间,其做法是,分配一个新的数组,然后将全部元素移到这个数组,就时间而言,这是一个相对代价高的任务,因此每当一个新的元素加入到容器的时候,vector并不会每次都重新分配大小.

4. vector分配空间策略:  vector会分配一些额外的空间以适应可能的增长,因为存储空间比实际需要的存储空间更大,不同的库采用不同的策略权衡空间的使用和重新分配,但是无论如何,重新分配都应该是对数增长的间隔大小,以至于在末尾插入一个元素的时候是在常数时间的复杂度完成的.

5. 因此,vector占用了更多的存储空间,为了获得管理存储空间的能力,以一种有效的方式动态增长.

6. 与其它动态序列容器相比  (deques, lists and forward_lists) vector在访问元素的时候更加高效,在末尾添加和删除元素相对高效,对于其它不在末尾的删除和插入操作,效率更低,比起lists和forward_lists统一的迭代器和引用更好.

7.使用时主要包含头文件: #include <vector>

上面这几点没看懂也没关系,我们接下来会对其进行一一讲解.

二.vector模拟实现的讲解

1.vector的模块分类

c++底层在实现vector的时候是将其分成5个模块进行实现(而我们也是针对这5个模块中常用的内容进行实现和讲解):

分别为:

1.构造函数.(主要实现我们使用vector如何创建时初始化数组和结束时销毁数组)

在c++98的文档中的相关声明:

 2.迭代器.(STL中的迭代器主要就是为了方便我们对容器进行遍历和操作才出现的,切记不同的容器都拥有自己的迭代器,不同的容器迭代器也不同,而对于vector的迭代器我们可以将其看做一个原生态的指针,指向vector所创建出来的数组的不同位置.)

在c++98的文档中的相关声明:

 3.容量相关操作.(主要有获取数组的容量大小,数组的有效元素个数,判断数组是否为空,对数组进行手动扩容,改变数组的有效元素个数等等操作)

在c++98的文档中的相关声明:

 4.访问数组元素.(对[ ]进行重载,让我们在使用vector的时候可以很方便的访问数组元素).

在c++98的文档中的相关声明:

 5.数组中元素的修改.(主要包括了增删改查等方面的操作,查在上面模块已经出现,这里就不进行讲解了)

在c++98的文档中的相关声明:

 2.模拟实现时vector的定义及成员变量.

我们得先了解一下vector模拟实现时的框架,这样才可以帮助我们更好的理解下面的内容.

1.在其中我们针对vector的5个模块的相关操作函数进行了声明,之后则会进行分别实现和讲解.

2.因为vector是一个可以针对于各个类型数据存储的容器,因此我们采用模板类的方式进行编写.(将数据的类型作为模板参数)

3.我们所实现的vector的类名是和c++系统中的vector冲突的,因此我们将其放到自己的命名空间中进行实现.

namespace lz {

    template<class T>
    class vector {

    public:

        // Vector的迭代器是一个原生指针
        typedef T* iterator;

        typedef const T* const_iterator;

		iterator begin();

		iterator end();

		const_iterator cbegin() const;

		const_iterator cend() const;

        // construct and destroy

		vector();

		vector(int n, const T& value = T());

        template<class InputIterator>
        vector(InputIterator first, InputIterator last);

        vector(const vector<T>& v);

        vector<T>& operator= (vector<T> v);

        ~vector();

        // capacity

        size_t size() const;

        size_t capacity() const;

        void reserve(size_t n);

        void resize(size_t n, const T& value = T());

        ///access///

        T& operator[](size_t pos);

        const T& operator[](size_t pos)const;

        ///modify/

        void push_back(const T& x);

        void pop_back();

        void swap(vector<T>& v);

        iterator insert(iterator pos, const T& x);

        iterator erase(iterator pos);

        void output();
    private:

        iterator _start; // 指向数据块的开始

        iterator _finish; // 指向有效数据的尾

        iterator _endOfStorage; // 指向存储容量的尾

    };

}

三.vector的迭代器

1.T*和const  T*

对T*和const T*这两个原生态指针类型我们就可以将其看做迭代器类型(在存储空间连续的容器中大都如此),首先将这两个重命名方便我们后续的使用,并与c++系统的vector保持一致.

   typedef T* iterator;

   typedef const T* const_iterator;

2.begin()和end()

我们使用begin()函数会返回一个指向容器首元素的迭代器,而使用end()则会返回一个指向容器最后一个元素后一位的迭代器.(因为vector中的迭代器等同于原生态的指针,因此迭代器指向某个元素则意味着其存储着这个元素的地址)

        iterator begin() {
            return _start;
        }

        iterator end() {
            return _finish;
        }

3.cbegin()和cend()

这里的cbegin()和cend()和我们前面看到的begin()和end()相同,区别在于其返回值类型,前面的是普通类型,而这里返回的则是const类型,只允许访问,不能修改.

        const_iterator cbegin() const {
            return _start;
        }

        const_iterator cend() const {
            return _finish;
        }

注意:

我们使用迭代器进行容器的相关操作虽然很方便,但是必须要注意迭代器失效的问题,在后面我们会根据实例,对vector中的迭代器失效问题进行一一讲解.

四.vector构造函数

1.无参的构造函数

a.说明:

我们使用vector<int>  a; 创建一个对象a时,编译器会调用其构造函数对该对象进行初始化,三个指针都指向同一块空间,此时空间中没有元素,因为我们要求的是_start指向第一个元素,_finish指向最后一个元素的后一位,而这里_start和_finish在同一个位置,那我们就认为容器中元素个数为0.(_endOfStorage指向空间的最后一位)

b.测试:

代码: lz::vector<int> a1;

c.运行结果:

我们可以看到此时: a1中三个指针的值相同,说明其都指向同一块空间.

        vector()
            :_start(nullptr)
            ,_finish(nullptr)
            ,_endOfStorage(nullptr)
        {
            _start = new T[1];
            _finish = _start;
            _end
  • 26
    点赞
  • 35
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 16
    评论
评论 16
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

陆陆陆ovo

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值