在boost.foreach中操作迭代器

boost.foreach库使用起来非常方便,但实现的技巧可算是精彩绝伦。写基础库就应该如此,困难的永远留给自己,将光鲜的一面奉献出来。

 简单使用示例:    

  std::vector<int> vecs;
  vecs.push_back(1);
  vecs.push_back(2);
  vecs.push_back(3);
  vecs.push_back(4);
  vecs.push_back(5);

  BOOST_FOREACH(int index, vecs) {
    _asm nop;
  }

 顺序遍历十分方便,但有时候想获取更多的信息(如:当前遍历的位置索引等)，就不得不需要获取到当前的迭代器位置。

 观察foreach的内部实现,_foreach_cur变量存放当前迭代器的信息,但也仅仅如此,无法直观地获取具体的迭代器类型。

 要使用_foreach_cur变量,必须书写相应的辅助函数.

下面以获取foreach的两个迭代器之间的距离为例: 

namespace boost {
namespace foreach_detail_ {
  
template<typename T, typename C>
inline 
typename boost::iterator_difference<BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type>::type
    distance(auto_any_t first, auto_any_t last, type2type<T, C> *)
{
  typedef BOOST_DEDUCED_TYPENAME foreach_iterator<T, C>::type iter_t;
  return std::distance(auto_any_cast<iter_t, boost::mpl::false_>(first),
    auto_any_cast<iter_t, boost::mpl::false_>(last));
}

} // namespace foreach_detail_
} // namespace boost

 获取当前的迭代位置到容器开始的距离:

#define BOOST_FOREACH_DISTANCE(COL)   \
  boost::foreach_detail_::distance(BOOST_FOREACH_BEGIN(COL), _foreach_cur, BOOST_FOREACH_TYPEOF(COL))

宏参数COL为容器变量或者返回值为容器的函数，根据foreach的实现技巧,该参数并不会被求值,仅仅用其做模板参数的推导。

使用示例:

  BOOST_FOREACH(int index, vecs) {
    assert(index == BOOST_FOREACH_DEREF(vecs));
    size_t dis = BOOST_FOREACH_DISTANCE(vecs);
    _asm nop;
  }