分享關(guān)于Java語(yǔ)言中的函數(shù)編程

2019-11-17 06:34:36

字體：大中小

供稿：網(wǎng)友

　　假如您從事大型企業(yè)項(xiàng)目開(kāi)發(fā)，您就會(huì)熟悉編寫(xiě)模塊化代碼的好處。良構(gòu)的、模塊化的代碼更輕易編寫(xiě)、調(diào)試、理解和重用。java 開(kāi)發(fā)人員的問(wèn)題是，函數(shù)編程范型長(zhǎng)期以來(lái)只是通過(guò)像 Haskell、Scheme、Erlang 和 Lisp 這樣的非凡語(yǔ)言實(shí)現(xiàn)的。在本文中，作者 Abhijit Belapurkar 展示了，如何使用像閉包（closure）和高階函數(shù)（higher order function）這樣的函數(shù)編程結(jié)構(gòu)，在 Java 語(yǔ)言中編寫(xiě)良構(gòu)的、模塊化的代碼。
　　
　　Java 語(yǔ)言中常被忽視的一個(gè)方面是它被歸類(lèi)為一種命令式（imperative）編程語(yǔ)言。命令式編程雖然由于與 Java 語(yǔ)言的關(guān)聯(lián)而相當(dāng)普及，但是并不是惟一可用的編程風(fēng)格，也不總是最有效的。在本文中，我將探討在 Java 開(kāi)發(fā)實(shí)踐中加入不同的編程方法 ── 即函數(shù)編程（FP）。
　　
　　命令式編程是一種用程序狀態(tài)描述計(jì)算的方法。使用這種范型的編程人員用語(yǔ)句改變程序狀態(tài)。這就是為什么，像 Java 這樣的程序是由一系列讓計(jì)算機(jī)執(zhí)行的命令（或者語(yǔ)句）所組成的。另一方面，函數(shù)編程是一種強(qiáng)調(diào)表達(dá)式的計(jì)算而非命令的執(zhí)行的一種編程風(fēng)格。表達(dá)式是用函數(shù)結(jié)合基本值構(gòu)成的，它類(lèi)似于用參數(shù)調(diào)用函數(shù)。
　　
　　本文將介紹函數(shù)編程的基本特點(diǎn)，但是重點(diǎn)放在兩個(gè)非凡適用于 Java 開(kāi)發(fā)框架的元素：閉包和高階函數(shù)。假如您曾經(jīng)使用過(guò)像 Python、Ruby 或者 Groovy （請(qǐng)參閱參考資料）這樣的靈敏開(kāi)發(fā)語(yǔ)言，那么您就可能已經(jīng)碰到過(guò)這些元素。在這里，您將看到在 Java 開(kāi)發(fā)框架中直接使用它們會(huì)出現(xiàn)什么情況。我將首先對(duì)函數(shù)編程及其核心元素做一個(gè)簡(jiǎn)短的、概念性的綜述，然后用常用的編程場(chǎng)景展示，用結(jié)構(gòu)化的方式使用閉包和高階函數(shù)會(huì)給 Java 代碼帶來(lái)什么好處。
　　
　　什么是函數(shù)編程？
　　
　　在經(jīng)常被引用的論文 “Why Functional PRogramming Matters”（請(qǐng)參閱參考資料）中，作者 John Hughes 說(shuō)明了模塊化是成功編程的要害，而函數(shù)編程可以極大地改進(jìn)模塊化。在函數(shù)編程中，編程人員有一個(gè)天然框架用來(lái)開(kāi)發(fā)更小的、更簡(jiǎn)單的和更一般化的模塊，然后將它們組合在一起。函數(shù)編程的一些基本特點(diǎn)包括：
　　
　　支持閉包和高階函數(shù)。
　　支持懶惰計(jì)算（lazy evaluation）。
　　使用遞歸作為控制流程的機(jī)制。
　　加強(qiáng)了引用透明性。
　　沒(méi)有副作用。
　　
　　我將重點(diǎn)放在在 Java 語(yǔ)言中使用閉包和高階函數(shù)上，但是首先對(duì)上面列出的所有特點(diǎn)做一個(gè)概述。
　　
　　閉包和高階函數(shù)
　　
　　函數(shù)編程支持函數(shù)作為第一類(lèi)對(duì)象，有時(shí)稱為閉包或者仿函數(shù)（functor）對(duì)象。實(shí)質(zhì)上，閉包是起函數(shù)的作用并可以像對(duì)象一樣操作的對(duì)象。與此類(lèi)似，F(xiàn)P 語(yǔ)言支持高階函數(shù)。高階函數(shù)可以用另一個(gè)函數(shù)（間接地，用一個(gè)表達(dá)式）作為其輸入?yún)?shù)，在某些情況下，它甚至返回一個(gè)函數(shù)作為其輸出參數(shù)。這兩種結(jié)構(gòu)結(jié)合在一起使得可以用優(yōu)雅的方式進(jìn)行模塊化編程，這是使用 FP 的最大好處。
　　
　　命令式編程
　　
　　命令式編程這個(gè)名字是從自然語(yǔ)言（比如英語(yǔ)）的祈使語(yǔ)氣（imperative mood）衍生出來(lái)的，在這種語(yǔ)氣中公布命令并按照?qǐng)?zhí)行。除 Java 語(yǔ)言之外，C 和 C++ 是另外兩種廣泛使用的、符合命令式風(fēng)格的高級(jí)編程語(yǔ)言。
　　
　　懶惰計(jì)算
　　
　　除了高階函數(shù)和仿函數(shù)（或閉包）的概念，F(xiàn)P 還引入了懶惰計(jì)算的概念。在懶惰計(jì)算中，表達(dá)式不是在綁定到變量時(shí)立即計(jì)算，而是在求值程序需要產(chǎn)生表達(dá)式的值時(shí)進(jìn)行計(jì)算。延遲的計(jì)算使您可以編寫(xiě)可能潛在地生成無(wú)窮輸出的函數(shù)。因?yàn)椴粫?huì)計(jì)算多于程序的其余部分所需要的值，所以不需要擔(dān)心由無(wú)窮計(jì)算所導(dǎo)致的 out-of-memory 錯(cuò)誤。一個(gè)懶惰計(jì)算的例子是生成無(wú)窮 Fibonacci 列表的函數(shù)，但是對(duì) 第 n 個(gè)Fibonacci 數(shù)的計(jì)算相當(dāng)于只是從可能的無(wú)窮列表中提取一項(xiàng)。
　　
　　遞歸
　　
　　FP 還有一個(gè)特點(diǎn)是用遞歸做為控制流程的機(jī)制。例如，Lisp 處理的列表定義為在頭元素后面有子列表，這種表示法使得它自己自然地對(duì)更小的子列表不斷遞歸。
　　
　　關(guān)于實(shí)現(xiàn)庫(kù)
　　
　　我使用了由 Apache Commons Functor 項(xiàng)目提供的庫(kù)構(gòu)建本文使用的例子。Apache Commons Functor 庫(kù)包括大量基本構(gòu)造，可以在涉及閉包和高階函數(shù)的復(fù)雜使用場(chǎng)景中重復(fù)使用。當(dāng)然，可以使用不同的實(shí)現(xiàn)（如 Java Generic Libraries、Mango 或者 Generic Algorithms for Java），而不會(huì)對(duì)在本文中所討論和展示的概念有影響，盡管您必須下載和使用 Apache Commons Functor 庫(kù)才能演示這里的例子。
　　
　　引用透明性
　　
　　函數(shù)程序通常還加強(qiáng) 引用透明性，即假如提供同樣的輸入，那么函數(shù)總是返回同樣的結(jié)果。就是說(shuō)，表達(dá)式的值不依靠于可以改變值的全局狀態(tài)。這使您可以從形式上推斷程序行為，因?yàn)楸磉_(dá)式的意義只取決于其子表達(dá)式而不是計(jì)算順序或者其他表達(dá)式的副作用。這有助于驗(yàn)證正確性、簡(jiǎn)化算法，甚至有助于找出優(yōu)化它的方法。
　　
　　副作用
　　
　　副作用是修改系統(tǒng)狀態(tài)的語(yǔ)言結(jié)構(gòu)。因?yàn)?FP 語(yǔ)言不包含任何賦值語(yǔ)句，變量值一旦被指派就永遠(yuǎn)不會(huì)改變。而且，調(diào)用函數(shù)只會(huì)計(jì)算出結(jié)果 ── 不會(huì)出現(xiàn)其他效果。因此，F(xiàn)P 語(yǔ)言沒(méi)有副作用。
　　
　　這些基本描述應(yīng)足以讓您完成本文中的函數(shù)編程例子。有關(guān)這個(gè)主題的更多參考資料請(qǐng)參閱參考資料一節(jié)。
　　
　　Java 語(yǔ)言中的函數(shù)編程
　　
　　不管是否相信，在 Java 開(kāi)發(fā)實(shí)踐中您可能已經(jīng)碰到過(guò)閉包和高階函數(shù)，盡管當(dāng)時(shí)您可能沒(méi)有意識(shí)到。例如，許多 Java 開(kāi)發(fā)人員在匿名內(nèi)部類(lèi)中封閉 Java 代碼的一個(gè)詞匯單元（lexical unit）時(shí)第一次碰到了閉包。

上一篇：Java高級(jí)編程——泛型類(lèi)型第二部分

下一篇：Java SE 6.0 桌面API編程探討