這是此系列的第二篇，試圖說明在Python中如何更好地使用函數并引導諸位使用函數式的思維進行思考。掌握并應用這些內容，就已經是至少形似的函數式風格的代碼了，至于思維么，這個真靠自己。

作者水平有限，如有錯漏之處還請指出；轉載請注明原作者和原地址：）

2. 從函數開始

2.1. 定義一個函數

如下定義了一個求和函數：

def add(x, y):
return x + y 

使用lambda可以定義簡單的單行匿名函數。lambda的語法是：

lambda args: expression 

lambda_add = lambda x, y: x + y 

2.2. 使用函數賦值

事實上你已經見過了，上一節中我們將lambda表達式賦值給了add。同樣，使用def定義的函數也可以賦值，相當于為函數取了一個別名，并且可以使用這個別名調用函數：

add_a_number_to_another_one_by_using_plus_operator = add
print add_a_number_to_another_one_by_using_plus_operator(1, 2) 

2.3. 閉包

閉包是一類特殊的函數。如果一個函數定義在另一個函數的作用域中，并且函數中引用了外部函數的局部變量，那么這個函數就是一個閉包。下面的代碼定義了一個閉包：

def f():
n = 1
def inner():
print n
inner()
n = 'x'
inner() 

如果需要在函數中修改全局變量，可以使用關鍵字global修飾變量名。Python 2.x中沒有關鍵字為在閉包中修改外部變量提供支持，在3.x中，關鍵字nonlocal可以做到這一點：

#Python 3.x supports `nonlocal'
def f():
n = 1
def inner():
nonlocal n
n = 'x'
print(n)
inner()
print(n) 

由于使用了函數體外定義的變量，看起來閉包似乎違反了函數式風格的規則即不依賴外部狀態。但是由于閉包綁定的是外部函數的局部變量，而一旦離開外部函數作用域，這些局部變量將無法再從外部訪問；另外閉包還有一個重要的特性，每次執行至閉包定義處時都會構造一個新的閉包，這個特性使得舊的閉包綁定的變量不會隨第二次調用外部函數而更改。所以閉包實際上不會被外部狀態影響，完全符合函數式風格的要求。（這里有一個特例，Python 3.x中，如果同一個作用域中定義了兩個閉包，由于可以修改外部變量，他們可以相互影響。）

雖然閉包只有在作為參數和返回值時才能發揮它的真正威力，但閉包的支持仍然大大提升了生產率。

2.4. 作為參數

如果你對OOP的模板方法模式很熟悉，相信你能很快速地學會將函數當作參數傳遞。兩者大體是一致的，只是在這里，我們傳遞的是函數本身而不再是實現了某個接口的對象。
我們先來給前面定義的求和函數add熱熱身：

print add('三角形的樹', '北極') 

言歸正傳。我們的客戶有一個從0到4的列表：

lst = range(5) #[0, 1, 2, 3, 4] 

amount = 0
for num in lst:
amount = add(amount, num) 

首先可以預見的是求和這個動作是非常常見的，如果我們把這個動作抽象成一個單獨的函數，以后需要對另一個列表求和時，就不必再寫一遍這個套路了：

def sum_(lst):
amount = 0
for num in lst:
amount = add(amount, num)
return amount
print sum_(lst) 

如果現在需要求乘積，我們可以寫出類似的流程——只需要把相加換成相乘就可以了：

def multiply(lst):
product = 1
for num in lst:
product = product * num
return product 

def reduce_(function, lst, initial):
result = initial
for num in lst:
result = function(result, num)
return result
print reduce_(add, lst, 0)

print reduce_(lambda x, y: x * y, lst, 1) 

雖然有模板方法這樣的設計模式，但那樣的復雜度往往使人們更情愿到處編寫循環。將函數作為參數完全避開了模板方法的復雜度。

Python有一個內建函數reduce，完整實現并擴展了reduce_的功能。本文稍后的部分包含了有用的內建函數的介紹。請注意我們的目的是沒有循環，使用函數替代循環是函數式風格區別于指令式風格的最顯而易見的特征。

*像Python這樣構建于類C語言之上的函數式語言，由于語言本身提供了編寫循環代碼的能力，內置函數雖然提供函數式編程的接口，但一般在內部還是使用循環實現的。同樣的，如果發現內建函數無法滿足你的循環需求，不妨也封裝它，并提供一個接口。

