vector.erase()分析

vector::erase(iterator)

以前盲目的认为erase()执行后会返回iterator指向下一个元素(位置)的迭代器,也就是iterator发生了++

后来发现删除元素抄来的方法中it = nums.erase(it)改为nums.erase(it)并没有区别

class Solution {
public:
    int removeElement(vector<int>& nums, int val) {
        for(auto it = nums.begin(); it != nums.end();){
            if((*it) == val){
                //it = nums.erase(it);
				nums.erase(it);
            }else ++it;
        }
        return nums.size();
    }
};

那么又认为erase对入参迭代器进行了引用并在内部++了再返回这个++迭代器

但后来在调试erase(it++)发现很多事情还是不好解释

迭代器变化分析

#include<cstdio>
#include<vector>
#include<iostream> 
using namespace std;
int main() {
	vector<int> v {3,4,5,6};
	auto it = v.begin();
	cout << *v.erase(it++) << endl;
	cout << *v.begin() << *(v.begin() + 1) << *(v.begin() + 2);
	return *it; 
}

it 起初指向3

1.erase(it) : 删除了3,然后erase函数的为了不让it野指针,it++, 函数返回值解引用是4, 然后对it解引用结果就是4 剩余情况是456

2.erase(it++): 因为it++的返回值的自增前的值,所以还是删除3,然后it++, 函数返回值解引用是4, erase里也++, 就指向5了 剩余情况是456;但这个先后顺序我没研究过哈;

3.erase(++it): 因为++it的返回值是自增后的值,所以删除4,因为erase里++, 函数返回值解引用是5, it也指向5 剩余情况是356

有人指出it++是先执行的,那无法解释为什么函数返回值解引用不是5

因为先执行的话,it++和++it的结果应该只是删除元素的区别

所以那可能是对erase的理解错了?

从纸面上看,erase看似返回了iterator的下一个元素,感觉好像是iterator++,迭代器变了

但对吗?

erase源码

iterator erase(iterator position) {
    if (position + 1 != end())
        copy(position + 1, finish, position); //copy至前面
    --finish;
    destroy(finish);
    return position;
}

实际上erase只是对元素进行了挪移,把删除元素之后的所有元素移到之前,被删除的元素放在最后,然后destory(size没变);同时入参postion也没有变

那erase(it++)的话,假设it++先执行,入参返回值指向第一个位置,it指向第二个位置,erase后那就是容器变成了4563, 第二个位置就是5,为什么返回值还是4呢,因为入参指向第一个位置没有变;

所以认为it++是先执行的是说的通的
小结:

参数处理优先函数调用,所以erase(it++)应该是先it++,后调用erase()

erase没有对入参迭代器做任何改变,只是挪移了元素,让指向的"地址单元"内的元素变了,看起来像指向下一个元素