摘要:函數(shù)副作用會給程序設(shè)計帶來不必要的麻煩,引入潛在的,并降低程序的可讀性。所以只能采用這種曲線救國的方式。則是把這種曲線救國拿到了臺面上,并昭告天下,同時還對提供了一些語法支持。是自由變量,提供執(zhí)行上下文,觸發(fā)閉包執(zhí)行。
背景
自從2013年放棄了Java就再也沒有碰過。期間Java還發(fā)布了重大更新:引入lambda,但是那會兒我已經(jīng)玩了一段時間Scala,對Java已經(jīng)瞧不上眼。相比Scala Java 8 的lambda還是too young, too naive!再后來,我有機會學習了一下C#。雖然C#師承Java,但它已經(jīng)是一門非常現(xiàn)代化的語言了,青出于藍而勝于藍。首先是LINQ,提供了一致的,并且非常有表達力的數(shù)據(jù)操作API。還有像擴展函數(shù),匿名類這些語法特性,用起來也是非常趁手。在技術(shù)層面微軟比甲骨文強了不知道多少倍。而且這幾年Java社區(qū)也有點蕭條,國內(nèi)再也沒有出現(xiàn)過類似JavaEye這樣的高質(zhì)量技術(shù)社區(qū)。種種原因都導(dǎo)致我離Java越來越遠。
今年五月份,公司要做新的業(yè)務(wù),團隊里的一些老成員已經(jīng)被動態(tài)語言(主要是Python,還有一些Ruby)折磨的無可奈何,決定重新用回Java。如果不是應(yīng)為這,我恐怕再也不會用Java了。但是工作嘛,沒有太多選擇的余地。既然團隊決定了那就硬著頭皮上吧。第一步肯定是要了解一下Java8的函數(shù)式特性(這可是千呼萬喚始出來?。_@段時間用下來的總體感覺是,沒我想象中的那么糟,還湊合。下邊總結(jié)了一些Java8函數(shù)式編程的要點:包括Optional,lambda表達式,Stream
OptionalNullPointerException,這個應(yīng)該是Java里被人詬病最多的了,有的公司應(yīng)為這個損失的錢可不是小數(shù)。那在Java 8里引入了一個Optional類型來解決這個問題。Optional是什么呢?在函數(shù)式編程里Optional其實就是一個Monad。和其他編程語言中,比如Scala的Option,Haskell的Maybe異曲同工。
在沒有Optional之前,通常做法是返回null,或者程序拋出異常,具體使用要看團隊的規(guī)范。但這兩種方式都有各自的問題,我再數(shù)落一遍。
對于返回null,試想如果所有的方法都由可能返回null,那對方法使用者來說非常恐怖的。處處防,處處防。而且每一個null都是一個地雷,哪一個地方疏忽了都有可能被“炸”到。
拋出異常呢,不會有處處寫防御代碼的問題了。但是這種解決方案也是非?!皽惡稀?。Java中異常分為兩種:受檢異常和非受檢異常。如果使用了非受檢異常程序就會直接被異常中斷,通常在Spring中是提倡直接拋出非受檢異常的,再搭配上Spring的攔截器,省去了程序員不少麻煩。
受檢異常就不一樣了,使用受檢異常絕不會比使用null好到哪里去。在方法的簽名上附帶上函數(shù)可能拋出的異常,讓方法使用者去判斷如何處理這個異常。看起來這是一種負責任的做法,事實確是把自己不想做的事情(異常處理)交給了方法調(diào)用者。Jackson類庫就是這樣,每次使用它序列化對象時都得考慮是try-catch還是修改方法簽名(告知外部方法處理)。非常不友好。
再有一點,拋出Exception意味著這個函數(shù)(方法)是帶有副作用的。函數(shù)副作用會給程序設(shè)計帶來不必要的麻煩,引入潛在的bug,并降低程序的可讀性。試想一個函數(shù)從其簽名上來看應(yīng)該返回一個訂單,但是結(jié)果卻是它不總能夠返回訂單,有時還拋出異常。
終于可以開始說Optional了。用白話形容,Optional就是一個盒子。當你拿到這個盒子的時候,盒子可能里邊有想要的東西,但也可能只是一個空盒子。所以原來返回null,或者跑出異常的方法我們可以直接返回一個盒子。來一個例子,這個例子來改進一下Jackson的API:
public Optionaljson(Object object) { String jsonString = null; try { jsonString = new ObjectMapper().writeValueAsString(object); } catch (JsonProcessingException e) { e.printStackTrace(); } return Optional.ofNullable(jsonString); }
這個新的方法不再讓調(diào)用者處理異常,也不存在返回null的風險。但是問題來了,拿到了這個“盒子”我們接下來該怎么辦???別著急,Optional提供了非常豐富的接口,幾乎能夠滿足你日常全部的使用場景。以下接口都是非常常用的:
判斷Optional是否有值:op.isPresent()
基于Optional封裝的結(jié)果做一些操作,并繼續(xù)返回一個Optional類型的結(jié)果:op.map(str -> str.trim())
合并兩個Optional為一個:op.flatMap(s -> op2.map(s2 -> s1 + s2))
只有在有值的情況下才進行一些操作:op.ifPresent(s -> s.trim())
如果Optional有值則返回,沒有返回給定的默認值:op.orElse("hello")
還有一些其它的接口,請自行查閱Optional API文檔。注意在使用Optional的時候不推薦直接使用get(),因為這樣可能會拋出異常。
我曾經(jīng)把方法的參數(shù)也置為Optional類型,但是的到了IDEA的警告:Optional不推薦用作方法的參數(shù)。我隨后Google了一些帖子,得到的答案就是:對于方法的參數(shù),null可能比Optional更好用一些。在Scala和Haskell里是沒有這樣的限制的,你可以任意的把Option和Maybe當做參數(shù)。因為在Scala和Haskell中Option和Maybe是基本的數(shù)據(jù)類型。Java中的Optional則只是一種受限的實現(xiàn),主要的目的是提供一種清晰,友好的表達“空”的方式。
Lambda 表達式lambda表達式在上邊我們已經(jīng)用到了,比如op.map(str -> str.trim()),str -> str.trim()就是一個lambda表達式。Java和其他大多數(shù)支持lambda的語言一樣采用箭頭:-> 來標示lambda。在箭頭的的左邊是0或多個參數(shù),箭頭的右邊是一個表達式或者代碼塊。我們來看幾個lambda的實例:
() -> {} // No parameters; result is void () -> 42 // No parameters, expression body () -> null // No parameters, expression body () -> { return 42; } // No parameters, block body with return () -> { System.gc(); } // No parameters, void block body () -> { // Complex block body with returns if (true) return 12; else { int result = 15; for (int i = 1; i < 10; i++) result *= i; return result; } } (int x) -> x+1 // Single declared-type parameter (int x) -> { return x+1; } // Single declared-type parameter (x) -> x+1 // Single inferred-type parameter x -> x+1 // Parentheses optional for // single inferred-type parameter (String s) -> s.length() // Single declared-type parameter (Thread t) -> { t.start(); } // Single declared-type parameter s -> s.length() // Single inferred-type parameter t -> { t.start(); } // Single inferred-type parameter (int x, int y) -> x+y // Multiple declared-type parameters (x, y) -> x+y // Multiple inferred-type parameters (x, int y) -> x+y // Illegal: can"t mix inferred and declared types (x, final y) -> x+y // Illegal: no modifiers with inferred types
憶苦思甜,我們先來回憶一下在沒有l(wèi)ambda之前如果我們想為Optional實現(xiàn)map功能我們應(yīng)該如何做。通常做法是這樣的:
interface Function{ public E exec(E e); } public static Optional map(Optional original, Function fn) { if(!original.isPresent()) return Optional.empty(); E e = original.get(); return Optional.of(fn.exec(e)); } map(Optional.of(1), new Function () { @Override public Integer exec(final Integer i) { return i * i; } });
使用一個接口來承載一個函數(shù)。在Java中函數(shù)不是一等公民,是不能用來傳遞的。所以只能采用這種“曲線救國”的方式。Java 8則是把這種”曲線救國”拿到了臺面上,并昭告天下,同時還對lambda提供了一些語法支持。所以上邊我們看到的一些非常簡短的lambda表達式,其實都是一個interface+一個抽象方法。
我們可以借助IDE(我使用的是IDEA)把上邊列舉的一些lambda表達式抽作變量,IDE可以幫助我們自動推導(dǎo)類型,我們來觀察下他們的類型。
Runnable runnable = () -> {}; DoubleSupplier doubleSupplier = () -> 42; Callable vCallable = () -> null; IntToDoubleFunction intToDoubleFunction = (int x) -> x + 1; IntBinaryOperator intBinaryOperator = (int x, int y) -> x + y;
像Callable,Runnable,DoubleSupplier這些接口就是Java內(nèi)置的函數(shù)式接口。Java還提供了非常多的函數(shù)式接口,你可以在java.util.function下找到他們。函數(shù)式接口相比普通的接口有一個限制:只能有一個抽象方法。而且Java還提供了一個注解:@FunctionalInterface。你可以自己聲明新的接口并為它加上這個注解。
@FunctionalInterface interface Function{ public E exec(E e); }
上邊說過Java 8對lambda提供了一些額外支持,這種額外的支持就是一些已經(jīng)實現(xiàn)的方法也能夠用作lambda表達式。我們看一個例子:
Optionalarg = ...; arg.ifPresent(System.out::print);
print是PrintStream中已經(jīng)實現(xiàn)的方法。這種用法相當于:x -> System.out.print(x)。對于類的靜態(tài)方法,類的實例方法,對象的實例方法都可以使用::操作符用在需要傳遞lambda表達式的地方。
我們接下來比較一下Java8前后,實現(xiàn)閉包的異同。先來看一下閉包的概念。
閉包是指可以包含自由變量的代碼塊。自由變量沒有在當前代碼塊內(nèi)或者任何全局上下文中定義的,而是在定義代碼塊的環(huán)境中定義(執(zhí)行環(huán)境上下文)。所以一次閉包過程即要執(zhí)行的代碼塊中的自由變量獲得了執(zhí)行環(huán)境上下文中的值。
在Java 8之前閉包可以通過內(nèi)部類來實現(xiàn)。
import java.util.HashMap; import java.util.Map; class Cache { private Mapcontents = new HashMap<>(); class Monitor { public Integer size() { return Cache.this.contents.size(); } } } public class Library { public static void main(String[] args) { Cache cache = new Cache(); Cache.Monitor monitor = cache.new Monitor(); System.out.println("Cache size is: " + monitor.size()); } }
contents是自由變量,cache提供執(zhí)行上下文,monitor.size()觸發(fā)閉包執(zhí)行。如果有其他函數(shù)式語言背景的人看到這種方式可能會感到非常的奇怪,但這就是Java的方式。再來看一下Java 8中如何實現(xiàn)一個閉包。
由于有了lambda表達式,創(chuàng)建一個閉包就相當簡潔了:(Integer x) -> x + y。而且這種形式也非常的functional。接著創(chuàng)建一個執(zhí)行上下文:
int y = 1; Functionadd = (Integer x) -> x + y; add.apply(3); // 4
兩種風格迥異,單從語法表達力來說肯定是lambda更勝一籌。但社區(qū)里也有人擔心這種簡潔性會影響Java的簡單,造成代碼風格不一致,降低代碼可讀性增加維護成本。仁者見仁智者見智吧,我肯定是支持使用lambda的。代碼風格的話團隊最好能有一個標準,不要好東西給用爛了。
StreamStream可以說是集合處理的殺手锏(就當它是殺手锏吧)。我們先拿Stream來玩一玩:
Stream.of(0, 1, 2, 3, 4, 5, 6, 7, 8, 9).map(i -> i * i).reduce(0, (i, r) -> r + i)
這個例子是計算0到9的平方和。我們可以想象一下如果用for循環(huán)實現(xiàn)同樣的邏輯,代碼行數(shù)至少是四五倍。
下面我們對這個程序作一個分解:第一部分是初始化Stream,加載數(shù)據(jù)Stream.of(0, 1, 2, 3, 4, 5, 6, 7, 8, 9);第二部分是定義數(shù)據(jù)轉(zhuǎn)化:map(i -> i * i),第三部分是聚合結(jié)果:reduce(0, (i, r) -> r + i)。這基本囊括了Stream所有能作以及要作的事情。
創(chuàng)建函數(shù)Stream類提供了提供了幾個工廠方法來構(gòu)建一個新的Stream。我們先來看一下of,of用來構(gòu)建有限個數(shù)的Stream,比如我們構(gòu)建一個包含十個元素的Stream:Stream.of(1, 2, 3, 4, 5, 6, 7, 8, 9, 0)。
Stream還有兩個方法:generate, iterate,這兩個函數(shù)都是用來構(gòu)造無限流。
generate就收一個無參函數(shù):Supplier
iterate會生成一個迭代的Stream,你需要指定初始值,以及迭代函數(shù)。Stream.iterate(5, x -> x * 10)。
除了上邊的幾種方式,我們還能夠方便的將集合轉(zhuǎn)化為Stream,比如List,Set。你只需要在集合變量上.stream()就可以得到一個Stream。實際場景中應(yīng)用更多的還是將一個集合類轉(zhuǎn)化為Stream。
轉(zhuǎn)換函數(shù)轉(zhuǎn)化函數(shù)我們最常用的是map和filter。Stream也提供了flatMap函數(shù),但是它的使用比較受限,所以原本flatMap的威力大大減弱了。下邊具體解釋一下map和filter函數(shù)。map的工作原理是:為所有的元素應(yīng)用一個函數(shù)。為了增強理解舉個現(xiàn)實生活中的例子:有一簍子蘋果,我們要為它們都貼上標簽。map過程就是拿出每個蘋果貼上標簽然后放到另一個簍子里。filter就是一個過濾器,過濾出我們想要的東西。比如,我們要從上邊簍子里挑選出大于500克的蘋果。逐個拿出蘋果稱重,如果大于500克留在簍子中,則放到新簍子中。所以操作數(shù)據(jù)時,直接往這兩個例子上套用就可以了。
看一個例子,計算所有學生的總分,并取出總分大于450分的學生:
students.map(s -> calculate(s.getScore())).filter(score -> score > 450);。
聚合函數(shù)主要用來收集最終的結(jié)果。比如,求出一個數(shù)字隊列的總和,求最大最小值,或?qū)⒔Y(jié)果收集到一個集合中。下邊我們來操作一個Integer的Stream,首先求出最大值和最小值:
Streamints = Stream.of(1, 2, 3, 4, 5, 6, 7, 8, 9, 0); Optional max = ints.max(Integer::compare); Optional min = ints.min(Integer::compare);
接下來我們求出這個數(shù)列的總和,求和我們可以使用reduce函數(shù)。reduce函數(shù)起到一個匯總的作用。它和hadoop中的reduce,fork/join中的join作用都是一樣的。
Integer sum = ints.reduce(0, (x, y) -> x + y);
我們?yōu)閞educe傳遞了兩個參數(shù),第一個是初始值(執(zhí)行累加操作的第一個值),第二個是求和lambda。
Java 8還為基本類型提供了相應(yīng)的Stream,比如IntStream,LongStream。使用IntStream我們直接使用sum就可以執(zhí)行求和操作:
IntStream intsStream = ints.mapToInt(i -> i); intsStream.sum();
下邊我們看一下收集函數(shù):collect()。collect()函數(shù)是將Stream中的元素放到一個新的容器中。我們上邊的例子中求出了總分大于450分的同學,我們把它放到一個List中,看一下如何操作:
students.map(s -> calculate(s.getScore())).filter(score -> score > 450).collect(Collectors.toList())
以上Java 8的函數(shù)式特性全部講完,這只是一個入門講解,不能涵蓋所有的特性及工具類。有興趣的同學,自行探索java.util.stream包。
文章版權(quán)歸作者所有,未經(jīng)允許請勿轉(zhuǎn)載,若此文章存在違規(guī)行為,您可以聯(lián)系管理員刪除。
轉(zhuǎn)載請注明本文地址:http://systransis.cn/yun/66362.html
摘要:由此可以看出,使用可以讓你的代碼在某些情況下達到何等的簡潔。如果沒有參數(shù),那么前面的是必須存在的。我們知道中的,而其實就是一個只定義了一個抽象方法的。也就是說,可以訪問定義它的那個方法的局部變量。而在里面,還可以訪問所謂的局部變量。 上次在盆友圈發(fā)了一張照片 showImg(http://chriszou.com/images/lambda_example.png); 上面的兩段代碼是...
摘要:使用匿名內(nèi)部類是最經(jīng)典的使用方法之一??梢酝ㄟ^表達式替代匿名內(nèi)部類,簡化設(shè)計。 OO makes code understandable by encapsulating moving parting, but FP makes code understandable by minimizing moving parts. -Michael Feathers 劉光聰,程序員,敏捷教練,...
摘要:從版本開始,不再單獨發(fā)布或者版本了,有需要的可以自己通過去定制官方解讀官方細項解讀穩(wěn)步推進系列六的小試牛刀一文讀懂的為何如此高效棄用引擎 Java語言特性系列 Java5的新特性 Java6的新特性 Java7的新特性 Java8的新特性 Java9的新特性 Java10的新特性 Java11的新特性 Java12的新特性 Java13的新特性 序 本文主要講述一下Java11的新...
摘要:準確的說,是形成了的閉包。因此對象函數(shù)也是對象和控制流能通過閉包實現(xiàn)。這種方式的閉包不再具有引用透明性,即他不再是一個純函數(shù)。類閉包結(jié)構(gòu)一些語言的特性能夠模擬出閉包的效果。 寫在開頭 ?本來是很討厭談?wù)撻]包這個話題的,因為在這一方面我比較傾向于玉伯還有一些朋友的觀點,搞懂作用域才是最重要的,單獨談?wù)撻]包,真的意義不大。 ?今天剛好在wiki上查其他東西的時候看到了,想了想以前也沒從比較...
閱讀 3259·2021-09-22 15:58
閱讀 1724·2019-08-30 14:17
閱讀 1729·2019-08-28 18:05
閱讀 1514·2019-08-26 13:33
閱讀 692·2019-08-26 12:20
閱讀 616·2019-08-26 12:18
閱讀 3198·2019-08-26 11:59
閱讀 1412·2019-08-26 10:36