今天來說說編程語言中的動(dòng)態(tài)類型語言與鴨子類型。

動(dòng)態(tài)語言

維基百科對(duì)動(dòng)態(tài)語言的定義：

動(dòng)態(tài)編程語言是一類在運(yùn)行時(shí)可以改變其結(jié)構(gòu)的語言：例如新的函數(shù)、對(duì)象、甚至代碼可以被引進(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)語言是相對(duì)靜態(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)格來說叫名字，就像人的名字一樣）不需要指定類型，變量本身沒有任何類型信息，類型信息在對(duì)象身上，對(duì)象是什么類型，必須等到程序運(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è)對(duì)象的特征不是由父類決定，而是通過對(duì)象的方法決定的。

如果你學(xué)的是Java或者C++等靜態(tài)語言，可能對(duì)鴨子類型的理解沒那么深刻，因?yàn)殪o態(tài)語言中對(duì)象的特性取決于其父類。而動(dòng)態(tài)語言則不一樣，比如迭代器，任何實(shí)現(xiàn)了 __iter__ 和 __next__方法的對(duì)象都可稱之為迭代器，但對(duì)象本身是什么類型不受限制，可以自定義為任何類

# 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í)例對(duì)象，其實(shí)也沒問題，換成是Java等靜態(tài)語言，就必須傳遞 Iterator或者是它的子類。鴨子類型通常得益于"不"測(cè)試方法和函數(shù)中參數(shù)的類型，而是依賴文檔、清晰的代碼和測(cè)試來確保正確使用，這既是優(yōu)點(diǎn)也是缺點(diǎn)，缺點(diǎn)是需要通過文檔才能知道參數(shù)類型，為了彌補(bǔ)這方面的不足，Python3.6引入了類型信息，定義變量的時(shí)候可以指定類型，例如：

def greeting(name: str) -> str:
return 'Hello ' + name

該函數(shù)表示接收str類型的參數(shù)，并返回str類型的值

最新評(píng)論