自定義迭代器類中重載的`！=`運算符無法正常工作

Question

我正在創建模板矩陣類，現在我正在實現迭代器類來迭代一個列（這個迭代器類在我的Matrix<T>類中）。

template <typename P, typename V> // "P" - PointerType; "V" - ValueType
class V_Iterator : public std::iterator<std::forward_iterator_tag, T> {
private:
    P itData_;
public:
    size_type w; // width of the matrix
    size_type h; // height of the matrix
public:
    V_Iterator(P d) : itData_(d) { }

public:
    V& operator*() const {
        return *itData_;
    }
    /////////////////// BUG /////////
    V_Iterator<P, V>& operator++() {

        itData_ += w;

        return *this;
    }
    V_Iterator<P, V>& operator= (T value) {
        *itData_ = value;
        return *this;
    }
    P operator->() {
        return itData_;
    }
    friend bool operator==(const V_Iterator& lhs, const V_Iterator& rhs) {
        return !(lhs.itData_ != rhs.itData_);
    }
    friend bool operator!=(const V_Iterator& lhs, const V_Iterator& rhs) {
        return !(lhs.itData_ == rhs.itData_);
    }

    V_Iterator<P, V> begin(size_type column) { return V_Iterator<P, V>(itData_ + column); }
    V_Iterator<P, V> end(size_type column) { return V_Iterator<P, V>((itData_ + column) + 1 + (h - 1) * w ); };
};

我的問題是當我使用迭代器迭代時：

Matrix<int> m (5, 5);
for (Matrix<int>::viterator vit = m.v_begin(0); vit != m.v_end(0); ++vit) {
    cout << *vit << " ";
}

它永遠不會停止，因為!=永遠不會被觸發。 但是，如果在重載++運算符是這個代碼而不是我已發布的代碼

V_Iterator<P, V>& operator++() {
    ++itData_;
    return *this;
}

它工作得很好。

這是我的Matrix類中的更多代碼：

public:
V_Iterator<T*, T> m_viterator_;
V_Iterator<const T*, const T> m_const_viterator_;

typedef V_Iterator<T*, T> viterator;
typedef V_Iterator<const T*, const T> const_viterator;

viterator v_begin(size_type column) { return m_viterator_.begin(column); }
viterator v_end(size_type column) { return m_viterator_.end(column); }
const_viterator cv_begin(size_type column) { return m_const_hiterator_.begin(column); }
const_viterator cv_end(size_type column) { return m_const_hiterator_.end(column); }

Matrix類構造函數：

Matrix(const size_type& width, const size_type& height) :   width_(width),
                                                            height_(height),
                                                            data_(CreateMatrix(width, height)),                                                                m_viterator_(*data_),
                                                            m_const_viterator_(*data_) {

    m_viterator_.w = width_;
    m_viterator_.h = height_;
    m_const_viterator_.w = width_;
    m_const_viterator_.h = height_;

    // fill the created matrix with default values of "T"
    for (Matrix<T>::iterator_type it = this->begin(); it != this->end(); ++it)
        *it = T();
}

我試圖弄清楚出了什么問題，但對我來說一切似乎都沒問題。

Answer 1

正如評論中指出的那樣，沒有顯示w成員如何初始化。 但是，我也發現了別的東西。 我將假設未顯示的其余代碼將正確初始化w 。 讓我們看一下你如何定義begin（）和end（）。

V_Iterator<P, V> begin(size_type column)
{
     return V_Iterator<P, V>(itData_ + column);
}

V_Iterator<P, V> end(size_type column)
{
     return V_Iterator<P, V>((itData_ + column) + 1 + (h - 1) * w);
}

所以，在我看來，begin（n）end end（n）或end（n）-begin（n）之間的距離是：

(itData_ + column) + 1 + (h - 1) * w - (itData_ + column)

要么

1 + (h - 1) * w

你已經說明了這個問題如下：當你的++運算符每次都按w推進迭代器時，從begin到end迭代的循環永遠不會比較等於結束迭代器值。

當然不是，因為它們之間的距離永遠不會是w的偶數倍！

Answer 2

由begin()和end()成員函數返回的迭代器沒有w和h初始化。 您可以在m_viterator成員中設置它們，但迭代器類的成員函數begin()和end()返回itData_成員初始化的迭代器，這將在新創建的迭代器中itData_未初始化的w和h 。