c++野指针 之 实战篇

Posted 2020-06-09

一：今天做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);//调用后置
这个是约定俗成