iis服务器助手广告广告
返回顶部
首页 > 资讯 > 后端开发 > 其他教程 >C++入门之vector的底层实现详解
  • 951
分享到

C++入门之vector的底层实现详解

2024-04-02 19:04:59 951人浏览 独家记忆
摘要

目录前言定义初始结构声明构造函数容量有关操作获取有效数据大小size()获取数据容量capacity()增加容量reserve()重置大小resize()迭代器数据操作尾插push_

前言

上一小节,我们讲解了vector的使用,也大概了解了其创建对象,增删改查数据等操作.那么今天,我们就来大致实现一下吧.

定义初始结构

在标准c++中,vector同样是一个模板,并且其底层实现用的是三个指针,然后利用这三个指针相互加减,达到存储效果.

而vector和string类似,本质是都是一个顺序表.


template <class T>
class vector
{
public:
    ~vector()
    {
        delete _start;
        _start = _finish = _end_of_storage = nullptr;
    }
private:
    T* _start;         //顺序表的头
    T* _finish;        //顺序表有效长度位置
    T* _end_of_storage; //顺序表末尾
};

声明构造函数

上一章节已经讲解,构造函数比较多,这里只是为了简单实现,所以博主就实现一个最简单的构造函数,即无参构造.


vector():_start(nullptr),_finish(nullptr),_end_of_storage(nullptr) {}

容量有关操作

获取有效数据大小size()

想要获取size,该怎么实现呢?我们在定义初始结构的时候,已经知道其底层是利用的三个指针,所以size等于_finish - _start.


size_t size() const    //加const是保证const对象也可以用
{
    return _finish - _start;
}

获取数据容量capacity()

同样的道理,capacity就应是_end_of_storage - _start;


size_t capacity() //加const是保证const对象也可以用
{
    return _end_of_storage - _start;
}

增加容量reserve()

我们在后面会实现一个接口,叫做push_back(),它的作用是把数据放进vector,但如果空间不足了呢?这就需要我们的增容函数reserve了.

其参数是无符号整型n,代表要开n个空间


void reserve(size_t n)
{
    if (n > capacity())
    {
        T* tmp = new T[n];               //先开辟一块空间
        size_t sz = size();              //保留原来的有效数据大小,且一定要先保存
        if (_start)        //一定要判断这个,因为最开始_start为空,那么就只需要开空间
        {
            memcpy(tmp, _start, sizeof(T) * n);  //把原来的数据拷贝进新空间
            delete _start;  //释放原来的空间
        }
        _start = tmp;                    //移交空间
        _finish = _start + sz;           //更新_finish
        _end_of_storage = _start + n;    //更新_end_of_storage
    }
}

重置大小resize()

这个想必大家现在已经比较习惯了吧?他有两个参数,会分情况讨论是否大于size()而进行参数赋值.


void resize(size_t n,const T& val = T())
{
    if(n>capacity()) reserve(n);
    for(size_t i = size();i<n;i++)
    {
        _start[i] = val;
    }
    _finish = _start + n;    
}

迭代器

前面讲解string的时候说过,现阶段我们就把迭代器当做一个指针,**虽然指针一定是迭代器,但是迭代器不一定是指针.**但是目前阶段我们用到的迭代器就是一个指针,因此这里便直接定义迭代器了


typedef T* iterator;              //普通迭代器
typedef const T* const_iterator;  //const迭代器
//因此返回首尾迭代器的接口,博主便一并写下来
iterator begin() {return _start;}
iterator end() {return _finish;}        //普通接口
const_iterator begin() const {return _start;}
const_iterator end() const {return _finish;}  //const接口

数据操作

尾插push_back()

该接口的实现操作一般是先检查容量是否充足,然后把数据放进去,最后size大小加一.


void push_back(const T& val)
{
    if(size() == capacity())
    {
        size_t newcapacity = size()==0?4:capacity()*2;  //需要考虑到size是否有可能为0的情况
        reserve(newcapacity);
    }
    *_finish = val;
    _finish++;
}

尾删pop_back()

实现该接口的操作一般是先检查是否还存在数据,然后size大小减一


void pop_back()
{
    assert(size()>0);
    _finish--;
}

某一位置插入 insert()

同样的道理,一般先检查容量是否充足,如果不够,需要警惕迭代器失效问题,然后移动该位置及以后的所有数据,最后插入数据.

官方文档定义其返回值为新插入数据的位置


iterator insert(iterator pos,const T& val)
{
    assert(pos>=_start && pos <= _finish);
    if(_finish == _end_of_storage)
    {
        int n = pos - _start;
        size_t newcapacity = 0 ? 4 :capacity()*2;
        pos = _start + n;      //防止pos迭代器失效
    }
    iterator cur = end();
    while(cur > pos)
    {
        *cur = *(cur-1);
        cur--;
    }
    *pos = val;
    _finish++;
    return pos;
}

某一位置删除 erase()

