import datetime as dt def log_time(message, time=None): if time is None: time=dt.datetime.now() print("{0}: {1}".format(time.isoformat(), message))
最近我在一段Python代码中发现了一个因为错误的使用默认参数而产生的非常恶心的bug。如果您已经知道关于默认参数的全部内容了,只是想嘲笑一下我这可笑的错误,请直接跳到本文末尾。哎,这段代码是我写的,但是我非常确定那天我被恶魔附体了。你懂的,有时候就是这样。
本文仅仅是总结一下关于Python函数的标准参数和默认参数的一些基本内容。提醒你注意你的代码中可能存在的陷阱。如果你刚开始接触Python,开始写一些函数,我真心推荐你看一下Python官方手册中关于函数的内容,链接如下:Defining Functions 以及 More on Defining Functions。
简单复习一下函数
Python是一个强大的面向对象语言,它把这种编程范式推向了顶峰。但是,面向对象编程仍然需要依靠函数这一概念,你可以用它来处理数据。Python对于可调用对象有一个更宽泛的概念,即任何对象都可以被调用,调用的意思是对其应用数据。
函数在Python中是可调用对象,并且乍一看,它和其他语言中的函数有着类似的行为。它们获取一些数据,这些数据被称为参数,然后处理它们,接着返回结果(如果没有return语句则是None)
参数被声明为占位符(在定义函数的时候),用以代表那些当函数调用时被实际传入的对象。在Python中你不需要声明参数的类型(例如,像你在C或Java中做的那样)因为Python哲学依赖于多态。
记住,Python的变量是引用,即实际变量的内存地址。这意味着Python的函数永远以“传址”的方式工作(这里使用了一个C/C++术语),当你调用一个函数的时候,并不是复制了一份参数的值来替换占位符,而是把占位符指向了变量本身。这导致了一个非常重要的结果:你可以在函数内部改变这个变量的值。这里有一个很好可视化讲解,关于引用机制。
引用在Python扮演着非常重要的角色,它是Python完全多态方式的骨干。关于这个非常重要的主题,请点击这个链接 查看更好的解释。
为了检查你是否理解了这门语言的这一基本特性,请跟随这段简单的代码(变量ph代表的是“占位符(placeholder)”)
>>> def print_id(ph): ... print(hex(id(ph))) ... >>> a = 5 >>> print(hex(id(a))) 0x84ab460 >>> print_id(a) 0x84ab460 >>> >>> def alter_value(ph): ... ph = ph + 1 ... return ph ... >>> b = alter_value(a) >>> b 6 >>> a 5 >>> hex(id(a)) '0x84ab460' >>> hex(id(b)) '0x84ab470' >>> >>> def alter_value(ph): ... ph.append(1) ... return ph ... >>> a = [1,2,3] >>> b = alter_value(a) >>> a [1, 2, 3, 1] >>> b [1, 2, 3, 1] >>> hex(id(a)) '0xb701f72c' >>> hex(id(b)) '0xb701f72c' >>>
如果你对这里发生的事情并不感到吃惊,那说明你已经掌握了Python中最为重要的部分之一,你可以放心的跳过下面的解释了。
print_id()函数显示,函数内部的占位符同运行时传入的变量完全一样(它们的内存地址一致)。
两个版本的alter_value()意在改变传入参数的值。正如你所看到的,第一个alter_value() 并没有像第二个alter_value()一样成功的改变变量a的值。这是为什么呢?实际上两者的行为是一样的,都是尝试修改传入的原始变量的值,但是在Python中,有些变量是不可变的(immutable),整数就在此列。另一方面,列表并不是不可变的,所以函数得以完成它的名字所保证的工作。 在这里,你可以找到关于不可变类型的更加详细的介绍 。
关于Python中的函数,还有一些要说的,但是这些是关于标准的参数的基本知识。
默认参数值
有时候你需要定义一个函数,让它接受一个参数,而且在这个参数出现或不出现时,函数有不同的行为。如果一门语言不支持这种情况,你就只有两个选择:第一种是定义两个不同的函数,决定每次调用应该选择调用哪个,第二种是 两种方法都是可行的,但是都不是最佳的。
Python和其他语言一样,支持默认参数值,即函数参数可以是调用时指定的,也可以留空,自动接受一个预定义的值。
一个关于默认值的非常简单(也很没用)的例子如下:
def log(message=None): if message: print("LOG: {0}".format(message))
这个函数可以带一个参数运行(可以是None)
>>> log("File closed") LOG: File closed >>> log(None) >>>
但是同样也可以不带参数运行,这种情况下它会接受一个函数原型中设置的默认值(本例中是None)
>>> log() >>>
你可以在标准库中找到更多有趣的例子,比如在open()函数中(请查看官方文档)
open(file, mode='r', buffering=-1, encoding=None, errors=None, newline=None, closefd=True, opener=None)
函数原型可以证明,例如 f = open('/etc/hosts')这样的调用,通过传入默认值隐藏了很多参数 (mode, buffering, encoding, 等),并且使这个函数的典型应用案例变得非常简单易用。
正如你在内建的open()函数中看到的那样,我们可以在函数中使用标准或者默认参数,但是两者在函数中出现的次序是固定的:首先调用标准参数,然后调用默认参数。
def a_rich_function(a, b, c, d=None, e=0): pass
原因是显而易见的:如果我们可以在标准参数前面放置一个默认参数,语言就无法理解,默认参数是否已经被初始化。例如,考虑下面这个函数定义
def a_rich_function(a, b, d=None, c, e=0): pass
当调用函数a_rich_function(1, 2, 4, 5)时,我们传入了什么参数? 是d=4, c=5 还是c=4, e=5?因为d有一个默认的值。因此这种顺序的定义是被禁止的,如果你这样做,Python会抛出一个SyntaxError
>>> def a_rich_function(a, b, d=None, c, e=0): ... pass ... File "<stdin>", line 1 SyntaxError: non-default argument follows default argument >>>
默认参数求值
默认参数可以通过普通值或是函数调用结果来提高,但是后者这种技术需要一个特别的警示
一个普通的值是硬编码的,因此除了编译时,其他时候是不需要求值的,但是函数调用期望在运行时执行求值。所以我们可以这样写
import datetime as dt def log_time(message, time=dt.datetime.now()): print("{0}: {1}".format(time.isoformat(), message))
每次我们调用log_time()时都期望它能够正确提供当前时间。悲剧的是并没有成功:默认参数在定义时求值(比如说当你首次导入模块时),调用的结果如下
>>> log_time("message 1") 2015-02-10T21:20:32.998647: message 1 >>> log_time("message 2") 2015-02-10T21:20:32.998647: message 2 >>> log_time("message 3") 2015-02-10T21:20:32.998647: message 3
如果把默认值赋给一个类的实例,结果会更加奇怪,你可以在Hitchhiker's Guide to Python!中读到相关内容。根据。。通常的解决方法是把默认参数替换为None,并且在函数内部检查参数值。
结论
默认参数能够极大的简化API,你需要关注它唯一的“失败点”,即求值的时机。令人惊奇的是,Python最基本的内容之一,函数的参数和引用,是最大的错误源之一,有时候对于有经验的程序员也一样。我建议抽时间学习一下引用和多态。