Python 教程 5 — 条件和递归

这章的中心话题是能够根据程序的状态执行不同命令的if语句。但是首先我想介绍两个新的运算符 : 地板除(floor division)和求余(modulus)。

1.地板除和求余 #

地板除 运算符(floor division operator) // 先做除法,然后将结果保留到整数。例如,如果一部电影时长105 分钟,你可能想知道这代表着多少小时。传统的除法操作会返回一个浮点数:

>>> minutes = 105
>>> minutes / 60
1.75

但是,用小时做单位的时候,我们通常并不写出小数部分。地板除丢弃除法运算结果的小数部分,返回整数个小时:

>>> minutes = 105
>>> hours = minutes // 60
>>> hours
1

如果你希望得到余数,你可以从除数中减去一个小时也就是60分钟:

>>> remainder = minutes - hours * 60
>>> remainder
45

另一个方法就是使用 求余运算符(modulus operator) % ,它会将两个数相除,返回余数。

>>> remainder = minutes % 60
>>> remainder
45

求余运算符比看起来更加有用。例如,你可以查看一个数是否可以被另一个数整除——如果 x % y 的结果是 0,那么 x 能被 y 整除。

此外,你也能获得一个数的最右边一位或多位的数字。 例如, x % 10 返回 x 最右边一位的数字(十进制)。 类似地,x % 100 返回最后两位数字。

如果你正在使用 Python 2, 那么除法就会和前面的介绍有点不同。除法运算符 / 在被除数和除数都是整数的时候,会进行地板除,但是当被除数和除数中任意一个是浮点数的时候,则进行浮点数除法。(译者注:在 Python3 中,无论任何类型都会保持小数部分)

2.布尔表达式 #

布尔表达式(boolean expression)的结果要么为真要么为假。 下面的例子使用 == 运算符。它比较两个运算数, 如果它们相等,则结果为 True ,否则结果为 False 。

>>> 5 == 5
True
>>> 5 == 6
False

True 和 False 是属于bool类型的特殊值;它们不是字符串。

>>> type(True)
<class 'bool'>
>>> type(False)
<class 'bool'>

== 运算符是关系运算符(relational operators)之一; 其他关系运算符还有:

x != y               # x 不等于 y
x > y                # x 大于 y
x < y                # x 小于 y
x >= y               # x 大于或等于 y
x <= y               # x 小于或等于 y

虽然这些运算符对你来说可能很熟悉,但是Python的符号与数学符号不相同。 一个常见的错误是使用单独一个等号(=)而不是双等号(==)。 请记住,= 是赋值运算符,== 是关系运算符。 没有类似 =< 或 => 的东西。

3.逻辑运算符 #

有三个逻辑运算符(logical operators)and 、or 和 not。 这些运算符的含义和它们在英语的意思相似。例如,x > 0 and x < 10 只在x大于0并且小于10时为真。

n%2 == 0 or n%3 == 0中如果 一个或两个 条件为真,那么整个表达式即为真。也就是说,如果数字n能被2或者3整除,则为真。

最后,not 运算符对一个布尔表达式取反, 因此,如果 x > y 为假,也就是说x小于或等于y, 则 not (x > y) 为真。

严格来讲,逻辑运算符的运算数应该是布尔表达式, 但是Python并不严格要求。任何非0的数字都被解释成为真( True )。

>>> 42 and True
True

这种灵活性很有用,但有一些细节可能容易令人困惑。你可能需要避免这种用法(除非你知道你正在做什么)。

4.有条件的执行 #

为了写出有用的程序,我们几乎总是需要能够检测条件,并相应地改变程序行为。 条件语句(Conditional statements)给予了我们这一能力。 最简单的形式是 if 语句:

if x > 0:
    print('x is positive')

if 之后的布尔表达式被称作条件(condition)。 如果它为真,则缩进的语句会被执行。 如果不是,则什么也不会发生。

if 语句和函数定义有相同的结构:一个语句头跟着一个缩进的语句体。 类似的语句被称作复合语句(compound statements)

