【C++】C++ STL探索:Vector使用与背后底层逻辑(二)

简介: 【C++】C++ STL探索:Vector使用与背后底层逻辑

【C++】C++ STL探索:Vector使用与背后底层逻辑(一)https://developer.aliyun.com/article/1617341


2.10 resize(重点常用)

//重点实现resize
void resize(size_t n, const T& val = T())
{
    //缩容
    if (n <= size())
    {
        //类似截断
        _finish = _start + n;
    }
    else
    {
        //提前扩容
        //大于capacity才起作用
        reserve(n);
        while (_finish < _start + n)
        {
            *_finish = val;
            _finish++;
        }
    }
}

具体说明:虽然没有reserve这么多坑,但是有几个知识点值得我们注意。

2.10.1 const T& val = T()解释

  • 对于T可能是内置类型或自定义类型,对于自定义类型不能通过简单常量作为缺省值,所以选择了T()调用构造函数作为缺省值最合适。
  • 对于内置类型不是说没有构造函数这一说法吗?好的,内置类型被迫升级下。内置类型也有了自己的构造函数和析构函数(平常一般不使用),int就是0(char也是整型 ASCII码)、double就是0.0、指针就是空指针。
  • 因为缺省值怎么给都不合理,只能用自身的构造(匿名对象实例化)

2.11 单或多参数构造支持隐式类型转化

string str="1111";//构造+拷贝构造-->优化 直接构造
const string& str1="1111";//构造临时对象,引用的是临时对象
vector<string>v;
v.push_back(str);
v.push_back(string("2222"));
v.push_back("33333");

隐式类型+优化的情况:

vector<int> v1={1,2,3,4,5};
vector<int> v2({1,2,3,4,5}) //直接构造

2.12 insert

2.12.1 insert使用

void insert(iterator pos, const T& val)
    {
        assert(_start <= pos);
        assert(pos <= _finish);
        //考虑是否需要扩容
        //说明空间已经满了
        if (_finish == _end_of_storage)
        {
            reserve(capacity() == 0 ? 4 : capacity() * 2);
        }
        //开始移动数据
        iterator it = _finish - 1;
        while (it >= pos)
        {
            *(it + 1) = *it;
            it--;
        }
        *pos = val;
        _finish++;
    }

具体说明:使用迭代器去模拟实现insert比起string模拟实现,在 while (it >= pos)没有pos为0的坑。涉及到开辟或销毁空间时,都有可能涉及到迭代器失效,对此都需要考虑到位。

2.13 扩容前迭代器失效

void test_vector()
{
    vector<int> v1;
    v1.push_back(1);
    v1.push_back(2);
    v1.push_back(3);
    v1.push_back(4);
    v1.push_back(5);
    v1.push_back(6);
    v1.push_back(7);
    v1.push_back(8);
    print_vector(v1);
    vector<int>::iterator it = v1.begin() + 3;
    v1.insert(it, 40);
    print_vector(v1);
    cout << *it << endl;
}

问题:在进行insert操作后,迭代器it就会失效

思考:在扩容接口中,不是解决迭代器失效的问题了吗?

具体说明

在调用insert接口是it传参pos位置,而形参是实参的一份临时拷贝,那么需要传引用解决。一波未平一波又起,如果传引用v2.insert(v2.begin(),11.11),这里v2.begin()返回的是临时变量,不能通过引用来接收。

没有给出解决办法,调用insert接口出现扩容操作,迭代器会失效,不要去使用

2.14 erase

2.14.1 erase使用

//迭代器实现erase
iterator erase(iterator pos)
{
    assert(_start <= pos);
    //删除不到_finish这个位置
    assert(pos < _finish);
    iterator it = pos+1;
    //it=pos+1=_finish就是最后一个位置
    while (it <= _finish)
    {
        *(it - 1) = *(it);
        it++;
    }
    _finish--;
    return pos;
}

2.14.2 验证迭代器失效

接下来我将给出三个场景:都是关于删除偶数

第一个场景:没啥问题

vector<int> v1;
    v1.push_back(1);
    v1.push_back(2);
    v1.push_back(3);
    v1.push_back(4);
    v1.push_back(5);
    vector<int>::iterator it = v1.begin();
    while (it != v1.end())
    {
      if (*it % 2 == 0)
      {
        v1.erase(it);
      }
      ++it;
    }

