C++erase()

偶然发现了当vecotr在erase最后一个iter之后,仍然可以++代表一个值,而不为空。

vector<int> nums={3,2,3,4};
int val=3;
auto iter=nums.begin();
while(*iter){
    if(*iter==val)
        nums.erase(iter);
    else
        iter++;
}

将while的条件修改为iter!=nums.end()即可。

erase(iter)

当erase的参数是一个迭代器的时候,函数返回的是欲删除元素之后的元素的迭代器;当参数是指向最后一个元素的迭代器时,返回的是.end()

    vector<int> nums={3,2,3,4};
    auto iter=nums.begin()+1;
    nums.erase(iter);
    cout<<*iter<<endl;
    cout<<*(nums.begin()+1)<<endl;
    cout<<*(nums.begin()+2)<<endl;
    cout<<*(nums.begin()+3)<<endl;
    if((nums.begin()+3)==nums.end())
        cout<<"1"<<endl;
    cout<<nums.size()<<endl;
//再次删除
    cout<<"再次删除"<<endl;
    nums.erase(iter);
    cout<<*iter<<endl;
    cout<<*(nums.begin()+1)<<endl;
    cout<<*(nums.begin()+2)<<endl;
    cout<<*(nums.begin()+3)<<endl;

可以看到删除2之后,iter为3是nums.begin()+1,第三个元素nums.begin()+2是4,但是第四个元素nums.begin()+3还是4。

再删除iter之后,iter为4是nums.begin()+1,第三个元素nums.begin()+2是4,但是第四个元素nums.begin()+3还是4。


猜测erase只是将后面的元素向前移动了一个,但是没有删除后面的,遂查看源码。

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

这里finish就是end()

finish的定义

每次调用end()的时候返回的就是finish,

可以看到果真是这样,进行复制,但是源码中对于finish的元素是进行销毁的。


1.怀疑是因为Ubuntu中的C++与VS的区别,改天用VS跑一下。

2.对于删除元素后面的迭代器可以理解为,删除某元素之后,所有元素错位,最后一个元素删除。


查看destroy的源码。

destory同erase一样分为两个版本

template <class T>
inline void destroy(T* pointer) {
    pointer->~T();   // 直接调用析构函数
}



template <class ForwardIterator>
inline void destroy(ForwardIterator first, ForwardIterator last) {
  __destroy(first, last, value_type(first));
}

这里只用到第一个版本的destroy(),直接调用T类型的析构函数。

在我们的例子中T为int,int 为内置类型,没有析构函数,所以erase之后,没有进行内存的删除,只是将finish进行了前移。

写了一个类,再自定义析构函数,来验证一下

class A{
public:
    A(int a):a(a){};
    ~A(){a=0};
    int a;
};
int main() {
//    vector<int> nums={3,2,3,4};
    vector<A> nums={A(1),A(2),A(3),A(4)};
    auto iter=nums.begin()+1;
    nums.erase(iter);
    cout<<(*iter).a<<endl;
    cout<<(nums.begin()+1)->a<<endl;
    cout<<(nums.begin()+2)->a<<endl;
    cout<<(nums.begin()+3)->a<<endl;
    if((nums.begin()+3)==nums.end())
        cout<<"1"<<endl;
    cout<<nums.size()<<endl;
}

结果如下:

这样就清晰了。反之,若我们自定义的析构函数中没有写a=0;那么仍然是int类型析构,则仍然存在,不会释放内存。

在英文版的primer中,"the destructor does nothing to destroy members of built-in or pointer type",也就是说无论何种类型的析构函数都不会对内置类型做任何处理,只要过了生存周期,系统会自动释放。


在VS中调试,发现DEBUG模式会出现错误,在RELEASE模式下不报错。。。

在DEBUG模式下

在*iter的时候会出现_Mycont为空的异常,

*(nums.begin()+3)会出现_Ptr>_Mycont->_Mylast的异常。

后者迭代器越界比较好理解,但是为空较难理解

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值