c++ pop不返回栈顶元素的机制

c++的STL里面有 stack的结构，里面有pop(), 和top()这两个方法，以前一直奇怪，为什么这两个函数不写成一个，就是pop弹出栈顶元素，同时返回这个元素。后来懂了原来这是c++的设计者基于异常安全的考虑设计的。假设有下面一个pop的方法：

template<class T> T stack<T>::pop()
{
	if(count == 0)
		error("underflow");
	else
	{
		return data[--count];
	}
}

是用在堆上建立的一个动态数组data实现的，试图返回data[--count]的时候，会调用T的拷贝构造函数，如果调用的时候发生异常，并没有返回正确的值，但是栈顶元素已经弹出了，这时就丢失了栈顶数据。上面的书上给的例子，但是如果这样写

template<class T> T my_stack<T>::pop()
{
	if(count == 0)
		error("underflow");
	else
	{
		T tmp = data[count];
		count--;
		return tmp;
	}
}

先建立一个栈顶元素的副本，如果拷贝构造函数出现异常，那么count--也不会执行，就不会有丢失数据的问题。当然，假如count--和return tmp之间发生异常，依然会出问题，就是说，如果同时想做pop和top这两件事，一定要保证count--和return tmp是一个执行事务。Java里面的就是两个功能写在一个函数中了。所以说<<c++编程思想>>里面这个例子确实给的有点敷衍。