# 第五章 条件循环 本章的主题是 if 语句，就是条件判断，会对应程序的不同状态来执行不同的代码。但首先我要介绍两种新的运算符：floor（地板除法，舍弃小数位）和 modulus（求模，取余数） ## 5.1 地板除和求模 floor 除法，中文有一种翻译是地板除法，挺难听，不过凑活了，运算符是两个右斜杠：//，与传统除法不同，地板除法会把运算结果的小数位舍弃，返回整值。例如，加入一部电影的时间长度是 105 分钟。你可能想要知道这部电影用小时来计算是多长。传统的除法运算如下，会返回一个浮点小数： ```py >>> minutes = 105 >>> minutes / 60 1.75 ``` 不过一般咱们不写有小数的小时数。地板除法返回的就是整的小时数，舍弃掉小数位： ```py >>> minutes = 105 >>> hours = minutes // 60 >>> hours 1 ``` 想要知道舍弃那部分的长度，可以用分钟数减去这么一个小时，然后剩下的分钟数就是了： ```py >>> remainder = minutes - hours * 60 >>> remainder 45 ``` 另外一个方法就是使用求模运算符了，百分号%就是了，求模运算就是求余数，会把两个数相除然后返回余数。 ```py >>> remainder = minutes % 60 >>> remainder 45 ``` 求模运算符的作用远不止如此。比如你可以用求模来判断一个数能否被另一个数整除——比如 x%y 如果等于 0 了，那就是意味着 x 能被 y 整除了。 另外你也可以从一个数上取最右侧的一位或多位数字。比如，x%10 就会得出 x 最右边的数字，也就是 x 的个位数字。同样的道理，用 x%100 得到的就是右面两位数字了。 如果你用 Python2 的话，除法是不一样的。在两边都是整形的时候，常规除法运算符/就会进行地板除法，而两边只要有一侧是浮点数就会进行浮点除法。 ## 5.2 布尔表达式 布尔表达式是一种非对即错的表达式，只有这么两个值，true（真）或者 false（假）。下面的例子都用了双等号运算符，这个运算符会判断两边的值是否相等，相等就是 True，不相等就是 False： ```py >>> 5 == 5 True >>> 5 == 6 False ``` True 和 False 都是特殊的值，属于 bool 布尔类型；它们俩不是字符串： ```py >>> type(True) <class 'bool'> >>> type(False) <class 'bool'> ``` 双等号运算符是关系运算符的一种，其他关系运算符如下： ```py x != y # x is not equal to y 二者相等 x > y # x is greater than y 前者更大 x > y # x is greater than y 前者更大 x < y # x is less than y 前者更小 x >= y # x is greater than or equal to y 大于等于 x >= y # x is greater than or equal to y 大于等于 x <= y # x is less than or equal to y 小于等于 ``` 虽然这些运算符你可能很熟悉了，但一定要注意 Python 里面的符号和数学上的符号有一定区别。常见的错误就是混淆了等号=和双等号==。一定要记住单等号=是一个赋值运算符，而双等号==是关系运算符。另外要注意就是大于等于或者小于等于都是等号放到大于号或者小于号的后面，顺序别弄反。 ## 5.3 逻辑运算符 逻辑运算符有三种：且，或以及非。这三种运算符的意思和字面意思差不多。比如 x>0 且 x<10，仅当 x 在 0 到 10 之间的时候才为真。 n%2 == 0 或 n%3 == 0，只要条件有一个成立就是真，就是说这个可以被 2 或 3 整除就行了。 最后说这个非运算，是针对布尔表达式的，非（x>y）为真，那么 x>y 就是假的，意味着 x 小于等于 y。 严格来说，逻辑运算符的运算对象应该必须是布尔表达式，不过 Python 就不太严格。任何非零变量都会被认为是真： ```py >>> 42 and True True ``` 这种灵活性特别有用，不过有的情况下也容易引起混淆。建议你尽量不要这样用，除非你很熟练了。 ## 5.4 条件执行 有用的程序必然要有条件检查判断的功能，根据不同条件要让程序有相应的行为。条件语句就让咱们能够实现这种判断。最简单的就是 if 语句了： ```py if x > 0: print('x is positive') ``` if 后面的布尔表达式就叫做条件。如果条件为真，随后缩进的语句就运行。如果条件为假，就不运行。 if 语句与函数定义的结构基本一样：一个头部，后面跟着缩进的语句。这样的语句叫做复合语句。 、复合语句中语句体内的语句数量是不限制的，但至少要有一个。有的时候会遇到一个语句体内不放语句的情况，比如空出来用来后续补充。这种情况下，你就可以用 pass 语句，就是啥也不会做的。 ```py if x < 0: pass # TODO: need to handle negative values! ``` ## 5.5 选择执行 if 语句的第二种形式就是『选择执行』，这种情况下会存在两种备选的语句，根据条件来判断执行哪一个。语法如下所示： ```py if x % 2 == 0: print('x is even') else: print('x is odd') ``` I 如果 x 除以 2 的余数为 0，x 就是一个偶数了，程序就会显示对应的信息。如果条件不成立，那就运行第二条语句。这里条件非真即假，只有两个选择。这些选择也叫『分支』，因为在运行流程上产生了不同的分支。 ## 5.6 链式条件 有时我们要面对的可能性不只有两种，需要更多的分支。这时候可以使用连锁条件来实现： ```py 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 语句的话，这个 else 语句必须放到整个条件链的末尾，不过 else 语句并不是必须有的。 ```py if choice == 'a': draw_a() elif choice == 'b': draw_b() elif choice == 'c': draw_c() ``` 每一个条件都会依次被检查。如果第一个是假，下一个就会被检查，依此类推。如果有一个为真了，相应的分支语句就运行了，这些条件判断的语句就都结束了。如果有一个以上的条件为真，只有先出现的为真的条件所对应的分支语句会运行。 ## 5.7 嵌套条件 一个条件判断也可以嵌套在另一个条件判断内。上一节的例子可以改写成如下： ```py 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') ``` 外部的条件判断包含两个分支。第一个分支只有一个简单的语句。第二个分支包含了另外一重条件判断，这个内部条件判断有两个分支。这两个分支都是简单的语句，他们的位置也可以继续放条件判断语句的。 虽然语句的缩进会让代码结构看着比较清晰明显，但嵌套的条件语句读起来还是有点难度。所以建议你如果可以的话，尽量避免使用嵌套的条件判断。 逻辑运算符有时候对简化嵌套条件判断很有用。比如下面这个代码就能改写成更简单的版本: ```py if 0 < x: if x < 10: print('x is a positive single-digit number.') ``` 上面的例子中，只有两个条件都满足了才会运行 print 语句，所以就用逻辑运算符来实现同样的效果即可： ```py if 0 < x and x < 10: print('x is a positive single-digit number.') ``` 这种条件下，Python 提供了更简洁的表达方法： ```py if 0 < x < 10: print('x is a positive single-digit number.') ``` （译者注：Python 的这种友善度远远超过了 C 和 C++，这也是为何我一直建议国内高校用 Python 取代 C++来给本科生和研究生做编程入门课程。） ## 5.8 递归运算 一个函数可以去调用另一个函数；函数来调用自己也是允许的。这就是递归，是程序最神奇的功能之一，现在可能还不好理解为什么，那么来看看下面这个函数为例： ```py def countdown(n): if n <= 0: print('Blastoff!') else: print(n) countdown(n-1) ``` 如果 n 为 0 或者负数，程序会输出『Blastoff！』。其他情况下，程序会调用自身来运行，以自身参数 n 减去 1 为参数。如果像下面这样调用这个函数会怎么样？ ```Bash >>> countdown(3) ``` 开始时候函数参数 n 是 3，大于 0，输出 n 的值 3，然后调用自身，用 n-1 也就是 2 作为参数。。。 接下来的函数参数 n 是 2，大于 0，输出 n 的值 2，然后调用自身，用 n-1 也就是 1 作为参数。。。 再往下去函数参数 n 是 1，大于 0，输出 n 的值 1，然后调用自身，用 n-1 也就是 0 作为参数。。。 最后这次函数参数 n 是 0，等于 0 了，输出『Blastoff！』，然后返回。 n=1 的时候的 countdown 也执行完了，返回。 n=2 的时候的 countdown 也执行完了，返回。 n=3 的时候的 countdown 也执行完了，返回。 （译者注：这时候一定要注意不是输出字符串就完毕了，要返回的每一个层次的函数调用者。这里不理解的话说明对函数调用的过程掌握的不透彻，一定要好好想仔细了。） 接下来你就回到主函数 __main__ 里面了。所以总的输出会如下所示： ```Bash 3 2 1 Blastoff! ``` 调用自身的函数就是递归的；执行这种函数的过程就叫递归运算。 我们再写一个用 print 把一个字符串 s 显示 n 次的例子： ```py def print_n(s, n): if n <= 0: return print(s) print_n(s, n-1) s="Python is good" n=4 print_n(s, n) ``` 如果 n 小于等于 0 了，返回语句 return 就会终止函数的运行。运行流程立即返回到函数调用者，函数其余各行的代码也都不会执行。 函数其余部分的代码很容易理解：print 一下 s，然后调用自身，用 n-1 做参数来继续运行，这样就额外对 s 进行了 n-1 次的显示。所以输出的行数是 1+（n-1），最终一共有 n 行输出。 上面这种简单的例子，实际上用 for 循环更简单。不过后面我们就会遇到一些用 for 循环不太好写的例子了，这些情况往往用递归更简单，所以早点学习下递归是有好处的。 ## 5.9 递归函数的栈图 在本书的第三章第九节，我们用栈图来表征函数调用过程中程序的状态。同样是这种栈图，将有助于给大家展示递归函数的运行过程。 每次有一个函数被调用的时候，Python 都会创建一个框架来包含这个函数的局部变量和形式参数。对于递归函数来说，可能会在栈中同时生成多层次的框架。 图 5.1 展示了前面样例中 coundown 函数在 n=3 的时候的栈图。 ________________________________________  Figure 5.1: Stack diagram. ________________________________________ 栈图的开头依然是主函数 __main__。这里主函数是空的，因为我们没有在主函数里面创建变量或者传递参数进去。 四个 coundown 方框中形式参数 n 的值都是不同的。在栈图底部是 n=0 的时候，也叫基准条件。这时候不再进行递归调用，也就没有更多框架了。 下面练习一下，画一个 print_n 函数的栈图，让 s 为字符串『Hello』，n 为 2。然后写一个函数，名字为 do_n，使用一个操作对象和一个数字 n 作为实际参数，给出一个 n 作为次数来调用这个函数。 ## 5.10 无穷递归 如果一个递归一直都不能到达基准条件，那就会持续不断地进行自我调用，程序也就永远不会终止了。这就叫无穷递归，一般这都不是个好事情哈。下面就是一个无穷递归的最简单的例子： ```py def recurse(): recurse() ``` 在大多数的开发环境下，无穷递归的程序并不会真的永远运行下去。Python 会在函数达到允许递归的最大层次后返回一个错误信息： ```Bash File "<stdin>", line 2, in recurse RuntimeError: Maximum recursion depth exceeded ``` 这个追踪会我们之前看到的长很多。这种错误出现的时候，栈中都已经有 1000 层递归框架了！ 如果你意外写出来一个无穷递归的代码，好好检查一下你的函数，一定要确保有一个基准条件来停止递归调用。如果存在了基准条件，检查一下一定要确保能使之成立。 ## 5.11 键盘输入 目前为止咱们写过的程序还都没有接收过用户的输入。这写程序每次都是做一些同样的事情。 Python 提供了内置的一个函数，名叫 input，这个函数会停止程序运行，等待用户来输入一些内容。用户按下 ESC 或者 Enter 回车键，程序就恢复运行，input 函数就把用户输入的内容作为字符串返回。在 Python2 里面，同样的函数名字不同，叫做 raw_input。 ```Bash >>> text = input() What are you waiting for? >>> text What are you waiting for? ``` 在用户输入内容之前，最好显示一些提示，来告诉用户需要输入什么内容。input 函数能够把提示内容作为参数： ```Bash >>> name = input('What...is your name?\n') What...is your name? Arthur, King of the Britons! >>> name Arthur, King of the Britons! ``` 提示内容末尾的\n 表示要新建一行，这是一个特殊的字符，表示换行。因为有了换行字符，所以用户输入就跑到了提示内容下面去了。 如果你想要用户来输入一个整形变量，可以把返回的值手动转换一下： ```Bash >>> prompt = 'What...is the airspeed velocity of an unladen swallow?\n' >>> speed = input(prompt) What...is the airspeed velocity of an unladen swallow? 42 >>> int(speed) 42 ``` 如果用户输入的是其他内容，而不是一串数字，就会得到一个错误了： ```py >>> 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 ``` 稍后我们再来看看如何应对这种错误。 ## 5.12 调试 当语法错误或者运行错误出现的时候，错误信息会包含很多有用的信息，不过信息量太大，太繁杂。最有用的也就下面这两类： * 错误的类型是什么，以及 * 错误的位置在哪里。 ```Bash >>> x = 5 >>> y = 6 File "<stdin>", line 1 y = 6 ^ IndentationError: unexpected indent ``` 这个例子里面，错误的地方是第二行开头用一个空格来缩进了。但这个错误是指向 y 的，这就有点误导了。一般情况下，错误信息都会表示出发现问题的位置，但具体的错误可能是在此位置之前的代码引起的，有的时候甚至是前一行。 同样情况也发生在运行错误的情况下。假设你试着用分贝为单位来计算信噪比。 公式为：  在 Python，你可能像下面这样写： ```py import math signal_power = 9 noise_power = 10 ratio = signal_power // noise_power decibels = 10 * math.log10(ratio) print(decibels) ``` 运行这个程序，你就会得到如下错误信息： ```Bash Traceback (most recent call last): File "snr.py", line 5, in ? decibels = 10 * math.log10(ratio) ValueError: math domain error ``` 这个错误信息提示第五行，但那一行实际上并没有错。要找到真正的错误，就要输出一下 ratio 的值来看一下，结果发现是 0 了。那问题实际是在第四行，应该用浮点除法，结果多打了一个右斜杠，弄成了地板除法，才导致的错误。 所以你得花点时间仔细阅读错误信息，但不要轻易就认为出错信息说的内容都是完全正确可靠的。 ## 5.13 Glossary 术语列表 floor division: An operator, denoted //, that divides two numbers and rounds down (toward zero) to an integer. >地板除法：一种运算符，双右斜杠，把两个数相除，舍弃小数位，结果为整形。 modulus operator: An operator, denoted with a percent sign (%), that works on integers and returns the remainder when one number is divided by another. >求模取余：一种运算符，百分号%，对整形起作用，返回两个数字相除的余数。 boolean expression: An expression whose value is either True or False. >布尔表达式：一种值为真或假的表达式。 relational operator: One of the operators that compares its operands: ==, !=, >, <, >=, and <=. >关系运算符：对比运算对象关系的运算符：==相等, !=不等, >大于, <小于, >=大于等于, 以及<=小于等于。 logical operator: One of the operators that combines boolean expressions: and, or, and not. >逻辑运算符：把布尔表达式连接起来的运算符：and 且，or 或，以及 not 非。 conditional statement: A statement that controls the flow of execution depending on some condition. >条件语句：控制运行流程的语句，根据不同条件有不同语句去运行。 condition: The boolean expression in a conditional statement that determines which branch runs. >条件：条件语句所适用的布尔表达式，根据真假来决定运行分支。 compound statement: A statement that consists of a header and a body. The header ends with a colon (:). The body is indented relative to the header. >复合语句：包含头部与语句体的一套语句组合。头部要有冒号做结尾，语句体相对于头部要有一次缩进。 branch: One of the alternative sequences of statements in a conditional statement. >分支：条件语句当中备选的一系列语句。 chained conditional: A conditional statement with a series of alternative branches. >链式条件：一系列可选分支构成的条件语句。 nested conditional: A conditional statement that appears in one of the branches of another conditional statement. >嵌套条件：条件语句分支中继续包含次级条件语句的情况。 return statement: A statement that causes a function to end immediately and return to the caller. >返回语句：一种特殊的语句，功能是终止当前函数，立即跳出到函数调用者。 recursion: The process of calling the function that is currently executing. >递归：函数对自身进行调用的过程。 base case: A conditional branch in a recursive function that does not make a recursive call. >基准条件：递归函数中一个条件分支，要实现终止递归调用。 infinite recursion: A recursion that doesn’t have a base case, or never reaches it. Eventually, an infinite recursion causes a runtime error. >无穷递归：一个没有基准条件的递归，或者永远无法达到基准条件的递归。一般无穷递归总会引起运行错误。 ## 5.14 练习 ### 练习 1 time 模块提供了一个名字同样叫做 time 的函数，会返回当前格林威治时间的时间戳，就是以某一个时间点作为初始参考值。在 Unix 系统中，时间戳的参考值是 1970 年 1 月 1 号。 （译者注：时间戳就是系统当前时间相对于 1970.1.1 00:00:00 以秒计算的偏移量，时间戳是惟一的。） ```Bash >>> import time >>> time.time() 1437746094.5735958 ``` 写一个脚本，读取当前的时间，把这个时间转换以天为单位，剩余部分转换成小时-分钟-秒的形式，加上参考时间以来的天数。 ### 练习 2 费马大定理内容为，a、b、c、n 均为正整数，在 n 大于 2 的情况，下面的等式关系不成立： 1. 写一个函数，名叫 check_fermat，这个函数有四个形式参数：a、b、c 以及 n，检查一下费马大定理是否成立，看看在 n 大于 2 的情况下下列等式  是否成立。 2. 要求程序输出『Holy smokes, Fermat was wrong!』或者『No, that doesn’t work.』 3. 写一个函数来提醒用户要输入 a、b、c 和 n 的值，然后把输入值转换为整形变量，接着用 check_fermat 这个函数来检查他们是否违背了费马大定理。 ### 练习 3 给你三根木棍，你能不能把它们拼成三角形呢？比如一个木棍是 12 英寸长，另外两个是 1 英寸长，这两根短的就不够长，无法拼成三角形了。 （译者注：1 英寸=2.54 厘米）对于任意的三个长度，有一个简单的方法来检测它们能否拼成三角形： 只要三个木棍中有任意一个的长度大于其他两个的和，就拼不成三角形了。必须要任意一个长度都小于两边和才能拼成三角形。（如果两边长等于第三边，就只能组成所谓『退化三角形』了。译者注：实际上这不就成了线段了么？） 1. 写一个叫做 is_triangle 的函数，用三个整形变量为实际参数，函数根据你输入的值能否拼成三角形来判断输出『Yes』或者『No』。 2. 写一个函数来提示下用户，要输入三遍长度，把它们转换成整形，用 is_triangle 函数来检测这些给定长度的边能否组成三角形。 ### 4 练习 4 下面的代码输出会是什么？画一个栈图来表示一下如下例子中程序输出结果时候的状态。 ```py def recurse(n, s): if n == 0: print(s) else: recurse(n-1, n+s) recurse(3, 0) ``` 1. recurse(-1, 0)这样的调用函数会有什么效果？ 2. 为这个函数写一个文档字符串，解释一下用法（仅此而已）。 接下来的练习用到了第四章我们提到过的 turtle 小乌龟模块。 ### 练习 5 阅读下面的函数，看看你能否弄清楚函数的作用。运行一下试试（参考第四章里面的例子来酌情修改代码）。 ```py def draw(t, length, n): if n == 0: return angle = 50 t.fd(length*n) t.lt(angle) draw(t, length, n-1) t.rt(2*angle) draw(t, length, n-1) t.lt(angle) t.bk(length*n) ``` ________________________________________  Figure 5.2: A Koch curve. ________________________________________ ### 6 练习 6 Koch 科赫曲线是一种分形曲线，外观如图 5.2 所示。要画长度为 x 的这种曲线，你要做的步骤如下： 1. 画一个长度为三分之一 x 的 Koch 曲线。 2. 左转 60 度。 3. 画一个长度为三分之一 x 的 Koch 曲线。 4. 右转 120 度。 5. 画一个长度为三分之一 x 的 Koch 曲线。 6. 左转 60 度。 7. 画一个长度为三分之一 x 的 Koch 曲线。 特例是当 x 小于 3 的时候：这种情况下，你就可以只画一个长度为 x 的直线段。 1. 写一个叫做 koch 的函数，用一个小乌龟 turtle 以及一个长度 length 做形式参数，用这个小乌龟来画给定长度 length 的 Koch 曲线。 2. 写一个叫做 snowflake 的函数，画三个 Koch 曲线来制作一个雪花的轮廓。[参考代码](http://thinkpython2.com/code/koch.py) 3. The Koch curve can be generalized in several ways. See [here](http://en.wikipedia.org/wiki/Koch_snowflake) for examples and implement your favorite. 生成 Koch 曲线的方法还有很多。点击 [这里](http://en.wikipedia.org/wiki/Koch_snowflake)来查看更多的例子，探索一下看看你喜欢哪个。