迭代器的要求非常清晰:在24.2.6 [bidirectional.iterators],表格110中:--r (表达式) X& (返回类型) pre: 存在s使得r == ++s。由于对于c.begin()不存在这样的s,因此不能将其减少而不违反前提条件。