默认情况下,std :: stack的“底层容器”是一个std :: deque.因此,对于std :: deque而言,任何未定义的行为都是std :: stack的未定义行为.
cppreference和其他站点在描述成员函数的行为时“有效地”使用术语.我认为这是为了所有的意图和目的.因此,调用top()和pop()等效于回调()和pop_back(),并在空容器上调用这些是未定义的行为.
从我的理解,为什么它是未定义的行为的原因是为了保持无瑕疵的保证.我的推理是,对于std :: vector的operator []具有无抛出保证,如果容器大小大于N,则为()())具有强大的保证,并且如果n不在,则抛出std :: out_of_range界限.
所以我的问题是,一些可能未定义的行为背后的理由是什么,而不是有一个强有力的保证,而是抛出异常呢？
解决方法
当允许未定义的行为时,通常是为了效率的原因.
如果标准规定了当您将数组从边界访问时会发生什么,它将强制执行检查索引是否在边界内.一个向量也是一样,它只是一个动态数组的包装器.
在其他情况下,允许这种行为是未定义的,以便实现自由.但是,这也是真正的效率(因为一些可能的实施策略可能在一些机器上比在其他机器上更有效率,而C将其放在实施者身上,以选择最有效的策略,如果他们愿意的话).
