将迭代器作为类成员存储在C ++中的最佳实践

时间:2015-03-22 23:36:48

标签: c++ oop iterator

是否存在将迭代器存储为类成员的最佳实践,因为迭代的序列或数据结构未知?我写了一些代码来说明我想要实现的目标,但代码不能编译。

#include <iterator>

class entity {
    std::iterator<std::forward_iterator_tag, double>
        &it_begin_, &it_end_;
public:
    template <typename iter_type>
    entity(iter_type first, iter_type last) 
    : it_begin_(first)
    , it_end_(last) { } 

    // ... other implementation details
};

// example usage
int main() {
    std::vector<double> my_vec {1.0, 2.0, 6.0, 8.0, 2.0};
    entity my_entity(std::begin(my_vec), std::end(my_vec));
    // do stuff with entity
    return 0;
}

编辑:

只是为了添加一些上下文,我正在尝试按照我在CodeReview网站上收到的suggestion行的方式实现。

编辑2:

我收到了一些有用的答案。原谅我没有提到这个细节,但我认为从代码中可以清楚地看出:我想指定(作为实现细节的一部分)我想要一个前向迭代器,并且取消引用它会返回double

2 个答案:

答案 0 :(得分:1)

有几件事:

  1. std::begin(my_vec)返回一个迭代器,但实体类在其上存储引用。如果您想以这种方式使用它,请删除引用&

  2. 存储迭代器没有问题,但迭代器总是相对于像vector::iterator这样的容器类型。或者你可以模拟你的课程:


  3. template < class iterator > 
    class entity
    {
      iterator _it, _end;
    public:
      entity(iterator begin, iterator end): _it(begin), _end(end){}
      /* ... */
    };
    
    int main() {
      std::vector<double> my_vec {1.0, 2.0, 6.0, 8.0, 2.0};
      entity my_entity(my_vec.begin(), my_vec.end());
      // do stuff with entity
      return 0;
    }
    

答案 1 :(得分:1)

您可以使用类模板和辅助函数模板来执行您想要执行的操作。

template <typename iter_type>
class entity {
   iter_type it_begin_;
   iter_type it_end_;

   public:
   entity(iter_type first, iter_type last) 
      : it_begin_(first), it_end_(last) { } 
};

template <typename iter_type>
entity<iter_type> make_entity(iter_type first, iter_type last)
{
   return entity<iter_type>(first, last);
}

使用示例:

#include <iterator>
#include <vector>
#include <map>

int main()
{
   std::vector<double> my_vec {1.0, 2.0, 6.0, 8.0, 2.0};
   auto my_entity1 = make_entity(std::begin(my_vec), std::end(my_vec));
   // do stuff with entity

   std::map<int, double> my_map;
   auto my_entity2 = make_entity(std::begin(my_map), std::end(my_map));
   // do stuff with entity

   return 0;
}

修改

要确保迭代器是前向迭代器并且包含的​​类型是double,您可以使用:

template <typename T> struct is_type_double : public std::false_type {};
template <> struct is_type_double<double> : public std::true_type {};
template <> struct is_type_double<double&> : public std::true_type {};

template <typename iter_type>
class entity {
   iter_type it_begin_;
   iter_type it_end_;

   public:
   entity(iter_type first, iter_type last) 
      : it_begin_(first), it_end_(last)
   {
      static_assert(is_type_double<decltype(*first)>::value, "Problem.");
   } 
};

template <typename iter_type>
entity<iter_type> make_entity(iter_type first, iter_type last)
{
   return entity<iter_type>(first, last);
}

有了这个,您可以使用:

std::vector<double> my_vec {1.0, 2.0, 6.0, 8.0, 2.0};
auto my_entity1 = make_entity(std::begin(my_vec), std::end(my_vec));

如果使用:

,将会出现编译时错误
std::map<int, double> my_map;
auto my_entity2 = make_entity(std::begin(my_map), std::end(my_map));