如何使用 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.begin（），v.end（））； 但是，在内部，在递归调用中，子范围不包含 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);
   }