c++野指针 之 实战篇

一：今天做poj上的3750那个题，用到了list的erase方法，提交之后总是报runtime error！纠结了好长时间。曾有一度怀疑过vector的erase和list的erase处理方式不一样。理论知识请参考也指针和悬浮指针：http://blog.csdn.net/u010700335/article/details/39831293 或 深拷贝和浅拷贝点击打开链接 http://blog.csdn.net/u010700335/article/details/39830425

二：现附上代码，稍后作解释

#include <iostream>#include <cstdio>#include <cstring>#include <list>using namespace std;const int MAX_SIZE = 20;int main(){    int n,w,s;    int i,cp;    char str[MAX_SIZE];    list<string> lists;    scanf("%d",&n);    for(i=0;i<n;i++)    {        cin >> str;        lists.push_back(str);    }    scanf("%d,%d",&w,&s);    list<string>::iterator iter;iter = lists.begin();while(w>1){iter++;w--;}cp = 1;    for(; lists.size()!=0;)    {        cp++;        if(iter == lists.end())            iter = lists.begin();        if(cp<=s)        {            iter++;        }        else        {            cout << *iter << endl;            iter = lists.erase(iter);// 因为删除iter,自动返回下一个元素的,vector也是一样;否则ter成为野指针，而非自动指向下一个，是返回下一个。            cp = 1;        }    }    return 0;}

三：原因如下：

程序里面使用了list容器，今天搞清楚了erase()函数的机理。常用的删除容器中元素的方法是如下（方法1）：
      list< int> List;
      list< int>::iterator iter;
      for( iter = List.begin(); iter != List.end(); )
      {
            if(1)  
            {
               iter = List.erase( iter );
            }
            else
            {
               iter++;
            }
      }


      也可以这样写（方法2）：
      list< int> List;
      list< int>::iterator iter;
      for( iter = List.begin(); iter != List.end(); )
      {
            if(1)  
            {
               List.erase( iter++ );
            }
            else
            {
               iter++;
            }
      }


     有一种错误的写法（注意同方法2比较）
     list< int> List;
     list< int>::iterator iter;
     for( iter = List.begin(); iter != List.end(); )
     {
            if(1)  
            {
               List.erase( iter );
            }


            iter++;
     }// 

     我们看一下erase()函数的源代码（仅列出release下的代码）。
        iterator erase(iterator _Where)
        {    // erase element at _Where
        _Nodeptr _Pnode = (_Where++)._Mynode();


        if (_Pnode != _Myhead)
            {    // not list head, safe to erase
            _Nextnode(_Prevnode(_Pnode)) = _Nextnode(_Pnode);
            _Prevnode(_Nextnode(_Pnode)) = _Prevnode(_Pnode);
            this->_Alnod.destroy(_Pnode);
            this->_Alnod.deallocate(_Pnode, 1);
            --_Mysize;
            }
        return (_Where);
        }

函数在返回的时候，是返回当前迭代器的下一个节点。所以当 iter = List.erase( iter ); 执行以后，迭代器自动指向了下一个元素。而对于入参中的iter，所指的地址已经被销毁，所以写的时候，应该注意加上前面的iter =

四：iter++ 和 ++iter

那另外的一种写法，List.erase( iter++ ); 为什么也是对的呢？这里研究了一下，这里需要讲一下++运算符的操作。
        _Myt_iter& operator++()   // 前面自增
            {    // preincrement
            ++(*(_Mybase_iter *)this);
            return (*this);
            }


        _Myt_iter operator++(int) // 后面自增
            {    // postincrement
            _Myt_iter _Tmp = *this;
            ++*this;
            return (_Tmp);
            }


++实际上可以看做是一个函数。
对于++在后的情况（例如i++），函数在运行的时候，将运算的数据i已经改变，但是函数的返回值是操作之前的数据，所以在我们看来，i++好像是先进行了i的读取，才+1。
回到迭代器，List.erase( iter++ );就没有问题了。
对于那种错误的方法，List.erase( iter );在执行以后，iter所指的对象已经被销毁，所以再对iter进行操作是非法的，程序会出错。

再看一个简单的示例：

#include <iostream>using namespace std;class A{public:A(int a=0,int b=0){x=a;y=b;}A& operator++();A operator++(int);void out(){cout<<x<<","<<y<<endl;}private:int x,y;};A& A::operator++(){x++;y++;return *this;}A A::operator++(int){return *this;x++;y++;}void main(){A ta(1,2),tb(1,2);ta.out();tb.out();(++ta).out();(tb++).out();}根据书上的形式写了个程序，A&前置和A型后置，程序正确，就是有个疑问：为什么编译器会自动调用A&型，A型。它怎么知道在++号在ta前面时，要调用A&；++号在ta后面时，要调用A；究竟是怎么办到的？

重载的++ 符号在使用过程中 编译器是不能区分出 ++是前置的还是 后置的？是根据(int)来区分 当给定实参（比如0）时为后置
opertor++();//重载前置++
operator++(int); //重载后置++

c.opertor++;//调用前置
c.opertor++(0);//调用后置
这个是约定俗成