自定义迭代器中distance_type的目的 - std::d istance(first， last） 将返回错误的

我想为自定义类实现一个迭代器

template</*...*/>
class foo
{
public:
    using value_type = /* depends on template parameters */;
    using size_type = /* depends on template parameters */;
    class iterator
        : public std::iterator<std::random_access_iterator_tag, value_type, /* some suitable difference_type compatible to size_type */>
    {
    public:
        iterator(foo& bar, size_type i)
            : m_bar(bar), m_i(i),
              m_dereferenceable(i != bar.size())
        { }
    private:
        foo& m_bar;
        size_type m_i;
        bool m_dereferenceable;
    };
    size_type size() const { /* ... */ }
    value_type operator[](size_type) { /* ... */ }
};

并想知道我应该如何实施operator+=(difference_type).我已经将difference_type定义为对我来说完全有意义的std::make_signed_t<size_type>原因。

关键的一点是：我认为将m_i定义为类型 size_type 是合理的，确保其值被固定为[0, m_bar.size()]并使用标志m_dereferenceable来处理具有m_i == 0的iterator递减的情况。

这有点复杂，如果我将m_i类型更改为签名类型difference_type，一切都会更容易。但是，如果m_bar的大小正在利用整个size_type范围，这将阻止我迭代整个范围。

现在，我意识到(例如(std::distance 的返回类型是 difference_type 。一方面，这是合理的，因为我们可能会有负距离。另一方面，如果m_bar的大小正在利用整个size_type范围，std::distance可能会返回错误的结果。

所以，问题是：请记住(例如(std::distance可能会返回错误的结果，如果我将m_i定义为类型 size_type ，我是否应该简单地使用 difference_type 代替(并从更容易的实现中受益(？

编辑：让我强调以下几点：假设我们有一个vector x vector = std::vector</* ... */>并执行x.resize(std::numeric_limits<vector::size_type>::max())。

由于d = std::distance(x.begin(), x.end())的类型是vector::difference_type的，s = x.size()的类型是vector::size_type的，我很好奇d是否会等于s。

这个问题不是关于vector，而是一个关于size_type、difference_type的整个概念以及它们对迭代器的目的的问题。

请忽略任何技术问题(内存处理等(，并将size_type视为"复杂的东西"(即对"大小"表示的理解的抽象(。

显然，d必须是有符号类型，因为我们可能有负距离。当然，我可以想到一些技术问题，这些问题阻止了标准保证difference_type对象必须能够存储size_type对象。但是由于STL是关于泛型编程的，我很惊讶。