VC的std::sort有幾處沒看懂,大俠幫忙解釋一下吧

zserewr

VC std::sort，號稱是首先嘗試快速排序，然后在適當(dāng)?shù)臅r候改為堆排序和插入排序：
-----------------------------------

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.     }
    

復(fù)制代碼

問題:

for循環(huán)如果執(zhí)行的話，那么在for的內(nèi)部就遞歸調(diào)用了sort。什么時候會推出for循環(huán)來執(zhí)行后面的if/else呢?
因為任何一種遞歸的排序?qū)崿F(xiàn)，似乎都能用遞歸本身完成，不需要推出遞歸以后，再做別的處理�？床怀鰜硎裁礂l件下，會執(zhí)行到if/else

謝謝。

zserewr

自己頂起來一下