该接口的操作一般是从pos后位置开始,所有数据前挪一单位.但是在挪之前,需要检查是否还存在数据

官方文档定义其返回值为删除数据的下一位置


iterator erase(iterator pos)
{
    assert(pos >= _start && pos < _finish);
    iterator it = pos + 1;
    while (it != _finish)
    {
        *(it-1) = *it;
        ++it;
    }
    --_finish;
    return pos;
}

拷贝构造


vector(const vector<T>& v):_start(nullptr), _finish(nullptr), _end_of_storage(nullptr)
{
    reserve(v.capacity());
    for (const auto& e : v)
    {
        push_back(e);
    }
}

[]访问操作

上面我们实现了迭代器,但是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];
}

=赋值操作


vector<T>& operator=(vector<T> v)    //注意哦~,我这里故意写的传值参数,而不是引用,是为了下面进行交换
{
    swap(*this,v);
    return *this;
}

特别注意!!!

在实现了上面的一系列操作以后,有没有觉得我们已经大功告成了?其实这里还隐藏着一个小小bug!.为什么呢?看下面'


int main()
{
    //我们假设最开始创建的vector的容量是4
	vector<string> vc;
	vc.push_back("123");    //创建vc,并给其赋值
    vc.push_back("234");
    vc.push_back("345");
    vc.push_back("456");
    vc.push_back("567");
    return 0;
}

初一看,好像并没有什么错误哎?但是一运行就会发现,当插入第5个元素的时候,就报错了.这是什么原因呢?

调试发现,问题出在了reserve上面,因为push_back之前,会检查容量,那么我们现在重新瞅瞅 reserve存在什么问题呢?


void reserve(size_t n)
{
    if (n > capacity())
    {
        T* tmp = new T[n];               //先开辟一块空间
        size_t sz = size();              //保留原来的有效数据大小,且一定要先保存
        if (_start)        //一定要判断这个,因为最开始_start为空,那么就只需要开空间
        {
            memcpy(tmp, _start, sizeof(T) * n);  //把原来的数据拷贝进新空间
            delete _start; //释放原来的空间
        }
        _start = tmp;                    //移交空间
        _finish = _start + sz;           //更新_finish
        _end_of_storage = _start + n;    //更新_end_of_storage
    }
}

大家有发现什么问题了吗?

没错,问题出现在memcpy上面,当容量不足,reserve就会增加容量,然后把原来空间的内容值拷贝到新空间.

但是原来空间的内容也就只有三个指针呀,拷贝过去后,新空间和源空间都指向了同一块空间,而我们又会释放原空间.

所以,当继续尾插第5个元素时候,就报错了,因为空间已经不存在了!!!,被释放了.

那怎么解决呢?这里便只能用循环,把string值赋给新空间了.


