Python 函數(shù)默認(rèn)返回None的原因

Python 函數(shù)默認(rèn)返回None是什么原因？定義的函數(shù)沒(méi)有返回值，Python 解釋器就會(huì)強(qiáng)行地默認(rèn)給注入一段返回邏輯！實(shí)際上 Python 中有很多行為都是隱性的。

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

在正式開始之前，用pass語(yǔ)句 和 …對(duì)象 作為例子，看下 Python 的函數(shù)返回值：

定義的兩個(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é)碼，就可以看到其背后的變化：

在這個(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 值返回：

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