第二个场景:少删除

vector<int> v1;
    v1.push_back(1);
    v1.push_back(2);
    v1.push_back(3);
    v1.push_back(4);
    v1.push_back(4);
    v1.push_back(5);
    vector<int>::iterator it = v1.begin();
    while (it != v1.end())
    {
      if (*it % 2 == 0)
      {
        v1.erase(it);
      }
      ++it;
    }

第三个场景:迭代器失效

vector<int> v1;
v1.push_back(1);
v1.push_back(2);
v1.push_back(3);
v1.push_back(4);
v1.push_back(5);
v1.push_back(4);

关于上面出现的问题分析:

  • 在erase的逻辑是通移动数据覆盖不需要的数据,达到删除的效果。逻辑上会跳过一个值,移动++可能会导致错过了一些值。
  • 如果it++操作跳过end(),it就会一路向北,错过了判断条件

解决措施:

vector<int>::iterator it = v1.begin();
while (it != v1.end())
{
    if (*it % 2 == 0)
    {
        v1.erase(it);
    }
    else
    {
        it++;
    }
}
print_vector(v1);

2.14.3缩容导致迭代器失效

上面解决措施在Linux下还可以,但是在Vs下就不行了。由于因为Vs下的iterator没有使用原生指针实现,是自定义类型的迭代器,内部会进行强制类型检查。

对于erase不同编译器迭代器是不同的,erase也可能会缩容。erase迭代器的解决方案有两个:迭代器失效以后不要直接使用,如果要使用按照规则重新更新后使用。

vector<int>::iterator it = v1.begin();
  while (it != v1.end())
  {
    if (*it % 2 == 0)
    {
      it=v1.erase(it);
    }
    else
    {
      it++;
    }
  }

这样子就可以适应不同的版本,缩容以后。迭代器还是但会删除原生的下一个迭代器。

2.15 push_back

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

2.16 pop_back

void pop_back()
{
    /*assert(!empty());
                --_finish;*/
    erase(end()-1);
}

2.17 pop_back

void pop_back()
{
    /*assert(!empty());
                --_finish;*/
    erase(end()-1);
}

2.18 empty 判断空

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

2.19 print_vector 打印数据

为了实现适用于不同类型的打印,这里需要涉及一个函数模板

void print_vector(const vector<T>& v)
{
    //下标加[]
    for (size_t i = 0; i < v.size(); i++)
    {
        cout << v[i] << " ";
    }
    cout << endl;
    //迭代器
    vector<T>::const_iterator it = v.begin();
    while (it != v.end())
    {
        cout << *it << " ";
        ++it;
    }
    cout << endl;
    //范围for
    for (auto e : v)
    {
        cout << e << " ";
    }
    cout << endl;、
}

不足之处:在三种遍历方式,使用迭代器遍历会出现报错。

问题在于: vector,这里类模板没有实例化,对于内嵌类型,那么不敢进去取,里面的东西也有没有实例化。编译器无法识别const_iterator是静态变量还是内中类,选择报错。

vector类模板没有完成实例化,对于内嵌类型const_iterator不敢进去取,对于内部是否实例。编译器无法编译器无法识别const_iterator是静态变量还是内中类。编译器选择报错。

解决措施:编译器规定typename告诉后面后面是一个类型,不是静态成员变量(先通过编译,之后再给你实例化)。在编译阶段才知道类型,如果需要一个类型接收,可以使用auto自动识别类型。

typename vector<T>::const_iterator it = v.begin();
auto it = v.begin();
while (it != v.end())
{
    cout << *it << " ";
    ++it;
}
cout << endl;


【C++】C++ STL探索:Vector使用与背后底层逻辑(三)https://developer.aliyun.com/article/1617343

