支持函數式編程的語言通常具有如下特征，大量使用這些特征的代碼即可被認為是函數式的：

函數是一等公民

函數能作為參數傳遞，或者是作為返回值返回。這個特性使得模板方法模式非常易于編寫，這也促使了這個模式被更頻繁地使用。

以一個簡單的集合排序為例，假設lst是一個數集，并擁有一個排序方法sort需要將如何確定順序作為參數。

如果函數不能作為參數，那么lst的sort方法只能接受普通對象作為參數。這樣一來我們需要首先定義一個接口，然后定義一個實現該接口的類，最后將該類的一個實例傳給sort方法，由sort調用這個實例的compare方法，就像這樣：

#偽代碼

interfaceComparator{

compare(o1,o2)

}

lst=list(range(5))

lst.sort(Comparator(){

compare(o1,o2){

returno2-o1//逆序

})

可見，我們定義了一個新的接口、新的類型(這里是一個匿名類)，并new了一個新的對象只為了調用一個方法。如果這個方法可以直接作為參數傳遞會怎樣呢?看起來應該像這樣：

defcompare(o1,o2):

returno2-o1#逆序

lst=list(range(5))

lst.sort(compare)

請注意，前一段代碼已經使用了匿名類技巧從而省下了不少代碼，但仍然不如直接傳遞函數簡單、自然。

匿名函數(lambda)

lambda提供了快速編寫簡單函數的能力。對于偶爾為之的行為，lambda讓你不再需要在編碼時跳轉到其他位置去編寫函數。

lambda表達式定義一個匿名的函數，如果這個函數僅在編碼的位置使用到，你可以現場定義、直接使用：

1lst.sort(lambdao1,o2:o1.compareTo(o2))

相信從這個小小的例子你也能感受到強大的生產效率：)

封裝控制結構的內置模板函數

為了避開邊界效應，函數式風格盡量避免使用變量，而僅僅為了控制流程而定義的循環變量和流程中產生的臨時變量無疑是最需要避免的。

假如我們需要對剛才的數集進行過濾得到所有的正數，使用指令式風格的代碼應該像是這樣：

lst2=list()

foriinrange(len(lst)):#模擬經典for循環

iflst[i]>0:

lst2.append(lst[i])

這段代碼把從創建新列表、循環、取出元素、判斷、添加至新列表的整個流程完整的展示了出來，儼然把解釋器當成了需要手把手指導的傻瓜。然而，“過濾”這個動作是很常見的，為什么解釋器不能掌握過濾的流程，而我們只需要告訴它過濾規則呢?

在Python里，過濾由一個名為filter的內置函數實現。有了這個函數，解釋器就學會了如何“過濾”，而我們只需要把規則告訴它：

1lst2=filter(lambdan:n>0,lst)

這個函數帶來的好處不僅僅是少寫了幾行代碼這么簡單。

封裝控制結構后，代碼中就只需要描述功能而不是做法，這樣的代碼更清晰，更可讀。因為避開了控制結構的干擾，第二段代碼顯然能讓你更容易了解它的意圖。

另外，因為避開了索引，使得代碼中不太可能觸發下標越界這種異常，除非你手動制造一個。

函數式編程語言通常封裝了數個類似“過濾”這樣的常見動作作為模板函數。唯一的缺點是這些函數需要少量的學習成本，但這絕對不能掩蓋使用它們帶來的好處。

閉包(closure)

閉包是綁定了外部作用域的變量(但不是全局變量)的函數。大部分情況下外部作用域指的是外部函數。

閉包包含了自身函數體和所需外部函數中的“變量名的引用”。引用變量名意味著綁定的是變量名，而不是變量實際指向的對象;如果給變量重新賦值，閉包中能訪問到的將是新的值。

閉包使函數更加靈活和強大。即使程序運行至離開外部函數，如果閉包仍然可見，則被綁定的變量仍然有效;每次運行至外部函數，都會重新創建閉包，綁定的變量是不同的，不需要擔心在舊的閉包中綁定的變量會被新的值覆蓋。

回到剛才過濾數集的例子。假設過濾條件中的0這個邊界值不再是固定的，而是由用戶控制。如果沒有閉包，那么代碼必須修改為：

classgreater_than_helper:

def__init__(self,minval):

self.minval=minval

defis_greater_than(self,val):

returnval>self.minval

defmy_filter(lst,minval):

helper=greater_than_helper(minval)

returnfilter(helper.is_greater_than,lst)

請注意我們現在已經為過濾功能編寫了一個函數my_filter。如你所見，我們需要在別的地方(此例中是類greater_than_helper)持有另一個操作數minval。

如果支持閉包，因為閉包可以直接使用外部作用域的變量，我們就不再需要greater_than_helper了：

defmy_filter(lst,minval):

returnfilter(lambdan:n>minval,lst)

可見，閉包在不影響可讀性的同時也省下了不少代碼量。

函數式編程語言都提供了對閉包的不同程度的支持。在Python2.x中，閉包無法修改綁定變量的值，所有修改綁定變量的行為都被看成新建了一個同名的局部變量并將綁定變量隱藏。Python3.x中新加入了一個關鍵字nonlocal以支持修改綁定變量。但不管支持程度如何，你始終可以訪問(讀取)綁定變量。

內置的不可變數據結構

為了避開邊界效應，不可變的數據結構是函數式編程中不可或缺的部分。不可變的數據結構保證數據的一致性，極大地降低了排查問題的難度。

例如，Python中的元組(tuple)就是不可變的，所有對元組的操作都不能改變元組的內容，所有試圖修改元組內容的操作都會產生一個異常。

函數式編程語言一般會提供數據結構的兩種版本(可變和不可變)，并推薦使用不可變的版本。

遞歸

遞歸是另一種取代循環的方法。遞歸其實是函數式編程很常見的形式，經常可以在一些算法中見到。但之所以放到最后，是因為實際上我們一般很少用到遞歸。如果一個遞歸無法被編譯器或解釋器優化，很容易就會產生棧溢出;另一方面復雜的遞歸往往讓人感覺迷惑，不如循環清晰，所以眾多最佳實踐均指出使用循環而非遞歸。

這一系列短文中都不會關注遞歸的使用。

以上內容為大家介紹了Python如何辨認函數式風格?希望對大家有所幫助，如果想要了解更多Python相關知識，請關注IT培訓機構:千鋒教育。

上一篇

Python在最短的序列參數終止時停止迭代

下一篇

Python的Unittest單元測試使用詳解