一个有关C++特性的问题

我在此题的一份代码中这样写：

CPP

set<int> que;
for(auto j : que)
{
	//do something...
   	que.erase(j)
}

会出现奇怪的问题，即循环会中途结束。但是在本机测试没有任何问题，程序会正常地删除que中的所有元素。

如果改成更保守的写法：

CPP

set<int> que;
for(auto j=que.begin(); j!=que.end();)
{
	auto k = j; k++;
	//do something...
   	que.erase(j);
	j = k;
}

这样程序在洛谷上才能正确执行。

我想上面一种写法可能是一种未定义行为，但是编写c++的人应该会料到有人这么实现。因为采用下面一种保守的方法实在是太冗长了。

因此我就是想问一下究竟是什么导致了程序在洛谷和本地运行结果不同。

讨论操作