语句体中可出现的语句数目没有限制,但是至少得有一个。 有时候,一条语句都没有的语句体也是有用的(通常是为你还没写的代码占一个位子)。 这种情况下,你可以使用 pass 语句,它什么也不做。

if x < 0:
    pass          # 待完成:需要处理负数值!

5.二选一执行 #

if 语句的第二种形式是二选一执行(alternative execution), 此时有两个可能的选择,由条件决定执行哪一个。 语法看起来是这样:

if x % 2 == 0:
    print('x is even')
else:
    print('x is odd')

如果x除以2的余数是0,那么我们知道x是偶数, 然后程序会打印相应的信息。 如果条件为假,则执行第二部分语句。 由于条件要么为真要么为假,两个选择中只有一个会被执行。 这些选择被称作分支(branches),因为它们是执行流程的分支。

6.链式条件 #

有时有超过两个可能的情况,于是我们需要多于两个的分支。 表示像这样的计算的方法之一是链式条件(chained conditional)

if x < y:
    print('x is less than y')
elif x > y:
    print('x is greater than y')
else:
    print('x and y are equal')

elif 是“else if”的缩写。同样地,这里只有一个分支会被执行。 elif 语句的数目没有限制。如果有一个 else 从句, 它必须是在最后,但这个语句并不是必须。

if choice == 'a':
    draw_a()
elif choice == 'b':
    draw_b()
elif choice == 'c':
    draw_c()

程序将按顺序逐个检测条件,如果第一个为假,检测下一个,以此类推。 如果它们中有一个为真,相应的分支被执行,并且语句结束。 即便有不止一个条件为真,也只执行第一个为真的分支。

7.嵌套条件 #

一个条件可以嵌到另一个里面。我们可以这样写前一节的例子:

if x == y:
    print('x and y are equal')
else:
    if x < y:
        print('x is less than y')
    else:
        print('x is greater than y')

外层的条件(outer conditional)包括两个分支。第一个分支包括一条简单的语句。 第二个分支又包括一个 if 语句,它有自己的两个分支。 那两个分支都是简单的语句,当然它们也可以是条件语句。

虽然语句的缩进使得结构很明显,但是仍然很难快速地阅读嵌套条件(nested conditionals) 。当你可以的时候,避免使用嵌套条件是个好办法。

逻辑运算符通常是一个简化嵌套条件语句的方法。 例如,我们可以用一个单一条件重写下面的代码:

if 0 < x:
    if x < 10:
        print('x is a positive single-digit number.')

只有我们通过了两个条件检测的时候,print语句才被执行, 因此我们可以用 and 运算符得到相同的效果:

if 0 < x and x < 10:
    print('x is a positive single-digit number.')

对于这样的条件,Python 提供了一种更加简洁的写法。

if 0 < x < 10:
    print('x is a positive single-digit number.')

8.递归 #

一个函数调用另一个是合法的;一个函数调用它自己也是合法的。 这样的好处可能并不是那么明显,但它实际上成为了程序能做到的最神奇的事情之一。 例如,看一下这个程序:

def countdown(n):
    if n <= 0:
        print('Blastoff!')
    else:
        print(n)
        countdown(n-1)

如果n是0或负数,程序输出单词“Blastoff!”。 否则,它输出n然后调用一个名为 countdown 的函数—即它自己— 传递n-1作为实参。

如果我们像这样调用该函数会发生什么呢?

>>> countdown(3)

countdown开始以n=3执行,由于n大于0, 它输出值3,然后调用它自己…

countdown开始以n=2执行,由于n大于0, 它输出值2,然后调用它自己…

countdown开始以n=1执行,既然n大于0, 它输出值1,然后调用它自己…countdown开始以n=0执行,由于n不大于0, 它输出单词“Blastoff!”,然后返回。

获得n=1的 countdown 返回。

获得n=2的 countdown 返回。

获得n=3的 countdown 返回。

然后你回到__main__中。因此整个输出类似于:

