Python 函數(shù)為什么會(huì)默認(rèn)返回 None？
Python 有一項(xiàng)默認(rèn)的做法，很多編程語(yǔ)言都沒(méi)有——它的所有函數(shù)都會(huì)有一個(gè)返回值，不管你有沒(méi)有寫 return 語(yǔ)句。
本文出自“Python為什么”系列，在正式開始之前，我們就用之前討論過(guò)的 pass語(yǔ)句 和 …對(duì)象 作為例子，看看 Python 的函數(shù)是怎樣“無(wú)中生有”的：
可以看出，我們定義的兩個(gè)函數(shù)都沒(méi)有寫任何的 return 語(yǔ)句，但是在函數(shù)調(diào)用后，都能取到一個(gè)返回值。
它們的執(zhí)行效果跟直接寫 return 語(yǔ)句相比，是完全相同的：
這 4 個(gè)例子屬于兩種類型：一種沒(méi)有寫 return，但是都有隱藏的 return 返回值;一種寫了 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)有寫 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)有壞處。
