什么是「動態(tài)語言」？這個概念其實沒有一個明確的定義?；旧纤且粋€程度的度量。這個程度就是該語言的 runtime 到底使用多少 bookkeeping 數(shù)據(jù)。

　　讀過《Design and Evolution of C++》的人一定知道 C++ 這個變態(tài)的 zero-bookkeeping 原則。任何 C++ 語言的高層概念，其實都已經(jīng)在編譯階段被剝離掉了。從最后的目標(biāo)代碼中你很難再看出這是一種高級語言。當(dāng)然，其代價就是程序員必須理解為什么 C++ 不能實現(xiàn)某些功能。而且必須從機器的角度去理解。

　　動態(tài)語言其實就是一個不斷添加 bookkeeping 的過程。

　　比如說，C++ 中為了實現(xiàn)多態(tài)還是不得不有一個中間機制，這就是虛表。但是你很難說虛表就是一個 bookkeeping 結(jié)構(gòu)。因為它太簡單了。而 Objective-C 就大大增加了對成員函數(shù)調(diào)用的 bookkeeping 機制。因為如此，所以 Objective-C 對 action-message 的實現(xiàn)就簡單多了，因為你可以判斷一個成員函數(shù)是否存在。而且也可以在不確定對象類型的情況下，指定一個方法作為回調(diào)函數(shù)。

　　C++ 的另一個問題，內(nèi)存管理，根本原因在于其對象引用采用 raw pointer 機制。Objective-C 并沒有改善這一點。但是也并非全無改善，在 Objective-C 里，一個 pointer 幾乎永遠必須指向 NSObject，而這個東西是有引用基數(shù)的。當(dāng)然，它并沒有完全解決 over-release 或者 use-after-release 的問題。到了 Java，Python，Lua 這樣的語言，raw pointer 就完全消失了。

　　而 C++ 的內(nèi)存管理，除了 heap 就只有一個借助 CPU stack 管理的棧。在動態(tài)語言里，就要考慮 lexical scope 的表現(xiàn)，這就需要更多的 bookkeeping。這點 Objective-C 也并沒有實現(xiàn)。

　　語法的處理，在 C++ 中是完全在 runtime 之前進行。而在 Python，Lisp，Lua 這樣的語言中是有 eval 這樣的機制存在的。

　　所以，Objective-C 是比 C 和 C++ 擁有更多動態(tài)特性，而比 Lua，Lisp 缺乏一些動態(tài)特性的語言。至于題目中進行比較的 Python，也只能說是個更少缺乏動態(tài)特性的語言。Python 缺乏 lexical scope，也缺乏對 continuation 的支持。它的 stack 借助 CPU stack（當(dāng)然有一個 stackless-Python，不過非官方），相比之下，Lua 為了支持 coroutine，Lisp 為了 full-continuation，都是自行維護 VM stack 的。Python 的 bookkeeping 與 Lua 和 Lisp 比起來也是不夠的。

　　1.動態(tài)類型：

　　即運行時再決定對象的類型。簡單說就是id類型，任何對象都可以被id指針?biāo)福挥性谶\行時 才能決定是什么類型。像內(nèi)置的明確的基本類型都屬于靜態(tài)類型（int、NSString等）。靜態(tài)類型在編 譯的時候就能被識別出來。所以，若程序發(fā)生了類型不對應(yīng)，編譯器就會發(fā)出警告。而動態(tài)類型就編譯器編譯的時候是不能被識別的，要等到運行時（run time），即程序運行的時候才會根據(jù)語境來識別。所以這里面就有兩個概念要分清：編譯時跟運行時。

　　2.動態(tài)綁定：

　　基于動態(tài)類型，在某個實例對象被確定后，其類型便被確定了。該對象對應(yīng)的屬性和響應(yīng)的消息也被完全確定，這就是動態(tài)綁定。比如我們一般向一個NSObject對象發(fā)送-respondsToSelector：或者 -instancesRespondToSelector：等來確定對象是否可以對某個SEL做出響應(yīng)，而在OC消息轉(zhuǎn)發(fā)機制被觸發(fā)之前，對應(yīng)的類 的+resolveClassMethod：和+resolveInstanceMethod：將會被調(diào)用，在此時有機會動態(tài)地向類或者實例添加新的方 法，也即類的實現(xiàn)是可以動態(tài)綁定的；isKindOfClass也是一樣的道理。

　　3.動態(tài)加載：

　　所謂動態(tài)加載就是我們做開發(fā)的時候icon圖片的時候在Retina設(shè)備上要多添加一個張@2x的圖片，當(dāng)設(shè)備更換的時候，圖片也會自動的替換。

　　什么是 bookkeeping 信息：Bookkeeping 就是 source code 里的信息用 declarive 的方式來保留在目標(biāo)碼中。

　　這里舉一個所有語言都會舍棄的 bookkeeping 信息，就是 local variable name。Compiler 或者 interpreter 在遇到一個 local variable 的時候，一定要給它分配一個寄存器或者 stack entry（其實寄存器也就是 stack entry 的一種，見我的 blog 《什么是寄存器》）。所以在 runtime 時 variable name 就成了多余的。所以幾乎所有語言，不管是 native 還是 byte code，都會舍棄 local name。

　　再比如說 raw pointer，就是說編譯之后的代碼里沒有一個固定的 field 來說明一個 value 到底是不是 pointer。一個 value 是不是 pointer 完全靠引用它的代碼本身來解釋。當(dāng)然你去分析目標(biāo)碼本身可能會得出「這是一個 pointer」的結(jié)論，但這是從 imperative code 中分析的來的，而不是從一個 field 中得到的明確的 declartive 信息。