Scala快速排序演算法解析

一、源**

def sort(ls: list[int]): list[int] =

} }

二、演算法的核心

1）快速排序事先選取乙個元素作為用來比較的基準。比基準大的數放在右邊，比基準小的數放在左邊，一次分成大、小兩類。

2）每一類又通過選取乙個基準再次進行大小的分類。直到左右兩邊沒有資料為止。

三、遞迴的解釋

理解遞迴的關鍵在於先接受它。我們事先暗示自己「sort函式能夠對輸入的列表進行排序」。

按照這種暗示，我們進入sort函式體內，分成兩種情況

1）如果傳入的是nil，則返回nil——沒錯，sort對nil進行的排序。

2）如果傳入的不是nil，sort會將列表ls分解成兩個部分left和right，實際上還有首部tail。然後返回乙個列表——這個列表由排序過的left+首部base+排序後的right。當然sort方法實現了它的承諾，返回的列表是排過序的。

先不要慶幸理解了快速排序，在這之後我們需要跳出這個暗示，說服自己為什麼2）中的sort能夠完成排序（這時候要把內部的自身呼叫看成另外乙個函式）

合理的解釋是sort能夠把傳入列表拆分成左右兩個部分，然後使用乙個拆分函式繼續拆分，直到為nil。這裡的拆分函式還是sort，這個解釋的重點在於「拆分」，而不是排序。換句話說，我們要從2）轉到1）。現在2）過程能轉到1），而1）是可以被接受的。所以，這個遞迴方式是成立的。

其實，我只是想表述，看到sort排序的時候自己心裡是如何想的，後面不知不覺就成了證明，當然這不算乙個證明。我的目的是讓你從上面的描述中感受到遞迴的思想。