我想要Python實(shí)現(xiàn)，這已經(jīng)不是什么秘密了。WebAssembly它不僅會(huì)讓Python進(jìn)入瀏覽器，而且事實(shí)是兩者都是IOS和安卓支持將JavaScript作為應(yīng)用程序的一部分運(yùn)行，它還可以讓Python進(jìn)入移動(dòng)平臺(tái)。這一切都讓我興奮。

但是當(dāng)想到創(chuàng)建Python的新實(shí)現(xiàn)這一艱巨任務(wù)時(shí)，我的大腦也開始問到底是什么東西。是Python？我們一起生活過CPython長(zhǎng)期以來，我懷疑我們大多數(shù)人只是認(rèn)為“Python==CPython”。皮皮試著這么做兼容他們將實(shí)現(xiàn)CPython的實(shí)現(xiàn)細(xì)節(jié)。基本上，據(jù)我所知，Python的大多數(shù)實(shí)現(xiàn)都力求通過CPython的測(cè)試套件，并盡可能與CPython兼容。

這太令人望而生畏了。由CPython實(shí)現(xiàn)的Python是非常動(dòng)態(tài)的，并且暴露了許多只有在您使用解釋器實(shí)現(xiàn)Python時(shí)才有意義的事情。例如，PyPy有一個(gè)基線解釋器，他們使用JIT，但是在Python中可以使用很多東西，這些東西迫使PyPy關(guān)閉JIT并繼續(xù)使用字節(jié)碼。僅REPL本身就使事情變得非常動(dòng)態(tài)，因?yàn)槟斎氲絉EPL中的所有內(nèi)容都是由解釋器動(dòng)態(tài)解析、編譯和執(zhí)行的。

這讓我思考了到底是什么是Python？語言的核心是什么？所有Python實(shí)現(xiàn)都需要覆蓋哪些基線，才能真正將自己稱為Python的實(shí)現(xiàn)，而人們?nèi)匀粫?huì)認(rèn)識(shí)到這一點(diǎn)？或者從我的角度來看，要將Python直接編譯到WebAssembly并仍然被認(rèn)為是Python實(shí)現(xiàn)，還需要實(shí)現(xiàn)多少呢？

真正讓我開始思考這個(gè)問題的是，當(dāng)我開始思考如何將Python編譯成WebAssembly時(shí)？沒有實(shí)現(xiàn)另一個(gè)解釋器，但實(shí)際上從Python源發(fā)出靜態(tài)WebAssembly，并且仍然合理地稱之為“Python”。

我知道的一件事是通過動(dòng)態(tài)編譯eval()或compile()很難做到WebAssembly安全模型在加載時(shí)驗(yàn)證模塊。這意味著在其他代碼的內(nèi)存空間中不存在只運(yùn)行任意代碼的結(jié)構(gòu)化結(jié)構(gòu)，這可能會(huì)使REPL的實(shí)現(xiàn)變得很棘手。

但這讓我想：Python真的需要REPL？不要誤解我的意思，它非常方便，但是如果一個(gè)實(shí)現(xiàn)沒有REPL，它會(huì)不會(huì)不再成Python？我認(rèn)為沒有REPL的Python仍然是Python，它只是缺少一個(gè)(可能的鍵)特性。

你能活下去嗎locals()？能夠任意地將所有定義的局部變量及其值收集到字典中是一件非常動(dòng)態(tài)的事情。如果您是在一個(gè)整數(shù)(如CPython)中，您只需從當(dāng)前執(zhí)行框架中收集一些內(nèi)容，就可以得到局部變量。但是在編譯語言中，這需要做更多的工作，因?yàn)槟仨氈篮螘r(shí)收集所有這些信息，因?yàn)椴灰欢ㄖ皇窃谡{(diào)用時(shí)躺在那里。locals().或者其他人locals()本身？再說一次，這在CPython中并不是什么大問題，因?yàn)閎uiltins模塊有一個(gè)__dict__您可以覆蓋它，它將簡(jiǎn)單地傳播到任何未來的調(diào)用。但是在一種編譯語言中，做這種檢測(cè)需要付出更多的努力，這樣的檢查最終要花費(fèi)性能。

關(guān)于sys.settrace()？它實(shí)際上會(huì)觸發(fā)每個(gè)字節(jié)碼的回調(diào)，如果編譯了代碼，這就不太起作用了。您可以通過檢查在每一行之后是否設(shè)置了跟蹤函數(shù)來偽造它，但是當(dāng)大多數(shù)時(shí)候沒有設(shè)置這樣的鉤子時(shí)，這看起來就有點(diǎn)麻煩了(不過，在這種支持下編譯可能是一個(gè)編譯器標(biāo)志)。

那你覺得呢？sys._getframe()？編譯后的語言不一定會(huì)直接訪問執(zhí)行框架，所以您是否需要進(jìn)行模擬呢？由于任何函數(shù)都可以請(qǐng)求執(zhí)行框架，因此您需要隨時(shí)準(zhǔn)備按需提供執(zhí)行幀。

正如您所看到的，Python中有很多東西使得編譯變得困難(因此更強(qiáng)大到努特卡接受這個(gè)挑戰(zhàn))。但我敢打賭，我上面提到的東西--你不會(huì)在99.9%的時(shí)間里使用它們，所以如果一個(gè)實(shí)現(xiàn)忽略了它們，它還能被認(rèn)為是“Python”嗎？

我對(duì)這個(gè)問題沒有很好的答案。但它的答案決定了實(shí)現(xiàn)Python有多困難，以及它與現(xiàn)有軟件的兼容性。我要說的是，我認(rèn)為WebAssembly不需要支持大量的Python軟件才有用。WebAssembly可以訪問其他語言生態(tài)系統(tǒng)，如Rust和JavaScript，因此您需要用另一種語言實(shí)現(xiàn)一些您可以使用的其他語言的可能性肯定在零以上。

我沒有答案

開發(fā)一個(gè)直接將Python代碼轉(zhuǎn)換為WebAssembly并為性能犧牲一些兼容性的編譯器可能是有意義的。開發(fā)一個(gè)針對(duì)WebAssembly設(shè)計(jì)但與已有代碼保持大量兼容性的解釋器可能是有意義的。簡(jiǎn)單地支持RustPython在他們的WebAssembly的努力中。也許吧皮笛會(huì)把我們帶到那里。我不認(rèn)為任何這些可能性本質(zhì)上都是錯(cuò)誤的，它很可能會(huì)歸結(jié)到任何一個(gè)足以激發(fā)人們的興趣，看到它對(duì)他人有用的程度。

到此這篇關(guān)于python編程的核心知識(shí)點(diǎn)總結(jié)的文章就介紹到這了,更多相關(guān)python編程的核心是什么內(nèi)容請(qǐng)搜索好吧啦網(wǎng)以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持好吧啦網(wǎng)！