Question

我为这个容器创建了一个伪容器类（它不包含任何元素）和一个迭代器类。以下代码总是在我的系统上输出'776'（我的编译器是GCC 5.4.0）

#include <iostream>
#include <iterator>

class Container
{
public:
  class Iterator;
  Container()=default;
  Container::Iterator begin();
  Container::Iterator end();
};

class Container::Iterator: public std::iterator<std::bidirectional_iterator_tag, size_t>
{
public:

    Iterator(size_t n);
    size_t& operator*();
    Container::Iterator& operator--();
    const Container::Iterator operator--(int);

    bool operator==(const Container::Iterator& rhs) const;
    bool operator!=(const Container::Iterator& rhs) const;
  private:
    size_t n_;
};



Container::Iterator Container::end()
{
  return Iterator(777);
}





Container::Iterator::Iterator(size_t n):
  n_(n)
{
}

size_t& Container::Iterator::operator *()
{
  return n_;
}

Container::Iterator& Container::Iterator::operator--()
{
  n_--;
  return *this;
}

const Container::Iterator Container::Iterator::operator--(int)
{
  Container::Iterator oldVal = *this;
  n_--;
  return oldVal;
}

int main()
{
 Container cont;
 std::reverse_iterator<Container::Iterator>revit(cont.end());
 //as cppreference says, "For a reverse iterator r constructed from an iterator i, the relationship &*r == &*(i-1) is always true...", so I expect that the output must be the same as if I used instead next commented line, and it does so on my system
  // auto it = cont.end(); it--; std::cout << *it << std::endl;
  std::cout << *revit << std::endl;
 return 0;
}

但是当我使用任何在线编译器（支持C ++ 11）时，此代码只输出'0'（除了一个Clang版本，然后输出是一些'随机'大数字）

我无法弄明白，我的错误在哪里？

Answer 1

std::reverse_iterator::operator* is equivalent to

Iterator tmp = current; return *--tmp;

（其中current是由此reverse_iterator实例包装的基础迭代器。）

*tmp返回对tmp成员的引用 - 超出范围并在std::reverse_iterator::operator*返回时被销毁，并将该成员带入其中。因此，*revit会返回一个悬空参考;随后使用它的尝试表现出不确定的行为。

std :: reverse_iterator奇怪的行为（UB？）

1 个答案: