Как предоставить stl-подобный контейнер с открытым константным итератором и закрытым неконстантным итератором?

Question

У меня есть класс, который включает в себя std :: list и хочу предоставить public begin () и end () для const_iterator, а private begin () и end () для простого итератора.

Однако компилятор просматривает приватную версию и жалуется, что она приватная, а не использует публичную версию const.

Я понимаю, что C ++ не будет перегружаться при возвращаемом типе (в данном случае const_iterator и iterator), и поэтому он выбирает неконстантную версию, поскольку мой объект не является const.

Если не приводить мой объект к const перед вызовом begin () или не перегружать имя begin, есть ли способ сделать это?

Я бы подумал, что это известная схема, которую люди уже решили ранее, и хотел бы последовать примеру того, как это обычно решается.

class myObject {
public:
  void doSomethingConst() const;
};

class myContainer {
public:
  typedef std::list<myObject>::const_iterator const_iterator;
private:
  typedef std::list<myObject>::iterator iterator;

public:
  const_iterator begin() const { return _data.begin(); }
  const_iterator end()   const { return _data.end();   }
  void reorder();
private:
  iterator begin() { return _data.begin(); }
  iterator end()   { return _data.end();   }
private:
  std::list<myObject> _data;
};

void myFunction(myContainer &container) {
  myContainer::const_iterator itr = container.begin();
  myContainer::const_iterator endItr = container.end();
  for (; itr != endItr; ++itr) {
    const myObject &item = *itr;
    item.doSomethingConst();
  }
  container.reorder(); // Do something non-const on container itself.
}

Ошибка компилятора примерно такая:

../../src/example.h:447: error: `std::_List_iterator<myObject> myContainer::begin()' is private
caller.cpp:2393: error: within this context
../../src/example.h:450: error: `std::_List_iterator<myObject> myContainer::end()' is private
caller.cpp:2394: error: within this context

Спасибо.

-William

Answer 1

Плохая идея получить из std :: list (он не предназначен для получения из).

Используйте переменную-член типа std :: list.

class myContainer
{
  std::list<myObject>   m_data;
  public:

    typedef std::list<myObject>::const_iterator myContainer::const_iterator;
  private:
    typedef std::list<myObject>::iterator myContainer::iterator;

  public:

    myContainer::const_iterator begin() const
    {
      return m_data.begin();
    }

    myContainer::const_iterator end() const 
    {
      return m_data.end();
    }

  private:
    myContainer::iterator begin()
    {
      return m_data.begin();
    }

    myContainer::iterator end()
    {
      return m_data.end();
    }
};

Answer 2

Я думаю, что ваш единственный вариант - переименовать приватные методы (если они вам нужны).

Кроме того, я считаю, что вы должны переименовать typedefs:

class MyContainer
{
public:
     typedef std::list<Object>::const_iterator iterator;
     typedef iterator const_iterator;

     const_iterator begin() const;
     const_iterator end() const;

private:
     typedef std::list<Object>::iterator _iterator;
     _iterator _begin();
     _iterator _end();
     ...
};

Контейнеры должны печатать как iterator, так и const_iterator. Универсальная функция, принимающая неконстантный экземпляр вашего контейнера, может ожидать использования typedef iterator - даже если она не собирается изменять элементы. (Например BOOST_FOREACH.)

Все будет хорошо, если использовать правильность констант, потому что если универсальная функция действительно попытается изменить объекты, реальный тип итератора (будучи const_iterator) не допустит этого.

В качестве теста следующее должно скомпилироваться с вашим контейнером:

int main()
{
    myContainer m;
    BOOST_FOREACH(const myObject& o, m) 
    {}
}

Обратите внимание, что m не является константой, но мы только пытаемся получить константные ссылки на содержащиеся типы, поэтому это должно быть разрешено.

Answer 3

Вам нужно изменить имя частного начала конца. Компилятор не может различить только тип возвращаемого значения

Это работает для меня: обратите внимание на _begin _end names

#include <list>


class myObject {};

class myContainer : private std::list<myObject> {
public:
    typedef std::list<myObject>::const_iterator const_iterator;
private:
    typedef std::list<myObject>::iterator iterator;

public:
  myContainer::const_iterator begin() const {
    return std::list<myObject>::begin();
  }
  myContainer::const_iterator end() const {
    return std::list<myObject>::end();
  }
private:
  myContainer::iterator _begin() {
    return std::list<myObject>::begin();
  }
  myContainer::iterator _end() {
    return std::list<myObject>::end();
  }
};

void myFunction(myContainer &container) {
  myContainer::const_iterator aItr = container.begin();
  myContainer::const_iterator aEndItr = container.end();
  for (; aItr != aEndItr; ++aItr) {
    const myObject &item = *aItr;
    // Do something const on container's contents.
  }
}

int main(){
    myContainer m;
    myFunction(m);
}

Answer 4

Возможно, вы захотите изменить подпись вашего метода Myfunction следующим образом:

void myFunction(const myContainer &container) 

потому что метод const будет вызываться только для объекта const. В настоящее время происходит то, что вы пытаетесь вызвать неконстантный метод, который в вашем случае является приватным.