为什么顺序容器同时具有size_type和difference_type？

Question

vector<int>既有vector<int>::size_type也有vector<int>::difference_type。由于size_type保证能够保持与给定系统上可能包含的元素的最大数目一样大的值，并且在任何有效的使用情况下，difference_type都应该小于或等于元素的最大数量，即顺序容器中两个元素之间的距离永远不会大于顺序容器可包含的最大元素数量。有人可以提供一个例子来说明两者之间的有用区别吗？

Answer 1

container::difference_type存在，因为对于某些序列容器，可以减去迭代器。该减法可能会导致负数。您无法使用container::size_type作为结果，因为它是无符号的，所以您永远不会有负值。所以我们有container::difference_type这是一个有符号的整数，它是容器迭代器的difference_type。