3
2
1
Blastoff!

一个调用它自己的函数是递归的(recursive); 这个过程被称作递归(recursion)

再举一例,我们可以写一个函数,其打印一个字符串n次。

def print_n(s, n):
    if n <= 0:
        return
    print(s)
    print_n(s, n-1)

如果 n <= 0 ,return语句 退出函数。 执行流程马上返回到调用者,函数剩余的语句行不会被执行。

函数的其余部分和 countdown 相似: 它打印s的值,然后调用自身打印s n−1n−1次。 因此,输出的行数是 1 + (n - 1) ,加起来是n。

对于像这样简单的例子,使用for循环可能更容易。 但是我们后面将看到一些用for循环很难写,用递归却很容易的例子, 所以早点儿开始学习递归有好处。

9.递归函数的堆栈图 #

详解函数一节中,我们用堆栈图表示了一个函数调用期间程序的状态。 这种图也能帮我们理解递归函数。

每当一个函数被调用时,Python生成一个新的栈帧,用于保存函数的局部变量和形参。 对于一个递归函数,在堆栈上可能同时有多个栈帧。

图5-1:堆栈图展示了一个以n = 3调用 countdown 的堆栈图。

图5-1:堆栈图

图5-1:堆栈图

通常,堆栈的顶部是__main__栈帧。 因为我们在__main__中没有创建任何变量,也没有传递任何实参给它, 所以它是空的。

对于形参n,四个 countdown 栈帧有不同的值。 n=0的栈底,被称作基础情形(base case)。 它不再进行递归调用了,所以没有更多的栈帧了。

接下来练习一下,请画一个以s = 'Hello'和 n=2 调用print_n的堆栈图。 写一个名为do_n的函数,接受一个函数对象和一个数n作为实参, 能够调用指定的函数n次。

10.无限递归 #

如果一个递归永不会到达基础情形,它将永远进行递归调用, 并且程序永远不会终止。这被称作无限递归(infinite recursion), 通常这不是一个好主意。下面是一个最简单的无限递归程序:

def recurse():
    recurse()

在大多数编程环境里,一个具有无限递归的程序并非永远不会终止。 当达到最大递归深度时,Python会报告一个错误信息:

  File "<stdin>", line 2, in recurse
  File "<stdin>", line 2, in recurse
  File "<stdin>", line 2, in recurse
                  .
                  .
                  .
  File "<stdin>", line 2, in recurse
RuntimeError: Maximum recursion depth exceeded

此回溯比我们在前面章节看到的长一些。 当错误出现的时候,在堆栈上有1000个递归栈帧!

如果你不小心遇到了无限递归,检查你的函数,确保基础情形没有继续调用递归。 同时如果确实有基础情形,请检查基础情形是不是能够出现这种情形。

11.键盘输入 #

到目前为止,我们所写的程序都不接受来自用户的输入。 每次它们都只是做相同的事情。

Python 提供了一个内建函数 input ,可以暂停程序运行,并等待用户输入。 当用户按下回车键(Return or Enter),程序恢复执行,input以字符串形式返回用户键入的内容。在Python 2中,这个函数的名字叫raw_input

>>> text = input()
What are you waiting for?
>>> text
What are you waiting for?

在从用户那儿获得输入之前,打印一个提示告诉用户输入什么是个好办法。 input接受提示语作为实参。

>>> name = input('What...is your name?\n')
What...is your name?
Arthur, King of the Britons!
>>> name
Arthur, King of the Britons!

提示语最后的\n表示一个新行(newline), 它是一个特别的字符,会造成换行。 这也是用户的输入出现在提示语下面的原因。

如果你期望用户键入一个整型数,那么你可以试着将返回值转化为 int :

>>> prompt <strong>=</strong> 'What...is the airspeed velocity of an unladen swallow?\n'
>>> speed <strong>=</strong> input(prompt)
What...is the airspeed velocity of an unladen swallow?
42
>>> int(speed)
42

