为自定义数组实现迭代器

Question

我即将创建自己的可迭代通用数组实现。我创建了一个名为Iterable<E> 的接口，它将“强制”其所有继承者实现其所有纯虚方法。该接口有以下原型：

可迭代

public:
virtual Iterable<E>& operator=(const Iterable<E>& iter) = 0;
virtual bool operator==(const Iterable<E>& iter) const = 0;
virtual bool operator!=(const Iterable<E>& iter) const = 0;
virtual Iterable<E>& operator++() = 0;
virtual E& operator*() = 0;

在我的Array<E> 中，我创建了以下方法：

Iterable<E> begin();
Iterable<E> end();

Array<E> 类具有 Iterable<E> 的匿名嵌套实现，如下所示：

ArrayIterator

class ArrayIterator : public Iterable<E> {
public:
    ArrayIterator(Array<E>* array, const int index) : _array(array), _index(index) {};

    ArrayIterator& operator=(const ArrayIterator& iter) override { _index = iter._index; return *this; }
    bool operator==(const ArrayIterator& iter) const override { return _index == iter._index; }
    bool operator!=(const ArrayIterator& iter) const override { return _index != iter._index; }
    ArrayIterator& operator++() override { _index++; return *this; }
    E& operator*() override { return _array[_index]; }
private:
    Array<E>* _array;
    int _index;
};

然后我在 begin() 和 end() 方法中返回了 ArrayIterator 实例：

  Iterable<E> Array<E>::begin() {
     return ArrayIterator(this, 0);
  }

  Iterable<E> Array<E>::end() {
     return ArrayIterator(this, this->length()); //length() returns array size
  }

一切都编译得很好，但是当我尝试使用每个时，我会抛出一个编译时错误： 'Iterable cannon 可实例化抽象类' 在下面的例子中：

int main() {
   Array<int> array{1, 2, 3, 4};
   for(int i : array) {  //<- error points to this line

    }
}

作为Iterable，我返回了ArrayIterator，这是它的实现，它不应该通过多态工作吗？

Answer 1

您的begin 和end 函数都返回Iterable<E>，而不是ArrayIterator。您创建要返回的ArrayIterator 是切片，并且只返回创建对象的基础部分。

因为这需要创建一个抽象类，所以会出现编译错误。