Python的幾種實現

Python自身作為一門程式語言,它有多種實現。這裡的實現指的是符合Python語言規範的Python解釋程式以及標準庫等。這些實現雖然實現的是同一種語言,但是彼此之間,特別是與CPython之間還是有些差別的。

下面分別列出幾個主要的實現。

1. CPython:這是Python的官方版本,使用C語言實現,使用最為廣泛,新的語言特性一般也最先出現在這裡。

   CPython實現會將源文件(py文件)轉換成位元組碼文件(pyc文件),然後運行在Python虛擬機上。

2. Jython:這是Python的Java實現,相比於CPython,它與Java語言之間的互操作性要遠遠高於CPython和C語言之間的互操作性。

   在Python中可以直接使用Java程式碼庫,這使得使用Python可以方便地為Java程式寫測試程式碼,更進一步,可以在Python中使用Swing等圖形庫編寫GUI程式。

   Jython會將Python程式碼動態編譯成Java位元組碼,然後在JVM上運行轉換後的程式,這意味著此時Python程式與Java程式沒有區別,只是源程式碼不一樣。

   在Python 中寫一個類,像使用Java 類一樣使用這個類是很容易的事情。

   你甚至可以把Jython 腳本靜態地編譯為Java 位元組碼。

   示例程式碼:

from java.lang import System  System.out.write('Hello World!n')

3. Python for .NET:它實質上是CPython實現的.NET託管版本,它與.NET庫和程式程式碼有很好的互操作性。

4. IronPython:不同於Python for .NET,它是Python的C#實現,並且它將Python程式碼編譯成C#中間程式碼(與Jython類似),然後運行,它與.NET語言的互操作性也非常好。

5. PyPy:Python的Python實現版本,原理是這樣的,PyPy運行在 CPython(或者其它實現)之上,用戶程式運行在PyPy之上。它的一個目標是成為Python語言自身的試驗場,因為可以很容易地修改PyPy解釋器的實現(因為它是使用Python寫的)。

6. Stackless:CPython 的一個局限就是每個Python函數調用都會產生一個C函數調用。 這意味著同時產生的函數調用是有限制的,因此Python難以實現用戶級的執行緒庫和複雜遞歸應用。一旦超越這個限制,程式就會崩潰。Stackless的Python實現突破了這個限制,一個C棧幀可以擁有任意數量的Python棧幀。這樣你就能夠擁有幾乎無窮的函數調用,並能支援巨大數量的執行緒。Stackless唯一的問題就是它要對現有的CPython解釋器做重大修改。所以它幾乎是一個獨立的分支。另一個名為Greenlets的項目也支援微執行緒。它是一個標準的C擴展,因此不需要對標準Python解釋器做任何修改。

下面的這篇文章對Stackless做了比較多的介紹,但是也比較難以讀懂:

可愛的 Python:Python實現內幕