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);//调用后置

这个是约定俗成