std::vector的原理之一begin()和end()

@TOC

前言

同事遇见个bug，在一个容器中使用std::find寻找指定元素，找到后将一个标志位置位。但是日志打印标志位被置位，但实际容器中却不含有此元素。

伪代码

void findElement(const vector<int>& vec, int key)
{
    auto it = find(vec.begin(), vec.end(), key);

    if (it != vec.end()) {
        // setFlag(true);
    }
}

分析：

在 if (it != vec.end()) 时容器大小发生变化，导致此判定成立，而不一定真的找到了key。
项目工程是多线程的，传入的参数是一个引用。不要被cosnt魅惑，它只是约束你不在此函数修改vec的值。但是线程异步是可以修改vec本体数据的。要想避免此问题应该使用互斥锁保证操作的原子性

vector基本性质

1.储存空间地址上连续，类似数组。
2.vector是在堆空间开辟内存保存元素的。
3.vector是有动态扩容的功能，堆上申请空间不够用是要重新申请一块堆空间来存新元素的，旧值会拷贝到新的地址空间上。这个是耗性能的，预估容器大小，使用reserve直接设置容器初始容量是一个好习惯。

begin（）

begin(),指向容器储存空间的第一个元素位置，end（），指向容器中最后一个元素的下一个元素位置。

代码验证

#include <iostream>
#include <vector>

using namespace std;

void addByArr(vector<int>& vec, int* arr, int size)
{
    for (int i = 0; i < size; i++) {
        vec.push_back(arr[i]);
    }
}

int main(int argc, char *argv[])
{
    vector<int> vec;
    vector<int> vec2;
    vec2.reserve(20);
    vec.push_back(1);
    vec2.push_back(1);
    cout << "vec begin: " << *vec.begin() << endl;

    auto it = find(vec.begin(), vec.end(), 9999);
    auto it2 = find(vec2.begin(), vec2.end(), 9999);

    int arr[8] = {2, 3, 4, 5, 6, 7, 8, 9};

    addByArr(vec, arr, 8);
    addByArr(vec2, arr, 8);


    if (it != vec.end() && it2 != vec2.end()) {
        cout << "vec end: " << *it << endl;
        cout << "vec2 end: " << *it2 << endl;
    }

    return 0;
}

输出：

vec begin: 1
vec end: 4390973
vec2 end: 2

分析：
容器元素增减都会导致end（）的变化。
vec没有初始化容量，在find之后指向了远储存连续地址中最后一个元素的下一位。再添加数组后vec动态扩容，原储存空间释放，it取值是随机的。而vec2容量够用，it2指的是储存空间的第二个元素位置。所以it2的值是“2”；