但是,如果用户输入不是数字构成的字符串,你会获得一个错误:

>>> speed = input(prompt)
What...is the airspeed velocity of an unladen swallow?
What do you mean, an African or a European swallow?
>>> int(speed)
ValueError: invalid literal for int() with base 10

我们后面将介绍处理这类错误的方法。

12.调试 #

当出现语法错误和运行时错误的时候,错误信息中会包含了很多的信息,但是信息量有可能太大。通常,最有用的部分是:

  • 是哪类错误,以及
  • 在哪儿出现。

语法错误通常很容易被找到,但也有一些需要注意的地方。 空白分隔符错误很棘手,因为空格和制表符是不可见的,而且我们习惯于忽略它们。

>>> x = 5
>>>  y = 6
  File "<stdin>", line 1
    y = 6
    ^
IndentationError: unexpected indent

在这个例子中,问题在于第二行缩进了一个空格。 但是错误信息指向y,这是个误导。 通常,错误信息指向发现错误的地方, 但是实际的错误可能发生在代码中更早的地方, 有时在前一行。

运行时错误也同样存在这个问题。假设你正试图计算分贝信噪比。 公式是SNRdb=10log10(Psignal/Pnoise)SNRdb=10log10⁡(Psignal/Pnoise)。 在Python中,你可能会写出这样的代码:

import math
signal_power = 9
noise_power = 10
ratio = signal_power // noise_power
decibels = 10 * math.log10(ratio)
print(decibels)

但是,当你运行它的时候, 你却获得一个异常。

Traceback (most recent call last):
  File "snr.py", line 5, in ?
    decibels = 10 * math.log10(ratio)
ValueError: math domain error

该错误信息指向第5行,但是那一行没什么错误。 为了找到真正的错误,打印 ratio 的值也许会有用,结果发现它实际上是0。 那么问题是在第4行,使用了地板除而不是浮点数除法。

你应该花些时间仔细阅读错误信息,但是不要轻易地认为错误信息的提示都是准确的。

13.术语表 #

地板除:一个操作符,用 // 表示,表示对两个数做除法同时向0取整。

求余运算符:一个运算符,用百分号 % 表示,返回两个数相除的余数布尔表达式:一个值要么为真要么为假的表达式。

关系运算符:对其运算符进行比较的运算符: ==,!=,>,<,>=,<=。

逻辑运算符:将布尔表达式组合在一起的运算符: and,or,和 not。

条件语句:一段根据某个条件决定程序执行流程的语句。

条件:决定哪个分支会被执行的布尔表达式复合语句:由语句头和语句体组成的语句。语句头以 : 结尾,语句体相对语句头缩进。

分支:条件语句中的选择性语句序列。

链式条件:由一系列替代分支组成的条件语句。

嵌套条件:出现另一个条件语句某个分支中的条件语句。

返回语句:结束函数执行并且将结果返回给调用者的语句。

递归:调用正在执行的函数本身的过程。

基本情形:在递归函数中,不进行递归调用的条件分支。

无限递归:没有基本情形或者无法出现基本情形的递归函数。最终无限递归会导致运行时错误。

14.练习题 #

习题 5-1 #

time 模块提供了一个可以返回当前格林威治标准时间的函数,名字也是time。这里的格林威治标准时间用纪元(the epoch)以来的秒数表示, 纪元是一个任意的参考点。在 Unix 系统中,纪元是1970年1月1号。

>>> import time
>>> time.time()
1437746094.5735958

请写一个脚本读取当前时间,并且将其转换为纪元以来经过了多少天、小时、分钟和秒。

习题 5-2 #

费马大定理(Fermat’s Last Theorem )称,没有任何整型数aa、bb和cc能够使an+bn=cnan+bn=cn

对于任何大于2的nn成立。

  1. 写一个名为check_fermat的函数,接受四个形参——a,b,c以及n ——检查费马大定理是否成立。 如果nn大于2且等式an+bn=cnan+bn=cn成立,程序应输出“Holy smokes, Fermat was wrong!”。 否则程序应输出“No, that doesn’t work.”。
  2. 写一个函数提示用户输入a,b,c以及n的值,将它们转换成整型数, 然后使用check_fermat检查他们是否会违反了费马大定理。

