Python 有一項(xiàng)默認(rèn)的做法，很多編程語(yǔ)言都沒(méi)有——它的所有函數(shù)都會(huì)有一個(gè)返回值，不管你有沒(méi)有寫(xiě) return 語(yǔ)句。

本文出自“Python為什么”系列，在正式開(kāi)始之前，我們就用之前討論過(guò)的 pass語(yǔ)句 和 …對(duì)象 作為例子，看看 Python 的函數(shù)是怎樣“無(wú)中生有”的：

可以看出，我們定義的兩個(gè)函數(shù)都沒(méi)有寫(xiě)任何的 return 語(yǔ)句，但是在函數(shù)調(diào)用后，都能取到一個(gè)返回值。

它們的執(zhí)行效果跟直接寫(xiě) return 語(yǔ)句相比，是完全相同的：

這 4 個(gè)例子屬于兩種類(lèi)型：一種沒(méi)有寫(xiě) return，但是都有隱藏的 return 返回值;一種寫(xiě)了 return，而且實(shí)際也有返回值。

也就是說(shuō)，后者在語(yǔ)義和行為上表現(xiàn)一致，前者雖然在語(yǔ)義上缺失，但是卻有實(shí)際的行為和結(jié)果;后者的行為是顯性的，前者卻是隱性的。

《Python之禪》中有一句“顯性勝于隱性（Explicit is better than implicit）”，但是，出于簡(jiǎn)潔和便利的考慮（Simple is better than complex），實(shí)際上 Python 中有很多行為都是隱性的，會(huì)把一些在語(yǔ)法層面的事交給解釋器去完成。

上一期的 真值判斷 是隱性的行為，本文前兩個(gè)例子也是如此。

使用dis查看字節(jié)碼，就可以看到其背后的小動(dòng)作：

在這個(gè)對(duì)比圖中，可以看出上述 4 個(gè)函數(shù)的解釋器指令一模一樣！

不管有沒(méi)有寫(xiě) return，它們都會(huì)執(zhí)行 return 的邏輯，而且默認(rèn)的返回值就是 None。

那么，問(wèn)題來(lái)了：Python 的函數(shù)為什么能默認(rèn)返回 None 呢？它是如何實(shí)現(xiàn)的呢？

答案就在解釋器中，當(dāng) CPython 解釋器執(zhí)行到函數(shù)的最后一個(gè)代碼塊時(shí)，若發(fā)現(xiàn)沒(méi)有返回值，它就會(huì)主動(dòng)地加上一個(gè) Py_None 值返回（出自：compile.c）：

也就是說(shuō)，如果定義的函數(shù)沒(méi)有返回值，Python 解釋器就會(huì)（強(qiáng)行地）默認(rèn)給我們注入一段返回邏輯！

對(duì)于解釋器的這種附贈(zèng)的服務(wù)，大家是覺(jué)得很貼心，還是嫌棄它多事呢？

這樣的做法似乎沒(méi)多少好處，但似乎也沒(méi)有壞處。