相关文章
|
7月前
|
编译器 C++ 容器
【c++丨STL】基于红黑树模拟实现set和map(附源码)
本文基于红黑树的实现,模拟了STL中的`set`和`map`容器。通过封装同一棵红黑树并进行适配修改,实现了两种容器的功能。主要步骤包括:1) 修改红黑树节点结构以支持不同数据类型;2) 使用仿函数适配键值比较逻辑;3) 实现双向迭代器支持遍历操作;4) 封装`insert`、`find`等接口,并为`map`实现`operator[]`。最终,通过测试代码验证了功能的正确性。此实现减少了代码冗余,展示了模板与仿函数的强大灵活性。
181 2
|
7月前
|
存储 算法 C++
【c++丨STL】map/multimap的使用
本文详细介绍了STL关联式容器中的`map`和`multimap`的使用方法。`map`基于红黑树实现,内部元素按键自动升序排列,存储键值对,支持通过键访问或修改值;而`multimap`允许存在重复键。文章从构造函数、迭代器、容量接口、元素访问接口、增删操作到其他操作接口全面解析了`map`的功能,并通过实例演示了如何用`map`统计字符串数组中各元素的出现次数。最后对比了`map`与`set`的区别,强调了`map`在处理键值关系时的优势。
352 73
|
8月前
|
存储 缓存 C++
C++ 容器全面剖析:掌握 STL 的奥秘,从入门到高效编程
C++ 标准模板库(STL)提供了一组功能强大的容器类,用于存储和操作数据集合。不同的容器具有独特的特性和应用场景,因此选择合适的容器对于程序的性能和代码的可读性至关重要。对于刚接触 C++ 的开发者来说,了解这些容器的基础知识以及它们的特点是迈向高效编程的重要一步。本文将详细介绍 C++ 常用的容器,包括序列容器(`std::vector`、`std::array`、`std::list`、`std::deque`)、关联容器(`std::set`、`std::map`)和无序容器(`std::unordered_set`、`std::unordered_map`),全面解析它们的特点、用法
C++ 容器全面剖析:掌握 STL 的奥秘,从入门到高效编程
|
8月前
|
算法 编译器 C++
模拟实现c++中的vector模版
模拟实现c++中的vector模版
|
7月前
|
存储 算法 C++
【c++丨STL】set/multiset的使用
本文深入解析了STL中的`set`和`multiset`容器,二者均为关联式容器,底层基于红黑树实现。`set`支持唯一性元素存储并自动排序,适用于高效查找场景;`multiset`允许重复元素。两者均具备O(logN)的插入、删除与查找复杂度。文章详细介绍了构造函数、迭代器、容量接口、增删操作(如`insert`、`erase`)、查找统计(如`find`、`count`)及`multiset`特有的区间操作(如`lower_bound`、`upper_bound`、`equal_range`)。最后预告了`map`容器的学习,其作为键值对存储的关联式容器,同样基于红黑树,具有高效操作特性。
289 3
|
8月前
|
存储 算法 C++
【c++丨STL】priority_queue(优先级队列)的使用与模拟实现
本文介绍了STL中的容器适配器`priority_queue`(优先级队列)。`priority_queue`根据严格的弱排序标准设计,确保其第一个元素始终是最大元素。它底层使用堆结构实现,支持大堆和小堆,默认为大堆。常用操作包括构造函数、`empty`、`size`、`top`、`push`、`pop`和`swap`等。我们还模拟实现了`priority_queue`,通过仿函数控制堆的类型,并调用封装容器的接口实现功能。最后,感谢大家的支持与关注。
399 1
|
8月前
|
存储 算法 C++
深入浅出 C++ STL:解锁高效编程的秘密武器
C++ 标准模板库(STL)是现代 C++ 的核心部分之一,为开发者提供了丰富的预定义数据结构和算法,极大地提升了编程效率和代码的可读性。理解和掌握 STL 对于 C++ 开发者来说至关重要。以下是对 STL 的详细介绍,涵盖其基础知识、发展历史、核心组件、重要性和学习方法。
|
8月前
|
编译器 C++ 开发者
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
|
4月前
|
人工智能 机器人 编译器
c++模板初阶----函数模板与类模板
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果:注意:类模板中的成员函数若是放在类外定义时,需要加模板参数列表。return 0;
96 0
|
4月前
|
存储 编译器 程序员
c++的类(附含explicit关键字,友元,内部类)
本文介绍了C++中类的核心概念与用法,涵盖封装、继承、多态三大特性。重点讲解了类的定义(`class`与`struct`)、访问限定符(`private`、`public`、`protected`)、类的作用域及成员函数的声明与定义分离。同时深入探讨了类的大小计算、`this`指针、默认成员函数(构造函数、析构函数、拷贝构造、赋值重载)以及运算符重载等内容。 文章还详细分析了`explicit`关键字的作用、静态成员(变量与函数)、友元(友元函数与友元类)的概念及其使用场景,并简要介绍了内部类的特性。
173 0