Question

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

#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

Answer 1

有几件事：

std::begin(my_vec)返回一个迭代器，但实体类在其上存储引用。如果您想以这种方式使用它，请删除引用&。
存储迭代器没有问题，但迭代器总是相对于像vector::iterator这样的容器类型。或者你可以模拟你的课程：

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;
}

Answer 2

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

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));

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

2 个答案: