C++分析研究  
C++
日历
<2014年1月>
2930311234
567891011
12131415161718
19202122232425
2627282930311
2345678
统计
  • 随笔 - 92
  • 文章 - 4
  • 评论 - 4
  • 引用 - 0

导航

常用链接

留言簿

随笔档案

文章档案

搜索

  •  

最新评论

阅读排行榜

评论排行榜

 

  一、迭代器概述
  这个标题其实有点"标题党"的含义,因为C++在标准库中的实现迭代器的方式只有一种,也就是为类定义begin()和end()函数,C++11增加了range for语句,可以用来遍历迭代器中的元素。实现迭代器的第二种方式,就是用C++模拟C#和Java中的迭代器模式,并且我们可以定义出自己的foreach语句。除此之外,迭代器可能还有很多种实现的方法,各个库也会多自己的迭代器的实现有所定义,在这里只要明白迭代器的本质意义即可。
  迭代器,也称作游标,是一种设计模式,我们可以对它进行递增(或选择下一个)来访问容器中的元素,而无需知道它内部是如何实现的。
  很多语言提供foreach语句来访问容器中的每一个元素,其实也就是调用容器中的迭代器,抽象地来说就是:
  foreach ( 元素 : 容器 ) { … }
  上面的代码等效于:
  for ( 游标=获得迭代器的开头,获得迭代器的末尾; 游标 != 迭代器末尾; 游标移动一个单位 ) {…} // C++ 的迭代器模式
  或者:
  while ( 迭代器游标移动一个单位(返回是否存在下一个单位)) { … } // C#、Java的迭代器模式,可以用迭代器。Current之类的方法返回游标所指向的元素
  二、C++中的迭代器实现方式
  迭代器其实是一个类,要自定义一个迭代器,就要重载迭代器的!=、解引用(*)、++运算符,以便它在range for语句中使用。range for 是C++11中新增的语句,如我们对一个集合使用语句for (auto i : collection ) 时,它的含义其实为:
  for ( auto __begin = collection.begin(), auto __end = collection.end(); __begin != __end(); ++__begin )
  { i = *__begin;
  … //循环体
  }
  begin和end是集合的成员函数,它返回一个迭代器。如果让一个类可以有range for的操作,它必须: · 拥有begin和end函数,它们均返回迭代器 · end函数返回一个指向集合末尾,但是不包含末尾元素的值,即用集合范围来表示,一个迭代器的范围是 [ begin, end ) 一个左闭右开区间 对于迭代器,它的要求至少是: · 必须重载++、!=和解引用(*)运算符;迭代器看起来会像一个指针 · 迭代器必须可以通过++最后满足!=条件,这样才能够终止循环
  下面给出最简单的实现代码。我们定义一个CPPCollection类,里面有个字符串数组,我们让它能够通过range for将每个字符串输出来。
  #include <IOSTREAM>
  class CPPCollection {
  public:
  class Iterator{
  public:
  int index;
  CPPCollection& outer;
  Iterator(CPPCollection &o, int i) : outer(o), index(i) { }
  void operator++(){
  index++;
  }
  std::string operator*() const{
  return outer.str[index];
  }
  bool operator !=(Iterator i){
  return i.index != index - 1;
  }
  };
  public:
  std::string str[10] {"a", "b", "c", "d", "e", "f", "g", "h", "i", "j"};
  Iterator begin() {
  return Iterator(*this, 0);
  }
  Iterator end() {
  return Iterator(*this, 9);
  }
  };
  我们定义了个内部的嵌套类Iterator,并为它重载了++、*、!=运算符。由于C++中的内部嵌套类与外围的类没有联系,为了访问外部类对象的值,我们必须要传入一个引用(或指针,本例中传入引用)。Iterator的自增方法其实就是增加内部的一个索引值。判断!=的方法是和另外一个迭代器做比较,这个迭代器一般是集合的末尾,当我们的索引值不等于末尾的索引值-1( [begin, end) )时,认为迭代器已经达到了末尾。 在CPPCollection类中,定义了begin()、end()分别返回开头、结束迭代器,调用如下代码:
  CPPCollection cpc;
  for (auto i : cpc){
  std::cout 《 i 《 std::endl;
  }
  即可遍历集合中的所有元素了。
  在泛型算法中,为了对集合中的每一个元素进行操作,我们通常要传入集合的迭代器头、迭代器尾,以及谓词,例如std::find_if(vec.begin(), vec.end(), …),这种泛型算法其实就是在迭代器的首位反复迭代,然后运行相应的行为。
  三、模拟C#(Java)中的迭代器实现方式
  C#和Java的迭代器实现方式较为类似,在这里以C#为例,我用C++来模拟它的实现。C#中,可迭代的类继承IEnumerable接口,它声明了一个方法GetEnumerator,返回一个迭代器。迭代器继承IEnumerator接口,接口定义了MoveNext()方法:将游标移动一个单位,并返回是否还可以移动;Reset()方法:游标归位; Current属性:返回当前游标所指向的值(在C#中,Current是一个属性,为了模拟它,在C++中将它定义为一个函数),并且用只包含抽象函数的类来模拟接口托福答案
  #define interface struct
  template <TYPENAME T>
  interface IEnumerator {
  virtual T& Current() = 0;
  virtual bool MoveNext() = 0;
  virtual void Reset() = 0;
  virtual ~IEnumerator<T>() { };
  };
  template <TYPENAME T>
  interface IEnumerable {
  virtual IEnumerator<T>& GetEnumerator() = 0;
  virtual ~IEnumerable () { };
  };
  为了自定义一个foreach"关键字",可以用宏定义来进行迭代器的等效替代:
  #define foreach(item, collection) \
  auto &__item_enumerator = collection.GetEnumerator(); \
  __item_enumerator.Reset(); \
  while (item = __item_enumerator.Current(), __item_enumerator.MoveNext())
  当我们使用foreach的时候,宏展开自动展开为调用集合类collection的GetEnumerator()函数来获得一个迭代器的引用,复位之,并将当前值赋予item,迭代器向前移动。需要注意的是,我们在代码中不能重复定义__item_enumerator变量,且类型一定要为auto&:auto变量不会保留引用符号,且如果不是引用(或指针),会触发拷贝构造函数,从而失去对象的多态性。 如同刚才一样,我们定义一个集合类:
  class CSharpCollection : public IEnumerable<STD::STRING>{
  public:
  class Enumerator : public IEnumerator<STD::STRING> {
  public:
  CSharpCollection &outer; //外部类
  int index = 0; //下标
  Enumerator (CSharpCollection &o) : outer(o){
  }
  bool MoveNext() override {
  index++;
  if (index <= 10) return true;
  delete this;
  return false;
  }
  void Reset() override {
  index = 0;
  }
  std::string &Current() override {
  return outer.str[index];
  }
  ~Enumerator (){
  std::cout 《 "Enumerator 被析构" 《 std::endl;
  }
  };
  public:
  std::string str[10] {"a", "b", "c", "d", "e", "f", "g", "h", "i", "j"};
  IEnumerator<STD::STRING>& GetEnumerator() override{
  return *new Enumerator(*this);
  }
  };
  需要注意的是,凡是体现多态性的函数,返回值必须为引用或者指针,且不得为栈中的临时变量,因此我们调用完GetEnumerator()后,要将生成的迭代器删除,删除的代码写在了MoveNext()内,当游标不可移动的时候,迭代器被删除托福答案
  以后就可以用自己的foreach宏定义来遍历元素了:
  std::string a;
  CSharpCollection csc;
  IEnumerable<STD::STRING>& refcsc = csc;
  foreach (a , refcsc ){
  std::cout 《 a 《 std::endl;
  }
  上面代码的第三行意在说明,如果一个类中继承了IEnumerable类,它一定是可迭代的,可以调用它的Reset()、MoveNext()、Current(),也可以用我们刚刚写的foreach来进行遍历。

posted on 2014-08-25 21:36 HAOSOLA 阅读(7109) 评论(0)  编辑 收藏 引用

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理


 
Copyright © HAOSOLA Powered by: 博客园 模板提供:沪江博客
PK10开奖 PK10开奖