Python有一項(xiàng)默認(rèn)的做法,很多編程語(yǔ)言都沒(méi)有——它的所有函數(shù)都會(huì)有一個(gè)返回值,不管你有沒(méi)有寫(xiě)return語(yǔ)句。None為什么會(huì)被Python函數(shù)默認(rèn)返回?下面一起了解一下!

我們就用之前討論過(guò)的 pass語(yǔ)句和 …對(duì)象作為例子,看看Python的函數(shù)是怎樣“無(wú)中生有”的:

Python

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

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

Python

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

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


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

Python

在這個(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):

Python

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