习题 5-3 #

如果你有三根棍子,你有可能将它们组成三角形,也可能不行。 比如,如果一根棍子是12英寸长,其它两根都是1英寸长,显然 你不可能让两根短的在中间接合。对于任意三个长度,有一个简单的测试 能验证它们能否组成三角形:如果三个长度中的任意一个超过了其它二者之和,就不能组成三角形。否则,可以组成。(如果两个长度之和等于第三个,它们就组成所谓“退化的”三角形。)

  1. 写一个名为is_triangle的函数,其接受三个整数作为形参, 能够根据给定的三个长度的棍子能否构成三角形来打印“Yes”或“No”。
  2. 写一个函数,提示用户输入三根棍子的长度,将它们转换成整型数,然后使用 is_triangle检查给定长度的棍子能否构成三角形。

习题 5-4 #

下面程序的输出是什么?画出展示程序每次打印输出时的堆栈图。

def recurse(n, s):
    if n == 0:
        print(s)
    else:
        recurse(n-1, n+s)

recurse(3, 0)
  1. 如果你这样调用函数: recurse(-1,0) ,会有什么结果?
  2. 请写一个文档字符串,解释调用该函数时需要了解的全部信息(仅此而已)。

习题 5-5 #

后面的习题要用到第四章中的Turtle:

阅读如下的函数,看看你能否看懂它是做什么的。然后运行它(见第四章的例子)。

def draw(t, length, n):
    if n == 0:
        return
    angle = 50
    fd(t, length*n)
    lt(t, angle)
    draw(t, length, n-1)
    rt(t, 2*angle)
    draw(t, length, n-1)
    lt(t, angle)
    bk(t, length*n)

习题 5-6 #

图5-2:科赫曲线(Koch Curve)。

图5-2:科赫曲线(Koch Curve)。

科赫曲线(Koch Curve)是一个看起来类似图5-2的不规则碎片几何体(fractal)。要画一个长度为xx的科赫曲线,你只需要:

  1. 画一个长度为x/3x/3的科赫曲线。
  2. 左转60度。
  3. 画一个长度为x/3x/3的科赫曲线。
  4. 右转120度。
  5. 画一个长度为x/3x/3的科赫曲线。
  6. 左转60度。
  7. 画一个长度为x/3x/3的科赫曲线。

例外情况是xx小于3的情形:此时,你只需要 画一道长度为xx的直线。

  1. 写一个名为 koch 的函数,接受一个海龟和一个长度作为形参,然后 使用海龟画一条给定长度的科赫曲线。
  2. 写一个名为 snowflake 的函数,画出三条科赫曲线,构成雪花的轮廓。答案:http://thinkpython.com/code/koch.py 。
  3. 科赫曲线能够以多种方式泛化。 点击http://en.wikipedia.org/wiki/Koch_snowflake 查看例子,并实现你最喜欢的那种方式。

贡献者 #

  1. 翻译:@iphyer
  2. 校对:@bingjin
  3. 参考:@carfly

推荐阅读 #

推荐一个非常优惠的QMT开户渠道 #
很多喜欢玩量化的同学都想要找一个靠谱且低费率能做自动化的券商。 我之前也推荐过一个渠道,但是因为他们公司内部问题,之前的那个开户渠道也遗憾下线了,今天给大家找到了一个新的渠道,费率如下: 有需要的可以直接联系我的微信: 83493903 (

有任何问题,可以在公众号后台回复:加群,回答相应验证信息,进入互助群询问。


​Python实用宝典 (pythondict.com)
关注公众号:Python实用宝典
更多精彩文章等你阅读

Powered by BetterDocs

评论(0)

提示:请文明发言

您的电子邮箱地址不会被公开。 必填项已用 * 标注