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++编程思想>>里面这个例子确实给的有点敷衍。