默认情况下,std :: stack的“底层容器”是一个std :: deque.因此,对于std :: deque而言,任何未定义的行为都是std :: stack的未定义行为.
cppreference和其他站点在描述成员函数的行为时“有效地”使用术语.我认为这是为了所有的意图和目的.因此,调用top()和pop()等效于回调()和pop_back(),并在空容器上调用这些是未定义的行为.
@H_403_2@从我的理解,为什么它是未定义的行为的原因是为了保持无瑕疵的保证.我的推理是,对于std :: vector的operator []具有无抛出保证,如果容器大小大于N,则为()())具有强大的保证,并且如果n不在,则抛出std :: out_of_range界限.
@H_403_2@所以我的问题是,一些可能未定义的行为背后的理由是什么,而不是有一个强有力的保证,而是抛出异常呢?