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

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

2024-10-08 58
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介： 【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

文章标签：
C++
编译器
Linux
关键词：
C++ stl
C++逻辑
C++ vector
C++ stl vector
C++ stl逻辑
是店小二呀
目录
相关文章
ephemerals__
|
2天前
|
编译器 C语言 C++
【c++丨STL】list模拟实现（附源码）
本文介绍了如何模拟实现C++中的`list`容器。`list`底层采用双向带头循环链表结构，相较于`vector`和`string`更为复杂。文章首先回顾了`list`的基本结构和常用接口，然后详细讲解了节点、迭代器及容器的实现过程。 最终，通过这些步骤，我们成功模拟实现了`list`容器的功能。文章最后提供了完整的代码实现，并简要总结了实现过程中的关键点。 如果你对双向链表或`list`的底层实现感兴趣，建议先掌握相关基础知识后再阅读本文，以便更好地理解内容。
ephemerals__
11 1
陌陌谣
|
5天前
|
算法 安全 C++
用 C++ 算法控制员工上网的软件，关键逻辑是啥？来深度解读下
在企业信息化管理中，控制员工上网的软件成为保障网络秩序与提升办公效率的关键工具。该软件基于C++语言，融合红黑树、令牌桶和滑动窗口等算法，实现网址精准过滤、流量均衡分配及异常连接监测。通过高效的数据结构与算法设计，确保企业网络资源优化配置与安全防护升级，同时尊重员工权益，助力企业数字化发展。
陌陌谣
28 4
ephemerals__
|
14天前
|
算法 C语言 C++
【c++丨STL】list的使用
本文介绍了STL容器`list`的使用方法及其主要功能。`list`是一种双向链表结构，适用于频繁的插入和删除操作。文章详细讲解了`list`的构造函数、析构函数、赋值重载、迭代器、容量接口、元素访问接口、增删查改操作以及一些特有的操作接口如`splice`、`remove_if`、`unique`、`merge`、`sort`和`reverse`。通过示例代码，读者可以更好地理解如何使用这些接口。最后，作者总结了`list`的特点和适用场景，并预告了后续关于`list`模拟实现的文章。
ephemerals__
30 7
ephemerals__
|
1月前
|
存储 编译器 C语言
【c++丨STL】vector的使用
本文介绍了C++ STL中的`vector`容器，包括其基本概念、主要接口及其使用方法。`vector`是一种动态数组，能够根据需要自动调整大小，提供了丰富的操作接口，如增删查改等。文章详细解释了`vector`的构造函数、赋值运算符、容量接口、迭代器接口、元素访问接口以及一些常用的增删操作函数。最后，还展示了如何使用`vector`创建字符串数组，体现了`vector`在实际编程中的灵活性和实用性。
ephemerals__
58 4
oioihoii
|
13天前
|
存储 对象存储 C++
C++ 中 std::array＜int, array_size＞ 与 std::vector＜int＞ 的深入对比
本文深入对比了 C++ 标准库中的 `std::array` 和 `std::vector`，从内存管理、性能、功能特性、使用场景等方面详细分析了两者的差异。`std::array` 适合固定大小的数据和高性能需求，而 `std::vector` 则提供了动态调整大小的灵活性，适用于数据量不确定或需要频繁操作的场景。选择合适的容器可以提高代码的效率和可靠性。
oioihoii
37 0
ephemerals__
|
17天前
|
存储 编译器 C语言
【c++丨STL】vector模拟实现
本文深入探讨了 `vector` 的底层实现原理，并尝试模拟实现其结构及常用接口。首先介绍了 `vector` 的底层是动态顺序表，使用三个迭代器（指针）来维护数组，分别为 `start`、`finish` 和 `end_of_storage`。接着详细讲解了如何实现 `vector` 的各种构造函数、析构函数、容量接口、迭代器接口、插入和删除操作等。最后提供了完整的模拟实现代码，帮助读者更好地理解和掌握 `vector` 的实现细节。
ephemerals__
28 0
ephemerals__
|
1月前
|
存储 编译器 C语言
【c++丨STL】string类的使用
本文介绍了C++中`string`类的基本概念及其主要接口。`string`类在C++标准库中扮演着重要角色，它提供了比C语言中字符串处理函数更丰富、安全和便捷的功能。文章详细讲解了`string`类的构造函数、赋值运算符、容量管理接口、元素访问及遍历方法、字符串修改操作、字符串运算接口、常量成员和非成员函数等内容。通过实例演示了如何使用这些接口进行字符串的创建、修改、查找和比较等操作，帮助读者更好地理解和掌握`string`类的应用。
ephemerals__
53 2
ephemerals__
|
1月前
|
存储 编译器 C++
【c++】类和对象（下）（取地址运算符重载、深究构造函数、类型转换、static修饰成员、友元、内部类、匿名对象）
本文介绍了C++中类和对象的高级特性，包括取地址运算符重载、构造函数的初始化列表、类型转换、static修饰成员、友元、内部类及匿名对象等内容。文章详细解释了每个概念的使用方法和注意事项，帮助读者深入了解C++面向对象编程的核心机制。
ephemerals__
109 5
ephemerals__
|
1月前
|
存储 编译器 C++
【c++】类和对象（中）（构造函数、析构函数、拷贝构造、赋值重载）
本文深入探讨了C++类的默认成员函数，包括构造函数、析构函数、拷贝构造函数和赋值重载。构造函数用于对象的初始化，析构函数用于对象销毁时的资源清理，拷贝构造函数用于对象的拷贝，赋值重载用于已存在对象的赋值。文章详细介绍了每个函数的特点、使用方法及注意事项，并提供了代码示例。这些默认成员函数确保了资源的正确管理和对象状态的维护。
ephemerals__
103 4
ephemerals__
|
1月前
|
存储 编译器 Linux
【c++】类和对象（上）（类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针）
本文介绍了C++中的类和对象，包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用，以及如何使用访问限定符控制成员的访问权限。此外，还讨论了对象的内存分配规则和this指针的使用场景，帮助读者深入理解面向对象编程的核心概念。
ephemerals__
131 4