轉(zhuǎn)帖|行業(yè)資訊|編輯:龔雪|2014-05-29 09:45:57.000|閱讀 509 次
概述:深度解析Java 8默認(rèn)方法,了解Java 8默認(rèn)方法致代碼不兼容的情況。
# 界面/圖表報(bào)表/文檔/IDE等千款熱門軟控件火熱銷售中 >>
默認(rèn)方法給JVM的指令集增加了一個(gè)非常不錯(cuò)的新特性。使用了默認(rèn)方法之后,如果庫(kù)中的接口增加了新的方法,實(shí)現(xiàn)了這個(gè)接口的用戶類能夠自動(dòng)獲得這個(gè)方法的默認(rèn)實(shí)現(xiàn)。一旦用戶想更新他的實(shí)現(xiàn)類的話,只需覆蓋一下這個(gè)默認(rèn)方法就可以了,取而代之的是一個(gè)在特定場(chǎng)景下更有意義的實(shí)現(xiàn)。更棒的是,用戶可以在重寫的方法里面調(diào)用接口的默認(rèn)實(shí)現(xiàn)來(lái)增加一些額外的功能。
目前為止一切都還不錯(cuò)。然而,給現(xiàn)有的Java接口增加默認(rèn)方法可能會(huì)導(dǎo)致代碼的不兼容??磦€(gè)例子就很容易能明白了。假設(shè)有一個(gè)庫(kù),它需要用戶實(shí)現(xiàn)它的一個(gè)接口作為輸入:
interface SimpleInput { void foo(); void bar(); } abstract class SimpleInputAdapter implements SimpleInput { @Override public void bar() { // some default behavior ... } }
在Java 8以前,上述這種接口和一個(gè)對(duì)應(yīng)的適配器類的組合在Java語(yǔ)言中是一種很常見的模式。類庫(kù)的開發(fā)人員提供了一個(gè)適配器來(lái)減少庫(kù)使用者的編碼量。然而提供這個(gè)接口的目的其實(shí)是為了能實(shí)現(xiàn)某種類似多重繼承的關(guān)系。
我們假設(shè)有一個(gè)用戶使用了這個(gè)適配器:
class MyInput extends SimpleInputAdapter{ @Override public void foo() { // do something ... } @Override public void bar() { super.bar(); // do something additionally ... } }
有了這個(gè)實(shí)現(xiàn),用戶可以和庫(kù)進(jìn)行交互了。注意這個(gè)實(shí)現(xiàn)是如何重寫bar方法來(lái)給默認(rèn)的實(shí)現(xiàn)增加額外的功能的。
那如果這個(gè)庫(kù)遷移到Java 8的話會(huì)怎樣?首先,這個(gè)庫(kù)很可能會(huì)廢棄掉這個(gè)適配器類并將這個(gè)功能遷移到默認(rèn)方法里。最終這個(gè)接口看起來(lái)會(huì)是這樣的:
interface SimpleInput {
void foo();
default void bar() {
// some default behavior
}
}
有了這個(gè)新接口后,用戶得更新他的代碼來(lái)使用這個(gè)默認(rèn)方法,而不再是適配器類了。使用新接口而非適配器類的一大好處就是,用戶可以去繼承一個(gè)別的類而不是這個(gè)適配器類了。我們來(lái)動(dòng)手實(shí)踐一下,將MyInput類改造成使用默認(rèn)方法。由于現(xiàn)在我們可以繼承別的類了,我們?cè)兕~外地?cái)U(kuò)展一個(gè)第三方的基類試試。這個(gè)基類具體是做什么的在這里并不重要,我們先假設(shè)一下這么做對(duì)我們這個(gè)用例來(lái)說(shuō)是有意義的。
class MyInput extends ThirdPartyBaseClass implements SimpleInput { @Override public void foo() { // do something ... } @Override public void bar() { SimpleInput.super.foo(); // do something additionally ... } }
為了實(shí)現(xiàn)和原先那個(gè)類同樣的功能,這里我們用到了Java 8的新語(yǔ)法來(lái)調(diào)用接口的默認(rèn)方法。同樣的,我們把myMethod的邏輯放到某個(gè)基類MyBase里面??梢源反芳绨蚍潘上铝恕V貥?gòu)之后棒極了!
我們使用的這個(gè)庫(kù)得到了很大的改進(jìn)。然而,維護(hù)人員需要添加另一個(gè)接口來(lái)實(shí)現(xiàn)一些額外的功能。這個(gè)接口叫做CompexInput ,它繼承了SimpleInput類,并增加了一個(gè)額外的方法。由于通常都認(rèn)為默認(rèn)方法是可以放心地添加的,因此維護(hù)人員重寫了SimpleInput類的默認(rèn)方法并添加了一些額外的動(dòng)作來(lái)給用戶提供一個(gè)更好的默認(rèn)實(shí)現(xiàn)。畢竟使用適配器類的時(shí)候這個(gè)做法也十分常見:
interface ComplexInput extends SimpleInput { void qux(); @Override default void bar() { SimpleInput.super.bar(); // so complex, we need to do more ... } }
這個(gè)新特性看起來(lái)非常不錯(cuò),因此ThirdPartyBaseClass類的維護(hù)人員也決定使用這個(gè)庫(kù)了。為了實(shí)現(xiàn)這個(gè),他將ThirdPartyBaseClass類實(shí)現(xiàn)了ComplexInput接口。
但這樣的話對(duì)MyInput類意味著什么?由于它繼承了ThirdPartyBaseClass類,因此默認(rèn)實(shí)現(xiàn)了ComplexInput接口,這樣的話調(diào)用SimpleInput的默認(rèn)方法就不合法了。結(jié)果就是,用戶的代碼最后無(wú)法通過(guò)編譯。還有就是,現(xiàn)在已經(jīng)徹底無(wú)法調(diào)用這個(gè)方法了,因?yàn)镴ava把這種調(diào)用間接父類的super-super方法認(rèn)為是不合法的。你只能去調(diào)用ComplexInput接口的默認(rèn)方法了。然而這首先需要你在MyInput類中顯式的實(shí)現(xiàn)一下這個(gè)接口。對(duì)于這個(gè)庫(kù)的用戶而言,這些改動(dòng)完全是意想不到的。
(注:簡(jiǎn)單點(diǎn)說(shuō)其實(shí)就是:
interface A { default void test() { } } interface B extends A { default void test() { } } public class Test implements B { public void test() { B.super.test(); //A.super.test(); 錯(cuò)誤 } }
當(dāng)然這么寫的話是用戶主動(dòng)選擇實(shí)現(xiàn)了B接口,而文中的例子由于引入了一個(gè)基類,因此由于庫(kù)和基類中都進(jìn)行了一個(gè)看似沒有影響的改動(dòng),實(shí)際上卻導(dǎo)致用戶代碼無(wú)法通過(guò)編譯)
很奇怪的是,Java在運(yùn)行時(shí)并沒有對(duì)這個(gè)進(jìn)行區(qū)分。JVM的校驗(yàn)器允許一個(gè)編譯過(guò)的類進(jìn)行SimpleInput::foo方法的調(diào)用,盡管加載的這個(gè)類繼承了ThirdPartyBaseClass的更新版本后隱式地實(shí)現(xiàn)了ComplexInput接口。要怪只能怪編譯器了。(注:編譯器與運(yùn)行時(shí)的行為不一致)
那我們從中學(xué)到了什么?簡(jiǎn)單地說(shuō),不要在另一個(gè)接口中重寫原接口的默認(rèn)方法。不要用另一個(gè)默認(rèn)方法來(lái)重寫它,也不要某個(gè)抽象方法來(lái)重寫它??偠灾?,使用默認(rèn)方法時(shí)應(yīng)當(dāng)十分謹(jǐn)慎。雖然它們使得Java現(xiàn)有的集合庫(kù)的接口更容易改進(jìn)了,但它允許你在類的繼承結(jié)構(gòu)中進(jìn)行方法調(diào)用,這本質(zhì)上其實(shí)是增加了復(fù)雜性。在Java 7以前,你只需遍歷線性的類層次結(jié)構(gòu)看一下實(shí)際調(diào)用的代碼就可以了。當(dāng)你覺得的確需要的時(shí)候,再去使用默認(rèn)方法。
溫馨小提示:好的資源,在 Java開發(fā)中能事半功倍!
原文轉(zhuǎn)載至://it.deepinmind.com/java/2014/05/19/java-8-default-methods-can-break-your-code.html
業(yè)界被公認(rèn)為最好的Java開發(fā)平臺(tái):IntelliJ IDEA
最實(shí)惠、綜合全面的J2EE IDE與Web開發(fā)工具套件:MyEclipse
多平臺(tái)Java安裝文件生成工具:install4j
全面測(cè)試Java程序的工具:Parasoft Jtest
本站文章除注明轉(zhuǎn)載外,均為本站原創(chuàng)或翻譯。歡迎任何形式的轉(zhuǎn)載,但請(qǐng)務(wù)必注明出處、不得修改原文相關(guān)鏈接,如果存在內(nèi)容上的異議請(qǐng)郵件反饋至chenjj@fc6vip.cn