keil5函数默认返回值_Python函数为什么会默认返回None？

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

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

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

它们的执行效果跟直接写 return 语句相比&＃xff0c;是完全相同的&＃xff1a;

这 4 个例子属于两种类型&＃xff1a;一种没有写 return&＃xff0c;但是都有隐藏的 return 返回值&＃xff1b;一种写了 return&＃xff0c;而且实际也有返回值。

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

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

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

使用dis 查看字节码&＃xff0c;就可以看到其背后的小动作&＃xff1a;

在这个对比图中&＃xff0c;可以看出上述 4 个函数的解释器指令一模一样&＃xff01;

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

那么&＃xff0c;问题来了&＃xff1a;Python 的函数为什么能默认返回 None 呢&＃xff1f;它是如何实现的呢&＃xff1f;

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

也就是说&＃xff0c;如果定义的函数没有返回值&＃xff0c;Python 解释器就会(强行地)默认给我们注入一段返回逻辑&＃xff01;

对于解释器的这种附赠的服务&＃xff0c;大家是觉得很贴心&＃xff0c;还是嫌弃它多事呢&＃xff1f;

这样的做法似乎没多少好处&＃xff0c;但似乎也没有坏处&＃xff1f;

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

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

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