如何使用end()迭代器扩展范围

Question

（不确定这是正确的任务）我正在写一个与经典排序相关的stl风格的算法。原型是：

  template<typename RAIter>
  void Algo(RAIter first, RAIter last) {
  ....
    size_t size = std::distance(first, last);
    RAIter midIter =first;
    std::advance(midIter, size / 2 - 1);
    Algo(first, midIter);
    Algo(midIter + 1, last);
    ....
 }

但它对我来说并不正确，因为，最初它得到的范围如下：向量v；阿尔戈（v.开始（），v.结束（））；然而，在内部，在递归调用中，子范围不包含end（）元素。

这种情况下的典型技术是什么？

Answer 1

我建议两种选择。

1. （首选）使算法在内部不需要包含last。在你的情况下，它可以这样做：

   template<typename RAIter>
   void Algo(RAIter first, RAIter last) {
       ....
       size_t size = std::distance(first, last);
       if (size <= 1) {
            // special processing of single-item or empty range
            return;
       }
       RAIter midIter =first;
       std::advance(midIter, size / 2);
       Algo(first, midIter); // midIter not included
       Algo(midIter, last);  // it's included here instead
   }
   

2. 制作一个单独的函数，期望包含last的范围：

   template<typename RAIter>
   void AlgoImpl(RAIter first, RAIter last) {
       ....
       // looks like this is more correct:
       // size_t size = std::distance(first, last) + 1;
       size_t size = std::distance(first, last);
       RAIter midIter =first;
       std::advance(midIter, size / 2 - 1); // and here "- 1" seems wrong 
       AlgoImpl(first, midIter);
       AlgoImpl(midIter + 1, last);
       ....
   }
   template<typename RAIter>
   void Algo(RAIter first, RAIter last) {
       if (first == last) {
           return;
       }
       AlgoImpl(first, last - 1);
   }