关于约瑟夫环用list实现遇到的奇怪问题

该问题是在Weiss著的《数据结构与算法分析(C++描述+第三版)习题中的3.6题遇到的

先把自己遇到问题的代码粘出来，本人的编译环境是windows7下的g++ (GCC) 4.6.1

#include<iostream>
#include<list>
using namespace std;

int main()
{
	int n=0,m=0,i=0;
	cout<<"please input the number of player : "<<endl;
	cin>>n;
	cout<<"please input the times of transfer"<<endl;
	cin>>m;
	list<int> aa; 
	for(i=0;i<n;i++)
		aa.push_back(i+1);
	list<int>::iterator itr=aa.begin();
	while(aa.size()>1)
	{
		for(i=0;i<m;i++)
		{
			if(itr==aa.end())
				itr=aa.begin();
			cout<<*itr++<<endl;
			cout<<*itr<<endl;
		}
		cout<<*itr<<" player game over!"<<endl;
		itr=aa.erase(itr);
	}
	return 0;
}

先试一种简单的情况，输入n=5,m=1

please input the number of player :
5
please input the times of transfer
1
1
2
2 player game over!
3
4
4 player game over!
5
1
1 player game over!
到此处程序就挂掉了，根据上面的输出，刚开始分析以为第三次进入ｗｈｉｌｅ后

ｉｔｒ已经指向的值是５，进入ｆｏｒ语句cout<<*itr++<<endl；输出ｉｔｒ指向５后自加一次，

然后cout<<*itr<<endl;输入ｉｔｒ指向１，认为ｉｔｒ在最后一个元素做自加运算会自动指向ｌｉｓｔ的第一个位置，按此思路，程序继续往下走把cout<<*itr<<" player game over!"<<endl;打出来，接下来调用ｅｒａｓｅ方法删除第一个元素，把返回值即下一个元素的迭代器给ｉｔｒ，看似没有问题但程序却挂那儿不走了

下面给出找出问题后正确的代码

#include<iostream>
#include<list>
using namespace std;

int main()
{
	int n=0,m=0,i=0;
	cout<<"please input the number of player : "<<endl;
	cin>>n;
	cout<<"please input the times of transfer"<<endl;
	cin>>m;
	list<int> aa; 
	for(i=0;i<n;i++)
		aa.push_back(i+1);
	list<int>::iterator itr=aa.begin();
//	cout<<*aa.begin()<<" "<<*aa.end()<<endl;
	while(aa.size()>1)
	{
		for(i=0;i<m%n;i++)
		{
			if(itr==aa.end())
				itr=aa.begin();
//			cout<<*itr<<endl;
			itr++;
//			cout<<*itr<<endl;
			if(itr==aa.end())
				itr=aa.begin();			
		}
		cout<<*itr<<" player game over!"<<endl;
		itr=aa.erase(itr);
		n--;
		if(itr==aa.end())
			itr=aa.begin();		
	}
	cout<<*aa.begin()<<" player win the game!"<<endl;
	return 0;
}

输入同上，输出的结果如下
please input the number of player :
5
please input the times of transfer
1
1 1
1
2
2 player game over!
3
4
4 player game over!
5
1
1 player game over!
3
5
5 player game over!
3 player win the game!

问题其实出在迭代器指向最后一个元素时，做自加运算后ｉｔｒ实际是指向了ｅｎｄ标记，

那为什么上面出问题的情形下cout<<*itr<<endl;输出了１呢，难道是巧合吗？？？

这个我也不知道是不是巧合还是Ｃ＋＋标准里有什么特殊的规定，输出的１其实是ｌｉｓｔ中ｅｎｄ标记指向的值，

原因可以见cout<<*aa.begin()<<" "<<*aa.end()<<endl;的输出值　１　１

所以当接下来调用ｅｒａｓｅ方法删除ｅｎｄ当然就出错了

总结：一些需要做循环操作的程序中，在自加运算前后都要判断迭代器是否指向ｅｎｄ，

是的话手动让它指向ｂｅｇｉｎ。

本人刚学数据结构和算法，不知道这问题是不是很二，大牛轻拍哈

有兴趣的童鞋可以研究一下迭代器ｅｎｄ指向的值是不是都是１或者ｅｎｄ指向的值是怎么规定的