Python:動(dòng)態(tài)語言與鴨子類型
今天來說說編程語言中的動(dòng)態(tài)類型語言與鴨子類型,維基百科對動(dòng)態(tài)語言的定義:
動(dòng)態(tài)編程語言是一類在運(yùn)行時(shí)可以改變其結(jié)構(gòu)的語言:例如新的函數(shù)、對象、甚至代碼可以被引進(jìn),已有的函數(shù)可以被刪除或是其他結(jié)構(gòu)上的變化。動(dòng)態(tài)語言目前非常具有活力如PHP、Ruby、Python 都屬于動(dòng)態(tài)語言,而C、C++、Java等語言則不屬于動(dòng)態(tài)語言。
這個(gè)解釋很抽象,其實(shí)動(dòng)態(tài)語言是相對靜態(tài)語言而言的,靜態(tài)語言的特點(diǎn)是在程序執(zhí)行前,代碼編譯時(shí)從代碼中就可以知道一切,比如變量的類型,方法的返回值類型:
- String s = "hello"
- s = "world"
- s = 1 // 編譯時(shí)就會(huì)報(bào)錯(cuò)
在靜態(tài)語言中,變量有類型信息,它是一塊內(nèi)存區(qū)域,靜態(tài)語言的優(yōu)點(diǎn)是代碼結(jié)構(gòu)非常規(guī)范,便于調(diào)試,但有時(shí)顯得啰嗦。而動(dòng)態(tài)語言只有等到程序運(yùn)行時(shí)才知道一切,變量(嚴(yán)格來說叫名字,就像人的名字一樣)不需要指定類型,變量本身沒有任何類型信息,類型信息在對象身上,對象是什么類型,必須等到程序運(yùn)行時(shí)才知道,動(dòng)態(tài)類型語言的優(yōu)點(diǎn)在于方便閱讀,不需要寫很多類型相關(guān)的代碼;缺點(diǎn)是不方便調(diào)試,命名不規(guī)范時(shí)會(huì)造成讀不懂,不利于理解等。
- s = "hello"
- s = "world"
- s = 1 # 可以給變量隨意賦值,無論是什么類型都可以
鴨子類型
動(dòng)態(tài)語言中經(jīng)常提到鴨子類型,所謂鴨子類型就是:如果走起路來像鴨子,叫起來也像鴨子,那么它就是鴨子(If it walks like a duck and quacks like a duck, it must be a duck)。鴨子類型是編程語言中動(dòng)態(tài)類型語言中的一種設(shè)計(jì)風(fēng)格,一個(gè)對象的特征不是由父類決定,而是通過對象的方法決定的。
如果你學(xué)的是Java或者C++等靜態(tài)語言,可能對鴨子類型的理解沒那么深刻,因?yàn)殪o態(tài)語言中對象的特性取決于其父類。而動(dòng)態(tài)語言則不一樣,比如迭代器,任何實(shí)現(xiàn)了 __iter__ 和 __next__ 方法的對象都可稱之為迭代器,但對象本身是什么類型不受限制,可以自定義為任何類
- # python3
- class Foo:
- def __iter__(self):
- pass
- def __next__(self):
- pass
- from collections import Iterable
- from collections import Iterator
- print(isinstance(Foo(), Iterable)) # True
- print(isinstance(Foo(), Iterator)) # True
我們并不需要繼承 Iterator 就可以實(shí)現(xiàn)迭代器的功能。當(dāng)有一函數(shù)希望接收的參數(shù)是 Iterator 類型時(shí),但是我們傳遞的是 Foo 的實(shí)例對象,其實(shí)也沒問題,換成是Java 等靜態(tài)語言,就必須傳遞 Iterator或者是它的子類。鴨子類型通常得益于”不”測試方法和函數(shù)中參數(shù)的類型,而是依賴文檔、清晰的代碼和測試來確保正確使用。這既是優(yōu)點(diǎn)也是缺點(diǎn),缺點(diǎn)是需要通過文檔才能知道參數(shù)類型,為了彌補(bǔ)這方面的不足,Python3.6 引入了類型信息,定義變量的時(shí)候可以指定類型,例如下面的函數(shù)表示接收str類型的參數(shù),并返回str類型的值:
【本文是51CTO專欄作者“劉志軍”的原創(chuàng)文章,作者微信公眾號(hào):Python之禪(VTtalk)】