【編者按】本文作者是Sebastian Malaca沼溜,是面向?qū)ο缶幊痰目駸嵴叱碧荩粩嗌罨芯空麧嵈a和高代碼質(zhì)量骗灶。本文中,作者通過多個(gè)方面深入剖析抽象類和接口的區(qū)別秉馏,并結(jié)合經(jīng)驗(yàn)供讀者借鑒學(xué)習(xí)耙旦,本文系OneAPM工程師編譯整理。
在開發(fā)人員崗位面試時(shí)萝究,是否了解抽象類和接口之間的基本區(qū)別是一個(gè)很重要的考量因素免都。
顯而易見锉罐?
完全不是。筆者面試過很多人绕娘,通常問的第一個(gè)問題是關(guān)于接口和抽象類的區(qū)別脓规。但實(shí)際上很少有程序員能給出正確的答案。
就這個(gè)問題來說险领,初級程序員可能都會清楚之間的區(qū)別抖拦,可能也并不一定理解其背后的原因,但其結(jié)構(gòu)上的差異舷暮,特別是針對特定語言(幾乎和所有的面向?qū)ο蟮恼Z言一樣)應(yīng)該深入了解。
同時(shí)噩茄,筆者也發(fā)現(xiàn)其他職位候選人(有時(shí)甚至是高級職位)竟然也不知道這之間的差異下面,或者只知道的一個(gè)或幾個(gè)。
如果只是需要了解這些內(nèi)容那并不難绩聘,但這些都是面向?qū)ο蟮幕A(chǔ)知識沥割,因此想要設(shè)計(jì)良好的代碼必須對其有一個(gè)深入的認(rèn)識。
下面將詳細(xì)介紹這些基礎(chǔ)知識凿菩。
繼承
下面將從眾所周知的接口和抽象類的區(qū)別開始机杜。這種差異是關(guān)于繼承的,任何類都可以實(shí)現(xiàn)多個(gè)接口衅谷,但是只能擴(kuò)展一個(gè)類椒拗,也只能有一個(gè)父類。
多個(gè)類擴(kuò)展是一個(gè)語言特性获黔,它存在于一些面向?qū)ο蟮恼Z言蚀苛。為什么呢?因?yàn)樗鼛淼膯栴}往往多于價(jià)值玷氏。
當(dāng)一個(gè)類有許多父類時(shí)堵未,有一個(gè)情況就是完全相同的方法會聲明多個(gè),因此必須顯式地「告知」究竟需要的是哪一個(gè)盏触。
這樣的代碼通常難以維護(hù)渗蟹,因?yàn)閷ζ溥M(jìn)行的任何修改或者重構(gòu)都必須小心地檢查。另一方面赞辩,如果一個(gè)類需要擴(kuò)展(至少)兩個(gè)擁有相同方法的類雌芽,那么 DRY 規(guī)則顯然會被破壞(因此需要從別處下手),或者說會干擾到 Single Responsibility Principle (SAP)诗宣。
「如果多個(gè)類的繼承如此糟糕膘怕,為什么它可以實(shí)現(xiàn)許多接口呢?」——如果這樣的問題在你的腦海盤旋召庞,我不得不承認(rèn)這是一個(gè)絕妙的問題岛心。
然而来破,答案很簡單。每一個(gè)接口都是基于函數(shù)而不是一個(gè)類去實(shí)現(xiàn)忘古。所以徘禁,即使實(shí)現(xiàn)十個(gè)不同的接口,每個(gè)包含相同的方法聲明髓堪,內(nèi)部也不會發(fā)生沖突送朱。接口保證了方法的存在,而不是去說明方法的實(shí)現(xiàn)干旁,這意味著驶沼,只要不違反 SRP ,你完全可以實(shí)現(xiàn)多個(gè)接口争群。
方法的可見度
接口中的所有方法都是 Public 的回怜,但對于抽象類的聲明并沒有這樣的規(guī)則,當(dāng)然不能是 Private 换薄。為什么不能 Private玉雾?因?yàn)橐粋€(gè)抽象方法需要在子類中實(shí)現(xiàn),但 Private 無法訪問子類轻要,因此不抽象類不可能存在 Private 屬性复旬。
接著回歸主題。正如上文寫道的冲泥,接口是一個(gè)函數(shù)的保證驹碍,你可以把它當(dāng)作使用接口的類和實(shí)現(xiàn)這個(gè)接口的類之間的一個(gè)合約——保證一個(gè)特定類將實(shí)現(xiàn)所有聲明的方法。這也是為什么這些方法必須是 Public 的原因凡恍。因?yàn)楸粐?yán)格的限制到了實(shí)現(xiàn)上幸冻,所以其他一切都不成問題。
然而咳焚,當(dāng)涉及到抽象類時(shí)并非這樣洽损。我們總是可以有不同的類組,除了這幾方面基本上不同以外革半,其他地方幾乎一樣碑定,類體的公共方法也是非常相似的。在這種情況下又官,可以創(chuàng)建 Protected 方法來保持類之間的差異延刘。Template Method 就是一個(gè)很典型的例子。
聲明和定義
接口只能包含方法聲明六敬,而抽象類還可以包含方法的定義碘赖。
接口的重點(diǎn)在于提供特定函數(shù),而抽象類還在于子類實(shí)現(xiàn)的相似性,不僅僅是其中的函數(shù)普泡。
常量
接口和抽象類中都可以定義常量播掷。這是因?yàn)檫@些值不依賴于特定對象,對它們來說都是相同的撼班。
屬性
抽象類可以包含屬性歧匈,但接口卻不能。原因與聲明和定義是一樣的砰嘁。
總結(jié)
除了說明差異件炉,筆者也試圖解釋它產(chǎn)生的原因。這不僅是因?yàn)槿藗儼l(fā)明某個(gè)語言時(shí)的突發(fā)奇想矮湘,而是源于語言背后所支撐的理念斟冕。
原文鏈接:Differences Between Abstract Class and Interface
OneAPM 是應(yīng)用性能管理領(lǐng)域的新興領(lǐng)軍企業(yè),能幫助企業(yè)用戶和開發(fā)者輕松實(shí)現(xiàn):緩慢的程序代碼和 SQL 語句的實(shí)時(shí)抓取缅阳。想閱讀更多技術(shù)文章宫静,請?jiān)L問OneAPM 官方博客。