VC的std::sort有几处没看懂,大侠帮忙解释一下吧

zserewr

VC std::sort，号称是首先尝试快速排序，然后在适当的时候改为堆排序和插入排序：
-----------------------------------

1. 
   
2. template<class _RanIt,
   
3.     class _Diff,
   
4.     class _Pr> inline
   
5.     void _Sort(_RanIt _First, _RanIt _Last, _Diff _Ideal, _Pr _Pred)
   
6.     {    // order [_First, _Last), using _Pred
   
7.     _Diff _Count;
   
8.     for (; _ISORT_MAX < (_Count = _Last - _First) && 0 < _Ideal; )
   
9.         {    // divide and conquer by quicksort
   
10.         _STD pair<_RanIt, _RanIt> _Mid =
    
11.             _Unguarded_partition(_First, _Last, _Pred);
    
12.         _Ideal /= 2, _Ideal += _Ideal / 2;    // allow 1.5 log2(N) divisions
    
13. 
    
14.         if (_Mid.first - _First < _Last - _Mid.second)
    
15.             {    // loop on second half
    
16.             _Sort(_First, _Mid.first, _Ideal, _Pred);
    
17.             _First = _Mid.second;
    
18.             }
    
19.         else
    
20.             {    // loop on first half
    
21.             _Sort(_Mid.second, _Last, _Ideal, _Pred);
    
22.             _Last = _Mid.first;
    
23.             }
    
24.         }
    
25. 
    
26.     if (_ISORT_MAX < _Count)
    
27.         {    // heap sort if too many divisions
    
28.         _STD make_heap(_First, _Last, _Pred);
    
29.         _STD sort_heap(_First, _Last, _Pred);
    
30.         }
    
31.     else if (1 < _Count)
    
32.         _Insertion_sort(_First, _Last, _Pred);    // small
    
33.     }
    

复制代码

问题:

for循环如果执行的话，那么在for的内部就递归调用了sort。什么时候会推出for循环来执行后面的if/else呢?
因为任何一种递归的排序实现，似乎都能用递归本身完成，不需要推出递归以后，再做别的处理。看不出来什么条件下，会执行到if/else

谢谢。

zserewr

自己顶起来一下