6

我编译了以下示例：

#include <iostream>
#include <iterator>
using namespace std;

class myiterator : public iterator<input_iterator_tag, int>
{
  int* p;
public:
  myiterator(int* x) :p(x) {}
  myiterator(const myiterator& mit) : p(mit.p) {}
  myiterator& operator++() {++p;return *this;}
  myiterator& operator++(int) {myiterator tmp(*this); operator++(); return tmp;}
  bool operator==(const myiterator& rhs) {return p==rhs.p;}
  bool operator!=(const myiterator& rhs) {return p!=rhs.p;}
  int& operator*() {return *p;}
};

int main () {
  int numbers[]={10,20,30,40,50};
  myiterator beginning(numbers);
  myiterator end(numbers+5);
  for (myiterator it=beginning; it!=end; it++)
      cout << *it << " ";
  cout << endl;

  return 0;
}

从cplusplus.com/reference我得到编译器警告：

iterator.cpp: In member function 'myiterator& myiterator::operator++(int)':
iterator.cpp:13: warning: reference to local variable 'tmp' returned

这里有什么问题？后缀签名是否应该是myiterator operator++(int)按值返回？

是否在某个地方定义了 STL 迭代器上的后缀签名应该是什么样的？

4

4 回答 4

5

是否在某个地方定义了 STL 迭代器上的后缀签名应该是什么样的？

标准。

标准规定了这样的事情。在此操作的情况下，标准基本上说“您必须返回可转换为的东西const X&”，X迭代器在哪里。实际上，这意味着如果这适用于您（它不适用），您可以通过引用返回，或者按值返回。

见 24.1.3/1

于 2010-12-03T16:45:02.223 回答
4

您不想返回引用：通过这样做，您将返回对变量的引用，当函数返回时，该变量不再存在。所有你需要的是：

myiterator operator++(int) {myiterator tmp(*this); operator++(); return tmp;}
于 2010-12-03T16:35:02.533 回答
3

这一行：

myiterator& operator++(int) {myiterator tmp(*this); operator++(); return tmp;}

应该：

myiterator  operator++(int) {myiterator tmp(*this); operator++(); return tmp;}
//      ^^^^ Not return by reference.
//           Don't worry the cost is practically nothing for your class
//           And will probably be optimized into copying the pointer back.

作为旁注：

您实际上并不需要复制构造函数：

myiterator(const myiterator& mit) : p(mit.p) {}

编译器生成的版本将完美运行（因为三/四规则不适用，因为您不拥有类包含的 RAW 指针）。

您的比较运算符可能应该标记为 const ，我个人更喜欢根据 == 运算符定义 != 运算符，并让编译器优化掉任何低效（尽管这只是个人的事情）。

bool operator==(const myiterator& rhs) const {return p==rhs.p;}
bool operator!=(const myiterator& rhs) const {return !(*this == rhs);}
                            //        ^^^^^^^ Added const

运算符 * 应该有两个版本。一个普通版本和一个常量版本。

int&       operator*()       {return *p;}
int const& operator*() const {return *p;}

最后一点：指针本身就是一个迭代器。因此，您实际上不需要包装指针以使它们成为迭代器，它们将作为迭代器正确运行（不仅是输入迭代器，而且是随机访问迭代器）。

于 2010-12-03T16:42:18.870 回答
0

您正在返回对在方法退出时被破坏的变量的引用。编译器警告您这样做的后果。当调用者收到引用时，它引用的变量不再存在。

于 2010-12-03T16:35:35.830 回答