動(dòng)態(tài)類型語言對(duì)變量類型的快通給事件編碼帶了了很大的靈活性.由于無需進(jìn)行類型檢測(cè),我們可以嘗試電泳任何對(duì)象的任意方法,而無需去考慮它原本是否被設(shè)計(jì)為擁有該方法.
這一切都建立在鴨子類型(duck typing)的概念上,鴨子類型的通俗說法是:"如果它走起路來像鴨子,叫起來也是鴨子,那么它就是鴨子"
在動(dòng)態(tài)類型語言的面向?qū)ο笤O(shè)計(jì)中,鴨子類型的概率至關(guān)重要.利用鴨子類型的思想,我們不必借助超類型的幫助,就能輕松地在動(dòng)態(tài)類型語言中實(shí)現(xiàn)一個(gè)原則:"面向接口編程,而不是面向?qū)崿F(xiàn)編程."例如,一個(gè)對(duì)象若有push和pop方法,并且這些方法提供了正確的實(shí)現(xiàn),它就可以被當(dāng)做棧來使用.一個(gè)對(duì)象吐過有l(wèi)ength屬性,也可以依照下標(biāo)來存取屬性,這個(gè)對(duì)象就可以被當(dāng)做數(shù)組來使用.
在靜態(tài)類型語言中,要實(shí)現(xiàn)"面向接口編程"并不是一個(gè)容易的事情,往往要通過抽象類或者接口等將對(duì)象進(jìn)行向上轉(zhuǎn)型.當(dāng)對(duì)象的真正類型被隱藏在它的超類型身后,這個(gè)對(duì)象才能在類型檢測(cè)系統(tǒng)"監(jiān)視"之下互相被替換使用.只用當(dāng)對(duì)象能夠被互相替換使用,才能體現(xiàn)出對(duì)象多態(tài)性的價(jià)值.