[Python] 動態類型的實現

大多數編譯型語言，變數在使用前必須先聲明，其中的 C 語言更加苛刻：變數聲明必須位於代碼塊最開始，且在任何其他語句之前。其它語言，像C++和Java，允許“隨時隨地”聲明變數，比如，變數聲明可以在代碼塊的中間，不過仍然必須在變數被使用前聲明變數的名字和類型。

在Python 中，無需此類顯式變數聲明語句，變數在第一次被賦值時自動聲明，Python 中不但變數名無需事先聲明，而且也無需型別宣告。Python 語言中，對象的類型和記憶體佔用都是運行時確定的。儘管代碼被編譯成位元組碼，Python 仍然是一種解釋型語言。在建立－－也就是賦值時，解譯器會根據文法和右側的運算元來決定新對象的類型。在對象建立後，一個該對象的引用會被賦值給左側的變數。

 

a = 3print a3a = 'abc'print aabc

垃圾收集器

 

從上面可以看出，變數時引用，Object Storage Service在記憶體中，一個對象可能有0個或多個變數引用它，但沒有變數引用該對象時，該對象無法訪問，垃圾收集器就可以在適當的時候回收該對象，以釋放記憶體。Python的垃圾收集器和Java的很類似。