自定义迭代器不取消引用问题

Question

这是在实现一个迭代器std::list<std::vector<char>>第一次尝试：

Document.h

#ifndef Document_h 
#define Document_h 

//------------------------------------------------------------------------- 

typedef std::vector<char> Line;         // line of text 

//------------------------------------------------------------------------- 

class Text_iterator 
{ 
public: 
    Text_iterator(std::list<Line>::iterator l, Line::iterator p)// constructor 
     : ln(l), pos(p) { } 

    Text_iterator(const Text_iterator& src)      // copy constructor 
     : ln(src.ln), pos(src.pos) { } 

    Text_iterator& operator= (const Text_iterator& src)   // copy assignment 
    { 
     Text_iterator temp(src); 
     this->swap(temp); 
     return *this; 
    } 

    char& operator*() { return *pos; }       // dereferencing 

    Text_iterator& operator++()        // incrementation 
    { 
     ++pos; 
     if (pos == ln->end())   
     { 
      ++ln; 
      pos = ln->begin(); 
     } 
     return *this; 
    } 

    bool operator== (const Text_iterator& other) const   // comparison 
    { 
     return ln == other.ln && pos == other.pos; 
    } 

    bool operator != (const Text_iterator& other) const   // comparison 
    { 
     return !(*this == other); 
    } 

    void swap(Text_iterator& src)        // helper: swap 
    { 
     std::swap(src.get_line(), ln); 
     std::swap(src.get_column(), pos); 
    } 

    std::list<Line>::iterator get_line() { return ln; }   // accessors 
    Line::iterator get_column() { return pos; }        

private: 
    std::list<Line>::iterator ln;        // data members 
    Line::iterator pos; 
}; 

//------------------------------------------------------------------------- 

void swap (Text_iterator& lhs, Text_iterator& rhs)    // object swap 
{ 
    lhs.swap(rhs); 
} 

//------------------------------------------------------------------------- 

class Document 
{ 
public: 
    typedef Text_iterator iterator; 
public: 
    Document()             // constructor 
    { 
     Line l(10, 'a'); 
     text.push_back(l); 
    } 

    iterator begin()           // iterator to first element 
    { 
     return iterator(text.begin(), (*text.begin()).begin()); 
    } 

    iterator end()            // iterator to last element 
    { 
     return iterator(text.end(), (*text.end()).end()); 
    } 

    void print() 
    { 
     for (Document::iterator p = begin(); p != end(); ++p) 
     { 
      std::cout << *p; 
      getchar(); 
     } 
    } 

    std::list<Line> text;          // data member 
}; 

#endif 

main.cpp

#include <iostream> 
#include <sstream> 
#include <vector> 
#include <list> 
#include <algorithm> 
#include "Document.h" 

int main() 
{ 
    Document text; 
    text.print(); 
} 

预期输出：

AAAAAAAAAA

代替上述期望输出的获取：

调试断言失败
表达：列表迭代器不dereferencable。

为什么我得到这种行为以及如何纠正？

---

^{注：短暂的研究之后，我发现，最常见的原因为这样的行为是在提领该end()迭代器的尝试，但我无法找到我的代码这样的表达。}

Answer 1

您正在取消引用Document::end()中的结束迭代器*text.end()。最容易解决的问题是使用list::back()（和list::front()在Document::begin()）。

修复该问题后，您会发现Text_iterator::operator++也会取消引用结束迭代器，因为您没有在适当的末尾检查ln。 @Jonathan波特的评论是正确的，你需要传递text.end()既Text_iterator小号

变化：

class Text_iterator 
{ 
    // Declarations elided 
private: 
    std::list<Line>::iterator ln; 
    std::list<Line>::iterator ln_end; 
    Line::iterator pos;   
} 

Text_iterator::Text_iterator(std::list<Line>::iterator l, std::list<Line>::iterator l_end, Line::iterator p) 
    : ln(l), ln_end(l_end), pos(p) { } 

Text_iterator::Text_iterator(const Text_iterator& src) 
    : ln(src.ln), ln_end(src.ln_end), pos(src.pos) { } 

Text_iterator& Text_iterator::operator++() 
{ 
    ++pos; 
    if (pos == ln->end())   
    { 
     ++ln; 
     if(ln != ln_end) 
     { 
      pos = ln->begin(); 
     } 
    } 
    return *this; 
} 

void Text_iterator::swap(Text_iterator& src) 
{ 
    std::swap(src.ln, ln); 
    std::swap(src.ln_end, ln_end); 
    std::swap(src.pos, pos); 
} 

Document::iterator Document::begin() 
{ 
    return iterator(text.begin(), text.end(), text.front().begin()); 
} 

Document::iterator Document::end() 
{ 
    return iterator(text.end(), text.end(), text.back().end()); 
} 

当最后的增量出现，正将指向最终Line结束迭代器，和ln将指向文本的结束迭代器，这是我们传递给构造函数的Document::end()。我们不需要比较或暴露Text_iterator::ln_end保留明智的语义。