2.5. 作為返回值

將函數返回通常需要與閉包一起使用（即返回一個閉包）才能發揮威力。我們先看一個函數的定義：

def map_(function, lst):
result = []
for item in lst:
result.append(function(item))
return result 

這里我們先略過map_的蹩腳實現而只關注它的功能。對于上一節中的lst，你可能發現最后求乘積結果始終是0，因為lst中包含了0。為了讓結果看起來足夠大，我們來使用map_為lst中的每個元素加1：

lst = map_(lambda x: add(1, x), lst)
print reduce_(lambda x, y: x * y, lst, 1) 

lst = map_(lambda x: add(10, x), lst)
print reduce_(lambda x, y: x * y, lst, 1) 

現在回頭看看我們寫的兩個lambda表達式：相似度超過90%，絕對可以使用抄襲來形容。而問題不在于抄襲，在于多寫了很多字符有木有？如果有一個函數，根據你指定的左操作數，能生成一個加法函數，用起來就像這樣：

lst = map_(add_to(10), lst) #add_to(10) 

寫起來應該會舒服不少。下面是函數add_to的實現：

def add_to(n):
return lambda x: add(n, x) 

functools.partial(func[, *args][, **keywords]) 

另外一個特殊的例子是裝飾器。裝飾器用于增強甚至干脆改變原函數的功能，我曾寫過一篇文檔介紹裝飾器，地址在這里：http://www.cnblogs.com/huxi/archive/2011/03/01/1967600.html。

*題外話，單就例子中的這個功能而言，在一些其他的函數式語言中（例如Scala）可以使用名為柯里化(Currying)的技術實現得更優雅。柯里化是把接受多個參數的函數變換成接受一個單一參數（最初函數的第一個參數）的函數，并且返回接受余下的參數而且返回結果的新函數的技術。如下的偽代碼所示：

#不是真實的代碼
def add(x)(y): #柯里化
return x + y
lst = map_(add(10), lst) 

2.6. 部分內建函數介紹

• reduce(function, iterable[, initializer])
  這個函數的主要功能與我們定義的reduce_相同。需要補充兩點：
  它的第二個參數可以是任何可迭代的對象（實現了__iter__()方法的對象）；
  如果不指定第三個參數，則第一次調用function將使用iterable的前兩個元素作為參數。
  由reduce和一些常見的function組合成了下面列出來的內置函數：

  all(iterable) == reduce(lambda x, y: bool(x and y), iterable)
  any(iterable) == reduce(lambda x, y: bool(x or y), iterable)
  max(iterable[, args...][, key]) == reduce(lambda x, y: x if key(x) > key(y) else y, iterable_and_args)
  min(iterable[, args...][, key]) == reduce(lambda x, y: x if key(x) < key(y) else y, iterable_and_args)
  sum(iterable[, start]) == reduce(lambda x, y: x + y, iterable, start) 
  

  map(function, iterable, …)
  這個函數的主要功能與我們定義的map_相同。需要補充一點：
  map還可以接受多個iterable作為參數，在第n次調用function時，將使用iterable1[n], iterable2[n], …作為參數。

• filter(function, iterable)
  這個函數的功能是過濾出iterable中所有以元素自身作為參數調用function時返回True或bool(返回值)為True的元素并以列表返回，與系列第一篇中的my_filter函數相同。
• zip(iterable1, iterable2, …)
  這個函數返回一個列表，每個元素都是一個元組，包含(iterable1[n], iterable2[n], …)。
  例如：zip([1, 2], [3, 4]) –> [(1, 3), (2, 4)]
  如果參數的長度不一致，將在最短的序列結束時結束；如果不提供參數，將返回空列表。

除此之外，你還可以使用本文2.5節中提到的functools.partial()為這些內置函數創建常用的偏函數。

另外，pypi上有一個名為functional的模塊，除了這些內建函數外，還額外提供了更多的有意思的函數。但由于使用的場合并不多，并且需要額外安裝，在本文中就不介紹了。但我仍然推薦大家下載這個模塊的純Python實現的源代碼看看，開闊思維嘛。里面的函數都非常短，源文件總共只有300行不到，地址在這里：http://pypi.Python.org/pypi/functional

此篇結束：）