Python 函数为什么会默认返回 None？

Python 有一项默认的做法，很多编程语言都没有——它的所有函数都会有一个返回值，不管你有没有写 return 语句。

本文出自“Python为什么”系列，在正式开始之前，我们就用之前讨论过的 pass语句 和 ...对象 作为例子，看看 Python 的函数是怎样“无中生有”的：

可以看出，我们定义的两个函数都没有写任何的 return 语句，但是在函数调用后，都能取到一个返回值。

它们的执行效果跟直接写 return 语句相比，是完全相同的：

这 4 个例子属于两种类型：一种没有写 return，但是都有隐藏的 return 返回值；一种写了 return，而且实际也有返回值。

也就是说，后者在语义和行为上表现一致，前者虽然在语义上缺失，但是却有实际的行为和结果；后者的行为是显性的，前者却是隐性的。

《Python之禅》中有一句“显性胜于隐性（Explicit is better than implicit）”，但是，出于简洁和便利的考虑（Simple is better than complex），实际上 Python 中有很多行为都是隐性的，会把一些在语法层面的事交给解释器去完成。

上一期的 真值判断 是隐性的行为，本文前两个例子也是如此。

使用dis 查看字节码，就可以看到其背后的小动作：

在这个对比图中，可以看出上述 4 个函数的解释器指令一模一样！

不管有没有写 return，它们都会执行 return 的逻辑，而且默认的返回值就是 None。

那么，问题来了：Python 的函数为什么能默认返回 None 呢？它是如何实现的呢？

答案就在解释器中，当 CPython 解释器执行到函数的最后一个代码块时，若发现没有返回值，它就会主动地加上一个 Py_None 值返回（出自：compile.c）：

也就是说，如果定义的函数没有返回值，Python 解释器就会（强行地）默认给我们注入一段返回逻辑！

对于解释器的这种附赠的服务，大家是觉得很贴心，还是嫌弃它多事呢？

这样的做法似乎没多少好处，但似乎也没有坏处？

那么，这就会引出新的问题：Python 为什么要求函数都要有返回值呢？为什么它不像某些语言那样，提供一个 void 关键字，支持定义无返回值的空函数呢？

关于这个问题，我们将在下一期“Python为什么”系列文章中揭晓。

如果你觉得这些问题很有启发性，那你应该会喜欢这些文章：

1、Python为什么使用缩进来划分代码块？

2、Python 的缩进是不是反人类的设计？

3、Python 为什么不用分号作语句终止符？

4、Python 为什么没有 main 函数？为什么我不推荐写 main 函数？

5、Python 为什么推荐蛇形命名法？

6、Python 为什么不支持 i++ 自增语法，不提供 ++ 操作符？

7、Python 为什么只需一条语句“a,b=b,a”，就能直接交换两个变量？

8、Python 为什么用 # 号作注释符？

9、Python 为什么要有 pass 语句？

10、Python 为什么会有个奇怪的“...”对象？

11、Python 为什么能支持任意的真值判断？

本文属于“Python为什么”系列（Python猫出品），该系列主要关注 Python 的语法、设计和发展等话题，以一个个“为什么”式的问题为切入点，试着展现 Python 的迷人魅力。所有文章将会归档在 Github 上，项目地址：https://github.com/chinesehuazhou/python-whydo