本文是 Python 之禪特別系列的第三篇,此篇著眼於其中第五與第六條原則:扁平與稀疏。
Python 之禪 之所以得名,正是由於它那簡明扼要的規則被設計出的意圖在於讓讀者進行深入地思考,而絕不單是為程式設計提供一份易於遵守的指南。
讀後不去三思其意,斷然難以體會 Python 之禪的妙處。倘若 Python 之禪僅僅羅列出一組清晰的法則,那法則之間的矛盾是一種缺憾,然而作為引導讀者沉思最優方案沉思的工具,矛盾卻是絕佳的。
迫於對縮排的強硬要求,Python 對“扁平化”的需求顯然遠超它者。其餘程式語言為了緩解對縮排的需求,通常會在巢狀結構裡加入一種“作弊”的手段。為了理解這一點,不妨一同來看看 JavaScript。
JavaScript 本質上是非同步的,這意味著程式設計師用 JavaScript 寫的程式碼會用到大量的回撥函數。
a(function(resultsFromA) { b(resultsFromA, function(resultsfromB) { c(resultsFromC, function(resultsFromC) { console.log(resultsFromC) } }}
忽略這段程式碼的具體內容,只去觀察這段程式碼的形狀與縮排帶來一個最右邊的點的方式。這種獨特的“箭頭”圖形在我們掃看程式碼時格外扎眼,這種寫法也因此被視作不可取,甚至得到了“回撥地獄”的綽號。不過,在 JavaScript 中,這種反映巢狀關係的縮排可以通過“作弊”來迴避。
a(function(resultsFromA) {b(resultsFromA, function(resultsfromB) {c(resultsFromC, function(resultsFromC) { console.log(resultsFromC)}}}
Python 並沒有提供這種作弊手段:每一級巢狀在程式碼中都如實的對應著一層縮排。因此,Python 深層的巢狀關係在視覺上也一定是深層巢狀的。這使得“回撥地獄”的問題對於 Python 而言要比在 JavaScript 中嚴重得多:巢狀的回撥函數必定帶來縮排,而絕無使用花括號來“作弊”的可能。
這項挑戰與 Python 之禪的指導原則相結合後,在我參與的庫中催生出了一個優雅的解決方案。我們在 Twisted 框架裡提出了 deferred 抽象,日後 JavaScript 中流行的 promise 抽象亦是受其啟發而生。正是由於 Python 對整潔程式碼的堅守,方能推動 Python 開發者去發掘新的、強力的抽象。
future_value = future_result()future_value.addCallback(a)future_value.addCallback(b)future_value.addCallback(c)
(現代 JavaScript 程式設計師也許會覺得這段程式碼十分眼熟:promise 著實受到了 Twisted 裡 deferred 抽象的深遠影響。)
最易降低程式碼密集程度的方法是引入巢狀。這種習慣也正是有關稀疏的原則要隨著前一條提出的原因:在竭盡所能地減少巢狀之後,我們往往會遺留下密集的程式碼或資料結構。此處的密集,是指塞進過量資訊的小段程式碼,它們會導致錯誤發生後的解析變得困難。
這種密集性唯有通過創造性的思考方可改善,此外別無捷徑。Python 之禪並不為我們提供簡單的解決方案,它只會指明改善程式碼的方向,而非提供“如何”去做的嚮導。
起身走走,泡個熱水澡,抑或是聞聞花香。盤坐冥思,直至靈感襲來。當你終於得到啟發,便是動身寫程式碼之時。