void reserve(size_t n)
{
    if (n > capacity())
    {
        size_t sz = size();
        T* tmp = new T[n];
        if (_start)
        {
            for (size_t i = 0; i < sz; ++i)
            {	
                tmp[i] = _start[i];
            }
            delete[] _start;
        }
        _start = tmp;
        _finish = _start + sz;
        _endofstorage = _start + n;
    }

总结

本篇文章就到这里了,希望能够给你带来帮助,也希望您能够多多关注编程网的更多内容!

--结束END--

本文标题: C++入门之vector的底层实现详解

本文链接: https://www.lsjlt.com/news/157708.html(转载时请注明来源链接)

有问题或投稿请发送至: 邮箱/279061341@qq.com    QQ/279061341

本篇文章演示代码以及资料文档资料下载

下载Word文档到电脑,方便收藏和打印~

下载Word文档
猜你喜欢
  • C++入门之vector的底层实现详解
    目录前言定义初始结构声明构造函数容量有关操作获取有效数据大小size()获取数据容量capacity()增加容量reserve()重置大小resize()迭代器数据操作尾插push_...
    99+
    2024-04-02
  • C++ vector的底层实现分析
    这篇文章主要介绍“C++ vector的底层实现分析”,在日常操作中,相信很多人在C++ vector的底层实现分析问题上存在疑惑,小编查阅了各式资料,整理出简单好用的操作方法,希望对大家解答”C++ vector的底层实现分析”的疑惑有所...
    99+
    2023-06-25
  • C++入门之vector使用详解
    目录前言创建对象迭代器数据插入数据删除容量操作总结前言 兜兜转转,我们来到了C++的vector章节,今天就讲讲怎么使用vector吧. vector的本质就是一个线性的顺序表,只不...
    99+
    2024-04-02
  • C++入门笔记之std::vector容器详解
    目录前言1. vector的构造函数原型: 2. vector的赋值函数原型:3. vector的容量和大小函数原型:4. vector的插入和删除函数原型:5. vector的存取...
    99+
    2024-04-02
  • C语言数据结构之vector底层实现机制解析
    目录一、vector底层实现机制刨析二、vector的核心框架接口的模拟实现1.vector的迭代器实现2.reserve()扩容3.尾插尾删(push_back(),pop_bac...
    99+
    2024-04-02
  • 深入详解Vue3ref底层实现原理
    目录前言源码解析实践操作class类的get和set是什么结论前言 随着现在vue3越来越普及,相应的面试题也多了起来 说到vue3的面试题,有一个最经典的就是ref和reactiv...
    99+
    2023-05-17
    Vue3 ref实现原理 Vue3 ref原理 Vue3 ref
  • C语言中vector底层实现机制的示例分析
    这篇文章给大家分享的是有关C语言中vector底层实现机制的示例分析的内容。小编觉得挺实用的,因此分享给大家做个参考,一起跟随小编过来看看吧。一、vector底层实现机制刨析通过分析 vector 容器的源代码不难发现,它就是使用 3 个迭...
    99+
    2023-06-25
  • GoLangstrings.Builder底层实现方法详解
    目录1.strings.Builder结构体1.1strings.Builder结构体1.2Write方法1.3WriteByte方法1.4WriteRune方法1.5.WriteS...
    99+
    2024-04-02
  • GoLangchannel底层代码实现详解
    目录1.channel 简介2.channel 内部结构3.创建channel4.发送数据5.接收数据6.关闭channel7.总结1.channel 简介 Go语言有个很出名的话是...
    99+
    2024-04-02
  • C++入门之list的使用详解
    目录前言构造的使用1 构造空list2 构造含n个值为val的元素3 拷贝构造4 用迭代区间迭代器接口1 正常迭代接口2 逆向迭代接口容量接口元素访问数据修改头插头删尾插尾删pos位...
    99+
    2024-04-02
  • 详解如何实现SpringBoot的底层注解
    目录一、@Configuration注解二、@Import注解导入组件三、@Conditional注解条件装配四、@ImportResource注解导入Spring配置文件五、@Co...
    99+
    2024-04-02
  • 深入了解Golang中的Slice底层实现
    目录1 Go数组2 切片的数据结构3 创建切片3.1 方法一:make3.2 方法二:字面量4 nil和空切片5 切片扩容5.1 扩容策略5.2 底层数组是不是新地址range遍历数...
    99+
    2023-02-26
    Golang Slice实现 Golang Slice Go Slice
  • C++模拟实现vector流程详解
    目录模拟vector总结模拟vector 我们可以通过模板实现类似vector的类。我们实现一个StrVecTemp类,其内部通过allocator开辟空间,存储的类型用T来表示,T...
    99+
    2022-11-13
    C++ vector容器 C++ vector
  • C++中vector的模拟实现实例详解
    目录vector接口总览 默认成员函数 构造函数 拷贝构造 赋值重载 析构函数 迭代器相关函数 begin和end 容量相关函数 size和capacity reserve resi...
    99+
    2024-04-02
  • JAVA进阶之HashMap底层实现解析
    首先我们来通过下面的图看看JDK1.7时代的HashMap是如何通过数组+链表的形式进行值储存的。 由图中的描述可以清楚地看出来,当数组第一次被定义并且第一次被赋值的时候,这个时候...
    99+
    2024-04-02
  • Mybatis持久层框架入门之CRUD实例代码详解
    目录1、MyBatis第一个程序1.1、代码演示1.2、问题说明2、CRUD操作2.1、namespace2.2、select2.3、insert2.4、update2.5...
    99+
    2024-04-02
  • Spring注解Autowired的底层实现原理详解
    目录一、Autowired注解的用法1、概述2、应用3、具体用法二、Autowired自动装配的过程一、Autowired注解的用法 1、概述 使用spring开发时,进行配置主要有...
    99+
    2022-11-13
    Spring注解Autowired原理 Spring注解Autowired Spring Autowired
  • C++入门之内存处理详解
    目录前言C/C++内存分布c语言中动态内存管理方式C++内存管理方式new和delete操作基础类型new和delete操作自定义类型基于malloc开辟并初始化的自定义类...
    99+
    2024-04-02
  • 深入探讨golang的底层实现
    Golang是一种高效、现代化的编程语言,以其快速、简单和安全的开发模式,在近年来越来越受到开发者的欢迎。Go语言不仅支持多线程,还具有良好的并发开发能力,同时它也是一种非常底层的语言,这使得Go语言的底层实现得到了广泛关注。考虑到语言设计...
    99+
    2023-05-14
  • 深入了解Golang interface{}的底层原理实现
    目录前言interface数据结构ifaceeface总结前言 在 Go 语言没有泛型之前,接口可以作为一种替代实现,也就是万物皆为的 interface。那到底 interface...
    99+
    2024-04-02
软考高级职称资格查询
编程网,编程工程师的家园,是目前国内优秀的开源技术社区之一,形成了由开源软件库、代码分享、资讯、协作翻译、讨论区和博客等几大频道内容,为IT开发者提供了一个发现、使用、并交流开源技术的平台。
  • 官方手机版

  • 微信公众号

  • 商务合作