c抽象基类后缀运算符

我有一个关于实现共享迭代器接口的问题.

作为postix运算符的常见做法,函数可能如下所示：

IteratorClass operator ++(int) {
  IteratorClass temp = *this;

  //increment stuff

  return temp
}

大多数时候这很好.在我的情况下,我试图为一个类实现3个迭代器.每个迭代器都将加载一个带有数据的本地集合类,但每个派生的迭代器都会以不同的方式加载它.因为集合类是相同的并且运算符的所有代码(postfix / prefix / – ,*)都是相同的,我认为实现它的一个好方法是继承：

struct iterator {
  protected:
  Collection collection;
  public:
  operator++(int);
  operator++;
  operator--(int);
  operator--;

  virtual load() = 0;

}

struct iterator1 : public iterator {
  virtual load() { custom load function }
}

struct iterator2 : public iterator {
  virtual load() { custom load function }
}

问题是后缀运算符……他们试图创建一个抽象类型的对象,然后返回它.有关变通方法或结构更改的任何建议吗？

解决方法:

使用CRTP idiom使基类知道最终的类.例如：

template<typename T>
struct iterator_base {
  public:
  T operator++(int) {
    T temp = static_cast<T&>(*this);
    ++*this;
    return temp;
  }
  T& operator++() {
    // ++ mutation goes here
    return *this;
  }
  // ... likewise for --, etc.
};

struct iterator1: public iterator_base<iterator1> {
  // ... custom load function
};

这种方法称为静态多态,允许您(在某些情况下)完全避开虚拟,从而使您的对象更小.您可以省略基类的加载声明,并将T :: load称为static_cast< T&>(* this).load().

标签：c,operator-overloading,inheritance,operator-keyword
来源： https://codeday.me/bug/20190831/1777150.html