3.1.1　单分支if语句

if语句由四部分组成：关键字if、条件表达式、冒号、表达式结果为真（包括非零、非空）时要执行的语句体。其语法形式如下所示：

单分支if语句的执行流程如图3.1所示。

单分支if语句先判断条件表达式的值是真还是假。如果判断的结果为真（包括非零、非空），则执行语句体中的操作；如果条件表达式的值为假（包括零、空），则不执行语句体中的操作。语句体既可以包含多条语句，也可以只由一条语句组成。当语句体由多条语句组成时，要有统一的缩进形式，否则可能会出现逻辑错误或导致语法错误。

【例3-1】　从键盘输入圆的半径，如果半径大于等于0，则计算并输出圆的面积和周长。

程序代码：

图3.1　单分支if语句流程图

程序测试：运行程序example3_1.py，请首先输入一个大于等于0的半径，如5，观察程序的运行结果。再次运行程序，请输入一个小于0的半径，如－1，观察程序的运行结果。

只有在输入的半径为大于等于0的数时，才会产生正确的输入和输出。如果输入的半径小于0，则不产生任何输出。

程序运行结果：

思考：如果程序编写如下，会产生怎样的结果。

程序测试：运行程序question3_1.py，请首先输入一个大于等于0的半径，如5，观察程序的运行结果。再次运行程序，请输入一个小于0的半径，如－1，观察程序的运行结果。观察example3_1.py和question3_1.py程序运行结果的异同。请思考：对于单分支结构的程序，如何设计测试数据以验证程序流程上没有错误？