boost :: iterator_facade и std :: find (...) - PullRequest
3 голосов
/ 01 июля 2010

Ниже приведена реализация iterator_facade для узла связанного списка. Это почти то же самое, что представлено в документах , за исключением того, что он имеет тип разыменования Value * вместо Value &.

Проблема заключается в использовании итераторов с std :: find, которые выдают эти ошибки компиляции для шаблона поиска.

редактировать один

Некоторые отметили, что для std :: find потребуется значение указателя, поскольку iterator_facade разыменовывает указатель. Я тоже думал об этом. Ошибка компиляции в этом случае

Передайте указатель, чтобы найти ошибку:

it = find(begin, end, (n2));

[100%] Building CXX object CMakeFiles/node_example.dir/main_example.cpp.o
/usr/include/c++/4.2.1/bits/stl_algo.h: In function '_InputIterator std::find(_InputIterator, _InputIterator, const _Tp&) [with _InputIterator = node_iter<node<int> >, _Tp = node<int>*]':
/Users/jkyle/Projects/BoostIteratorExample/main_example.cpp:102:   instantiated from here
/usr/include/c++/4.2.1/bits/stl_algo.h:327: error: no matching function for call to '__find(node_iter<node<int> >&, node_iter<node<int> >&, node<int>* const&, boost::forward_traversal_tag)'
make[2]: *** [CMakeFiles/node_example.dir/main_example.cpp.o] Error 1
make[1]: *** [CMakeFiles/node_example.dir/all] Error 2

редактировать два

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

template<class ForwardIterator, class ValueType>
ForwardIterator find(ForwardIterator begin, ForwardIterator end, ValueType value)
{
  while (begin != end)
  {
    if (*begin == value)
    {
      break;
    }
    ++begin;
  {
  return begin;
}

Ошибка вывода:

[100%] Building CXX object CMakeFiles/node_example.dir/main_example.cpp.o
/usr/include/c++/4.2.1/bits/stl_algo.h: In function '_InputIterator
std::find(_InputIterator, _InputIterator, const _Tp&) [with _InputIterator = 
node_iter<node<int> >, _Tp = node<int>]':
/Users/jkyle/Projects/BoostIteratorExample/main_example.cpp:102:instantiated from 
here
/usr/include/c++/4.2.1/bits/stl_algo.h:327: error: no matching function for 
call to '__find(node_iter<node<int> >&, node_iter<node<int> >&, const node<int>&, 
boost::forward_traversal_tag)'
make[2]: *** [CMakeFiles/node_example.dir/main_example.cpp.o] Error 1
make[1]: *** [CMakeFiles/node_example.dir/all] Error 2
make: *** [all] Error 2

редактировать Три

Были некоторые полезные ответы, которые решают непосредственную проблему итерации. Тем не менее, моя главная проблема заключается в том, почему мой boost :: iterator_facade не ведет себя так, как я ожидаю от итераторов для контейнеров указателей STL. Ниже приведен пример кода, демонстрирующий поведение, ожидаемое от итератора STL для контейнера указателей:

#include <iostream>
#include <vector>
#include <algorithm>
#include <cassert>

using namespace std;

struct Foo
{
  int bar;
};

int main ()
{
  vector<Foo *> list;
  Foo *f1 = new Foo;
  f1->bar = 5;
  Foo *f2 = new Foo;
  f2->bar = 10;
  Foo *f3 = new Foo;
  f3->bar = 15;

  list.push_back(f1);
  list.push_back(f2);
  list.push_back(f3);

  // with the vector class, there is no need for comparator function for the iterator
  // to be properly dereferenced and compared
  vector<Foo *>::iterator it = find(list.begin(), list.end(), f2);

  assert(*it == f2);
  return 0;
}

Пример источника:

#include <iostream>
#include <boost/type_traits/is_convertible.hpp>
#include <boost/utility/enable_if.hpp>
#include <boost/iterator/iterator_facade.hpp>
#include <algorithm>

using namespace std;

template <class T>
struct node
{
  node() : m_next(0) {}

  node(T *x)
    : m_value(x)
  {}

   // Each node manages all of its tail nodes
   ~node() { delete m_next; }

   // Access the rest of the list
   node* next() const { return m_next; }

   void append(node* p)
   {
       if (m_next)
           m_next->append(p);
       else
           m_next = p;
   }


  void print() const { cout << *this->m_value << endl; }

private:
  T *m_value;
  node* m_next;

};

template <class Value>
class node_iter
  : public boost::iterator_facade<
        node_iter<Value>
      , Value
      , boost::forward_traversal_tag
      , Value*
    >
{
private:
  struct enabler {};

public:
  node_iter()
    : m_node(0) {}

  explicit node_iter(Value* p)
    : m_node(p) {}

  template <class OtherValue>
  node_iter(node_iter<OtherValue> const& other, 
            typename boost::enable_if<
                            boost::is_convertible<OtherValue*,Value*>, 
                            enabler>::type = enabler() )
    : m_node(other.m_node) {}

private:
  friend class boost::iterator_core_access;
  template <class> friend class node_iter;

  template <class OtherValue>
  bool equal(node_iter<OtherValue> const& other) const
  {
      return this->m_node == other.m_node;
  }

  void increment()
  { m_node = m_node->next(); }

  Value* dereference() const
  { return m_node; }

  Value* m_node;
};
typedef node_iter< node<int> > node_iterator;
typedef node_iter< node<int> const > node_const_iterator;


int main ()
{
  node<int> *n1 = new node<int>(new int(5)); 
  node<int> *n2 = new node<int>(new int(10));
  node<int> *n3 = new node<int>(new int(15));

  n1->append(n2);
  n2->append(n3);

  node_iterator it;
  node_iterator begin(n1);
  node_iterator end(0);

  it = find(begin, end, *n2);

  return 0;
}

Ответы [ 4 ]

2 голосов
/ 05 июля 2010

value_type, предоставляемый вашим итератором, является указателем (Value*).Это означает, что все алгоритмы STL (и соответствующие) будут видеть эти указатели во время итерации.Я предлагаю вам использовать find_if с пользовательским объектом предиката:

#include <functional>
#include <algorithm>

template <typename Value>
struct cmp_ind_impl : std::unary_function <Value*, bool>
{
    cmp_ind(Value* n) : n_(n) {}

    bool operator<(Value* n) const
    {
        return *n == *n_;
    }

    Value* n_;
};

template <typename Value>
cmp_ind_impl cmp_ind(Value* n)
{
    return cmp_ind_impl<Value>(n);
}

std::find_if(begin, end, cmp_ind(n2));

, где предикат (cmp_ind_impl) выполняет правильную косвенную работу за вас.Вспомогательная функция (cmp_ind) на самом деле не нужна, а просто упрощает построение этого предиката (т. Е. От пользователя не требуется никаких шаблонов).

0 голосов
/ 01 июля 2010

*begin возвращает node<int>*, который вы просите найти для сравнения с node<int>. Попробуйте передать n2, чтобы найти:

it = find(begin, end, n2);
0 голосов
/ 05 июля 2010

в настоящее время вы делаете std :: find () и сравниваете 2 node<T>.Одним из возможных решений будет добавление bool operator==(node<T> x) {return (this->m_value==x.m_value);} к вашему шаблону класса узла.

0 голосов
/ 01 июля 2010

, за исключением того, что имеет тип разыменования Value *

std::find не знает, как разыменовать ваш указатель при поиске этого элемента.Ваш итератор должен либо вернуть ссылку, либо вам нужно передать указатель как элемент, который вы ищете в find.

...